diff options
author | Jason A. Donenfeld <Jason@zx2c4.com> | 2017-05-06 20:53:13 +0200 |
---|---|---|
committer | Jason A. Donenfeld <Jason@zx2c4.com> | 2017-05-06 20:53:13 +0200 |
commit | 22634df39db21e3f141dafa5097cb0eba770d8bb (patch) | |
tree | 9d7a5851aed43d141bbd8c03051858dc09f2cbb2 | |
parent | State carries over ci6 not ci3 (diff) | |
download | wireguard-tamarin-22634df39db21e3f141dafa5097cb0eba770d8bb.tar.xz wireguard-tamarin-22634df39db21e3f141dafa5097cb0eba770d8bb.zip |
No TODO
-rw-r--r-- | wireguard.m4 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/wireguard.m4 b/wireguard.m4 index 6271966..df1eaab 100644 --- a/wireguard.m4 +++ b/wireguard.m4 @@ -168,7 +168,7 @@ rule Handshake_Resp: hr2 = h(<hr1,pekR>) cr4 = h(<cr3,eier,'1'>) cr5 = h(<cr4,sier,'1'>) - cr6 = h(<cr5,psk,'1'>) //TODO: replace 'nopsk' with actual psk, maybe revealed maybe not + cr6 = h(<cr5,psk,'1'>) hrt = h(<cr5,psk,'2'>) kr6 = h(<cr5,psk,'3'>) hr3 = h(<hr2,hrt>) @@ -203,7 +203,7 @@ rule Handshake_Complete: hi2 = h(<hi1,pekR>) ci4 = h(<ci3,eier,'1'>) ci5 = h(<ci4,sier,'1'>) - ci6 = h(<ci5,psk,'1'>) //TODO: see note above about using real psk instead of 'nopsk' + ci6 = h(<ci5,psk,'1'>) hit = h(<ci5,psk,'2'>) ki6 = h(<ci5,psk,'3'>) hi3 = h(<hi2,hit>) |