diff options
author | Mark Haines <mark.haines@matrix.org> | 2015-08-20 11:22:51 +0100 |
---|---|---|
committer | Mark Haines <mark.haines@matrix.org> | 2015-08-20 11:22:51 +0100 |
commit | bed93fcbc76edbb99753495dd144d0dcf3a626d6 (patch) | |
tree | 6ac35e86a1194076ddcb8b24c0921a655d64a634 /docs/olm.rst | |
parent | 7bb5f1ebd64b79e5d97a135cf158449991917714 (diff) |
Add explanation of the notation in the spec
Diffstat (limited to 'docs/olm.rst')
-rw-r--r-- | docs/olm.rst | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/docs/olm.rst b/docs/olm.rst index 51a38bd..8b73c83 100644 --- a/docs/olm.rst +++ b/docs/olm.rst @@ -4,6 +4,19 @@ Olm: A Cryptographic Ratchet An implementation of the cryptographic ratchet described by https://github.com/trevp/axolotl/wiki. +Notation +-------- + +This document uses :math:`\parallel` to represent string concatenation. When +:math:`\parallel` appears on the right hand side of an :math:`=` it means that +the inputs are concatenated. When :math:`\parallel` appears on the left hand +side of an :math:`=` it means that the output is split. + +When this document uses :math:`ECDH\left(K_A,\,K_B\right)` it means that each +party computes a Diffie-Hellman agreement using their private key and the +remote parties public key. +So party :math:`A` computes :math:`ECDH\left(K_B_public,\,K_A_private\right)` +and party :math:`B` computes :math:`ECDH\left(K_A_public,\,K_B_private\right)` The Olm Algorithm ----------------- |