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 @ a16z crypto

RISC-V zkVM from a16z crypto. Wrote the spec driving its Fiat-Shamir transcript migration to spongefish; earlier added domain-separation labels to the transcript.

Core contributor @ World

Client-side zero-knowledge proving for World ID. Core contributor for the past year: layered witness solving with batch inversion, sound challenge generation for LogUp and Spice, a SHA-256 blackbox, recursive verification fixes, prover memory work, and a field-generic proving spine.

Contributor @ arkworks

Fiat-Shamir library for arkworks. Added mandatory session binding via type-state and made the duplex sponge portable across pointer widths.

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.