I try to understand the messages of the Noise Protocol Framework. The handshakes are based on Diffie-Hellmann key exchange. This is an example for a handshake pattern:
-> e
<- e, ee, s, es
I try to formalize the handshake with mathematical descriptions.
For example the mathematical description of the first message is:
. Where
is a generator and
is the private ephemeral key of the sender.
But I don't understand how the values ee and es are calculated.
How can these patterns be descriebed mathematically?