Featured Work
- zk-email-verify
Verify any text in any sent or received email, cryptographically — trusting only the sending mailserver.
- zk-regex v2
Regex-to-circuit compiler (Circom/Noir) with off-circuit NFA traversal and in-circuit proof.
- WHIR
Reed–Solomon proximity testing with super-fast verification. Added batch prove/verify and recursive verification support.
- ProveKit
Client-side zero-knowledge proving.