Signal Protocol and Post-Quantum Ratchets