Proof systems · First principles
ZK Cryptography
An evolving Rust study repository connecting finite-field algebra to modern polynomial interactive proof systems.
ROLECryptography Engineer & ResearcherSTACKRust · Finite fields · Sumcheck · GKR · KZG
MY CONTRIBUTION
Scope and ownership
I implement the constituent ideas rather than treating proof systems as black boxes: finite fields, polynomial representations, FFTs, multilinear extensions, sumcheck, GKR, and polynomial commitments.
TECHNICAL EVIDENCE
What the work includes
- Finite-field and polynomial building blocks in Rust
- Multilinear extensions and the sumcheck protocol
- GKR-style layered circuit verification
- KZG polynomial commitment experiments
PROJECT LINK