zkdefi · notes

#attestation

2026-08-15

The second act: how a green light can lie without a single wrong theorem

We proved eleven theorems in two days and nobody ever disputed one. Making the words 'formally verified' survive a hostile stranger took months. Ideas we are developing toward a second paper.

2026-08-08

Forty-four certificates, and the war we declared on our own green light

Each of our four verified ed25519 libraries went from 16 proven statements to 44. But the real story of the past month is uglier and more useful — what it took to make the script that PRINTS "all green" as trustworthy as the proofs behind it.