In September 2023, the developers of the Signal Protocol announced that it was being updated to support PQXDH.[1] [2] [3]
PQXDH is an upgraded version of the X3DH protocol and uses both the quantum-resistant CRYSTALS-Kyber protocol as well as the old elliptic curve X25519 protocol. This ensures that an attacker must break both of the encryption protocols to gain access to sensitive data, mitigating potential security vulnerabilities the new protocol could have. The protocol is designed for asynchronous communication where the clients exchange public keys through a server to derive a secure shared key which they can use to encrypt sensitive data without needing to constantly sync new keys with each other.
In October 2023, the protocol underwent formal verification which managed to "prove all the desired security properties of the protocol" for its second revision.[4]