zero-knowledge-proofs
7 posts tagged zero-knowledge-proofs.
-
How Zero-Knowledge Broke in Real Life: Under-Constrained Circuits and the Bugs That Minted Money
Every time production zero-knowledge has publicly broken, the cryptography held. The real failures are soundness bugs in circuits, verifiers, and transcripts.
-
A Valid Proof of a False Thing: How Zero-Knowledge Proofs Actually Break
Zero-knowledge proofs rarely break at the math. They break in the circuit, the trusted setup, and the Fiat-Shamir transcript -- here is exactly how, and why.
-
Never Decrypted: Proving You Ran the Computation Without Revealing It
A prover hands you a few-kilobyte receipt that a program or AI model ran correctly on inputs you never see. How zero-knowledge proofs, zkVMs, and zkML work.
-
The Anonymity That Actually Holds: What Zcash and Monero Prove, and How Each Proof Breaks
A mechanism-level teardown of on-chain anonymity: how Zcash's zk-SNARK proof and Monero's ring-signature ambiguity work, and the exact break inside each.
-
The Discrete Log Held; The Proofs Leaked: A Field Guide to Commitments and Sigma Protocols
How the discrete log stayed hard for forty years while the proofs built on it kept breaking: Pedersen commitments, Schnorr, Sigma protocols, and Fiat-Shamir.
-
The Age Gate That Doesn't Know Your Age: How Anonymous Credentials Finally Crossed the Deployment Chasm
Forty years after David Chaum's manifesto, anonymous credentials -- Privacy Pass, BBS, SD-JWT, Longfellow-zk -- have shipped into every major browser.
-
Direct Anonymous Attestation: The Zero-Knowledge Proof Already in Every TPM
TPM 2.0 names a zero-knowledge group-signature primitive in its spec. A billion chips ship it. Almost nobody verifies it. The story of why DAA won every standardization fight and lost every deployment one.