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
ZK Security Team
ZK Circuit breakers, MPC Specialists, FHE experts, TEE geeks, seasoned Rustaceans and Cryptography connoisseurs
teddav
MPC Guru
qpzm
Rusty Bug Huntoor
Oba
Low-level Junkie
Flying Nobita
THE Researcher
nullity
Threat nullifier
Background: DevSecOps for Big Tech
Tech Stack: solidity, rust, defi protocols, assembly, wasm, yul
Specializations:
Key Achievements:
- Finished first in Epoch 0 Secureum
- Top fellow in Electi's 2nd ZK Security fellowship
- Found soundness error in Halo2 lookup-any API
- PSE grant recipient for halo2-soundness bugs