rustarians.com — ZK proofs for Rust developers
rustarians.com

ZK proofs for Rust developers

Blog, training, and tools. halo2 circuits, KZG commitments, execution traces. All code runs.

Blog
Execution Traces
How your computation becomes data a prover can work with. Bit decomposition, range checks, the full trace table.
halo2interactive code
10 Questions from a Rust ZK Meetup
Real questions from developers after a live halo2 demo. Formal verification, Schnorr signatures, lookup tables.
Q&Ameetup
Roots of Unity
Why ZK systems evaluate polynomials at roots of unity and how FFT makes it fast. Manim animations and runnable Rust code.
polynomialsFFTinteractive code
Polynomials in ZK SNARKs
A polynomial is a data structure. Encode a message into coefficients, verify with one random evaluation. The foundation of ZK proofs.
polynomialsinteractive code

Questions about ZK or halo2? Join the Discord.

rustarians.com/dc
Privacy Policy