— Featured Work
- zk-email-verify
Core contributor @ ZkEmail
Verify any text in any sent or received email, cryptographically — trusting only the sending mailserver.
- zk-regex v2
Author @ ZkEmail
Regex-to-circuit compiler (Circom/Noir) with off-circuit NFA traversal and in-circuit proof.
- WHIR
Contributor
Reed–Solomon proximity testing with super-fast verification. Added batch prove/verify and recursive verification support.
- ProveKit
Contributor @ World
Client-side zero-knowledge proving.
— Publications
- Zero-Knowledge Proofs of Generalized Regular Expression Matching for Anonymized Email Verification
PoPETs 2026, Issue 4 To appear