5. The X3DH Protocol🔗

X3DH (Extended Triple Diffie-Hellman) key agreement protocol, following Bhargavan et al. (USENIX Security 2024).

1. 5.1. Key pairs
2. 5.2. Shared secret computation
3. 5.3. Correctness
4. 5.4. Passive Message Secrecy