ZKDocs

Overview

ZKDocs is comprehensive, interactive documentation for zero-knowledge proof systems and the cryptographic primitives they build on. Trail of Bits audits many implementations of non-standardized cryptographic protocols and kept finding the same classes of bugs. ZKDocs is the preventative answer, collecting rigorous specifications and the security considerations that academic papers routinely omit. Pages are interactive: you can rename variables to match your own code while you read.

What's inside · 5

• Zero-knowledge protocols

  Schnorr and Girault identification, inner-product arguments, and proofs of knowledge.

• Proofs about primes

  Square-freeness, proof of two primes, and Paillier-Blum modulus protocols.

• Protocol primitives

  Random sampling, the Fiat-Shamir transformation, and secret-sharing schemes.

• Commitment schemes

  Pedersen commitments, KZG polynomial commitments, and inner-product arguments.

• Security considerations

  The recurring implementation mistakes that break zero-knowledge systems.

Who it's for

Engineers implementing cryptographic protocols, especially non-standardized systems, who need low-level implementation detail and the pitfalls to avoid.