|
|
@ -1004,7 +1004,7 @@ Let $\KAFormatPrivate \typecolon \PRFOutput \rightarrow \KAPrivate$ be a functio |
|
|
|
that converts a bit string of length $\PRFOutputLength$ to a $\KA$ private key. |
|
|
|
|
|
|
|
Let $\KADerivePublic \typecolon \KAPrivate \rightarrow \KAPublic$ be a function |
|
|
|
that derives the $\KA$ public key corresponding to a given $\KA$ public key. |
|
|
|
that derives the $\KA$ public key corresponding to a given $\KA$ private key. |
|
|
|
|
|
|
|
Let $\KAAgree \typecolon \KAPrivate \times \KAPublic \rightarrow \KASharedSecret$ |
|
|
|
be the agreement function. |
|
|
|