Topic Tag

Tag: zk-SNARKs

4 published articles in this collection.

Modern Cryptography & Zero-Knowledge Proofs (Part 12): Arithmetic Circuits & Quadratic Arithmetic Programs (QAP): Pinocchio & Groth16 zk-SNARKs

R1CS constraint systems, QAP polynomial interpolation, toxic waste trusted setups, and the minimal 3-element Groth16 zk-SNARK protocol.

Nov 9, 2026 • 4 min read

Sigma protocols, public-coin interactions, Fiat-Shamir transformation in the Random Oracle Model, and adaptive security bounds.

Nov 9, 2026 • 3 min read

Computational complexity classes IP and AM, the Goldwasser-Micali-Rackoff framework, simulator paradigms, and zero-knowledge Graph 3-Coloring.

Nov 9, 2026 • 3 min read

Hiding and binding properties, additively homomorphic Pedersen commitments, polynomial commitments, and the Kate-Zaverucha-Goldberg (KZG) scheme.

Nov 9, 2026 • 4 min read