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.