MPC Research on Vole, Quicksilver
𝔽₂ and Beyond: A Gentle Guide to Field Extensions
The best work
Cutting-edge research and security discoveries that shape the ZK ecosystem
Tornado Cash in Halo2
Rust + ZK Circuit Implementation
Reimplemented Tornado Cash in Halo2 as a deep dive into Rust and ZK circuit design. Included Summa Solvency code walkthroughs and MST code improvements.
PSE-Halo2 Bug Discovery
Critical Soundness Fix
Identified and reported a critical bug in PSE-Halo2 library, leading to an official fix and community acknowledgment.
Summa Tooling Enhancements
Patch for Analysis Tools
Developed patches for halo2-analyzer and Polyexen-demo, enabling smoother onboarding and analysis for fellowship participants.
Merkle Sum Tree Attack Analysis
Deep Dive Articles
Pia and 0xpanicError analyzed vulnerabilities in Merkle Sum Trees, producing detailed gists and blog posts that advanced community knowledge.
Mastering KZG by Hand
Educational Article
An in-depth article explaining KZG commitments and polynomial math by hand, enabling deeper understanding of core ZK primitives.
Verifier Validator Registry Proposal
Standardizing Verifier Validation
Proposal and proof of concept for a unified verifier-validator registry to improve standardization and security across ZK ecosystems.
Halo2 Starter: Lightning-Fast PoC Framework
20 LoC Security PoC
Developed a minimal, ready-to-use Halo2 starter template empowering researchers to write security proof-of-concepts in just 20 lines. Streamlines reproducibility and accelerates bug discovery in ZK circuits.
Boosted Audits
Premium ZK security assessments with fellowship-powered depth, formal verification, and cutting-edge tooling that traditional audits can't match.
RLN
Rate Limiting Nullifier Protocol
Privacy & Scaling Explorations
Spartan ECDSA
Elliptic Curve Anonymous Signature Aggregation
Persona Labs
Summa Solvency Version A
Proof of Solvency Protocol
PSE
Summa Solvency Version B
Proof of Solvency Protocol
PSE
Meet the Dream ZK Team
ZK Circuit breakers, MPC Specialists, FHE experts, TEE geeks, seasoned Rustaceans and Cryptography connoisseurs
teddav
Halo2, Noir, ZKVM, MCP
The Circuit Whisperer
qpzm
Compilers, Noir, ZKTLS
The Math Magician
Oba
Post-Quantum Crypto, MPC, LLD
Privacy Protocol Pioneer
nullity
Formal Verification, Cryptography, gnark, circom
Virtual Machine Virtuoso
Flying Nobita
GKR, Halo2
Protocol Standardization Sage
teddav
Halo2, Noir, ZKVM, MCP
"The Circuit Whisperer"
Detailed Work:
Discovered critical vulnerability in Halo2's constraint system with just 20 lines of code. Led formal verification of zkWasm instructions, pioneered underconstrained circuit detection methodologies, and developed halo2-starter for minimal security PoCs. Authored Binius blog series and contributed advanced cryptographic tooling in sagemath.
Current Focus: Leading automated circuit verification research and advancing next-gen ZK security tooling.
Specializations:
Key Achievements:
- Discovered Halo2 critical soundness error
- Top fellow in Electi’s 2nd ZK Security fellowship
- Authored 15+ ZK security research papers
- Finished first in Epoch 0 Secureum