Part 1 of a walkthrough of Zinc, a hash-based SNARK that proves integer arithmetic statements with almost no arithmetization overhead. This part builds the Zinc-PIOP framework — a PIOP over the rationals built from a collection of PIOPs over finite fields.

A walkthrough of WHIR — an IOP of proximity for constrained Reed-Solomon codes that drops hash-based SNARK verification from milliseconds to a few hundred microseconds

Part 1 of a walkthrough of TensorSwitch, a hash-based PCS that cracks two long-standing bottlenecks in hash-based SNARGs. This part builds the core protocol in an idealized linear query model.

How SPARK makes Spartan practical — a sparse polynomial commitment scheme that scales with non-zero entries, not matrix dimensions.

A deep dive into how Spartan achieves transparent, general-purpose zkSNARKs using sum-check and polynomial commitments — no trusted setup required.

A step-by-step interactive walkthrough of the Schnorr identification protocol.

ZK-based fork-choice enforced inclusion lists for Ethereum — implementation details and performance benchmarks.