The first post-quantum leaf — our public notary book now speaks two languages
We machine-checked the correctness of a quantum-resistant signature verifier, entered that fact into our public, append-only log — and from now on, every new page of that log is stamped twice, once with today's cryptography and once with cryptography built to survive tomorrow's computers.