Core contributor @ ZkEmail

Verify any text in any sent or received email, cryptographically — trusting only the sending mailserver.

Author @ ZkEmail

Regex-to-circuit compiler (Circom/Noir) with off-circuit NFA traversal and in-circuit proof.

Author @ ZkEmail

Proving OAuth identity (e.g., Google Workspace membership) via JWT verification in ZK.

Contributor @ World

Client-side zero-knowledge proving.

Contributor

Reed–Solomon proximity testing with super-fast verification. Added batch prove/verify and enabled recursive verification by fixing transcript to constant length.

Author @ Aerius Labs

Privacy-preserving voting protocol using IVC-based proof aggregation and additive homomorphic encryption. Built full Halo2 circuit stack with client-side proof generation under 30s.

Ethereum Foundation grant

ZK circuit to anonymize Ethereum FOCIL includer identities, replacing public signatures with proofs to prevent coercion/legal targeting. Built using Barretenberg stdlib and Ultra Honk.

PSE grant

Plume nullifier scheme + secp256k1 hash-to-curve in Halo2 for anonymous double-spend prevention. Passed PSE audit.