ZK researcher specialising in proof generation optimisation and verifier circuit simplification for zkEVM projects.
Skills:
-
zkEVM Circuit Design
-
Plonk/HyperPlonk Integration
-
Aggregation Proof Optimization
-
Verifier Contract Gas Reduction
Experience:
-
Helped optimize zkEVM prover to support >10x tx throughput
-
Refactored verifier logic for Ethereum-compatible circuits
Achievements:
-
Reduced verifier gas cost by 30%
-
Developed ZK circuit playground for team onboarding
-
Co-authored zkEVM audit checklist now open-sourced