diff options
author | 2015-11-12 21:54:27 -0800 | |
---|---|---|
committer | 2015-11-12 21:54:27 -0800 | |
commit | dc6251bbede9d1d0383c7a81486d59d852333a4b (patch) | |
tree | ab1041a0eca3537aecfb99a6b83d6a46c92088cd | |
parent | Clarify conditions on empty / non-empty (s,e,rs,re). (diff) | |
download | noise-dc6251bbede9d1d0383c7a81486d59d852333a4b.tar.xz noise-dc6251bbede9d1d0383c7a81486d59d852333a4b.zip |
more clarifications on valid patterns
-rw-r--r-- | noise.md | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -268,7 +268,9 @@ A `HandshakeState` responds to the following methods: encountering this token `s` must be non-empty, otherwise the pattern is invalid and this function aborts. - * For "dh*xy*": Calls `MixKey(DH(x, ry))`. + * For "dh*xy*": Calls `MixKey(DH(x, ry))`. On encountering this token the + relevant DH key pair and public key variables must be non-empty, otherwise the + pattern is invalid and this function aborts. * Appends `EncryptAndHash(payload)` to the buffer. @@ -290,7 +292,9 @@ A `HandshakeState` responds to the following methods: to `DecryptAndHash(data)`. On encountering this token `rs` must be empty, otherwise the pattern is invalid and this function aborts. - * For "dh*xy*": Calls `MixKey(DH(y, rx))`. + * For "dh*xy*": Calls `MixKey(DH(y, rx))`. On encountering this token the + relevant DH key pair and public key variables must be non-empty, otherwise the + pattern is invalid and this function aborts. * Copies the output from `DecryptAndHash(remaining_message)` into the `payload_buffer`. |