Our quantum-resistant protocol upgrade, PQXDH, is now โthe first machine-checked post-quantum security proof of a real-world cryptographic protocol.โ
Thanks to the researchers who did this important formal verification! Read more from them here๐
@signalapp Impressive