aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortrevp <github@trevp.net>2015-11-12 21:54:27 -0800
committertrevp <github@trevp.net>2015-11-12 21:54:27 -0800
commitdc6251bbede9d1d0383c7a81486d59d852333a4b (patch)
treeab1041a0eca3537aecfb99a6b83d6a46c92088cd
parentClarify conditions on empty / non-empty (s,e,rs,re). (diff)
downloadnoise-dc6251bbede9d1d0383c7a81486d59d852333a4b.tar.xz
noise-dc6251bbede9d1d0383c7a81486d59d852333a4b.zip
more clarifications on valid patterns
-rw-r--r--noise.md8
1 files changed, 6 insertions, 2 deletions
diff --git a/noise.md b/noise.md
index cf7d0eb..4a33d8b 100644
--- a/noise.md
+++ b/noise.md
@@ -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`.