fiat-shamir
3 posts tagged fiat-shamir.
-
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.
-
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.