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.
A local-first, notebook-first course on the Number Theoretic Transform, sized for the version of NTT that actually matters — the negacyclic, modulus-q, base-multiplication NTT inside Kyber. Lecture → Lab → Problems → Studio, six bundles, no IBM dependency.
A small Jupyter-notebook scratchpad for working through where the bottlenecks actually live in Kyber and Dilithium implementations — not the published asymptotics, the real-world cycle counts on the hardware that's available now.