lsd0012

commit a0d6dab96d9527c54167f488d16a0e914d7a1457
parent 53aa07081be9eff2080487482e913b2e099f1f90
Author: Martin Schanzenbach <schanzen@gnunet.org>
Date:   Wed, 13 Nov 2024 23:19:48 +0100

more notes on acks

Diffstat:
M
draft-schanzen-cake.xml
 | 
3
+++

1 file changed, 3 insertions(+), 0 deletions(-)
diff --git a/draft-schanzen-cake.xml b/draft-schanzen-cake.xml
@@ -244,6 +244,9 @@ MS       |                                               |
         ReceiverHello is a single flight that is implicitly ack'ed with InitiatorFinished.
         InitiatorFinished requires an explicit ack; at this time R and I have already established a secure channel
         and R can use an EncryptedMessage to send the ack.
+        The reason why this works is because CAKE groups the messages in row 3 of Table 1 in <xref target="RFC9147" section="5.7"/> into a single message (ReceiverHello).
+        Hence the only message that is sent without any expected response (and consequently requiring an explicit
+        ACK) is InitiatorFinished (and KeyUpdate).
       </t>
         <t>
           The Initiator creates the InitiatorHello message which includes the encrypted tuple (pk<sub>I</sub>,ServicesInfo).