Engineer securing zero-knowledge rollups with a focus on circuit integrity, trusted setups, and on-chain verification safety.
Skills:
-
zk-SNARK/STARK Circuit Review
-
Verifier Contract Auditing
-
Trusted Setup Ceremony Design
-
On-Chain Proof Verification
Experience:
-
Audited Plonk-based circuits for L2 privacy protocol
-
Designed secure proving pipeline for confidential transaction system
Achievements:
-
Detected circuit overflow bug bypassing constraints
-
Optimized verifier contract gas usage by 25%
-
Supported trusted setup across 100+ decentralized contributors