I build verifiable systems: software you don't have to believe.
Most code still asks for your trust. Mine hands you the receipt instead. The projects are all the same idea, just refracted through different glass: a verifiable language, verifiable analytics, a verifiable identity. Each one carries its own proof, because you should never have to take the code’s word for it. Clone it, run it, and watch it prove itself.
Not a portfolio. Evidence.
→ Glass flagship
A self-hosting verifiable functional language. Its compiler is written in Glass and self-compiles to byte-identical C, then carries a from-scratch zero-knowledge STARK prover whose proofs are re-checked by a second, independent verifier.
You can see straight through it. · language · zk-STARK · self-hosting
Verifiable analytics over data you never reveal. Commit a sensitive dataset; anyone runs an aggregate query and gets the answer plus a zero-knowledge proof it's the true result, revealing the commitment, the query, and the answer. Never a row.
Built on Glass · educational-grade crypto, by honest design. · ZK · private analytics
A national identity-token reference implementation. Post-quantum signing, zero-knowledge by default, compulsion-resistant by construction. It can't betray you, because it was never built able to.
Identity that survives coercion. · post-quantum · ZK
Every claim on this page is a command you can run.
Don't trust the description. Clone it, build it, verify the proof.
Egor Khaklin · proof over trust