Phying News
P非影 中文
Curated security research, vulnerabilities, advisories and tools for practitioners.

The Frozen Heart vulnerability in PlonK

blog.trailofbits.com | vulnerability | #cryptography | #vulnerability | #zero-knowledge-proofs | #fiat-shamir | #frozen-heart | #plonk

Summary

Part four of the Frozen Heart series shows how insecure Fiat-Shamir implementations break soundness in PlonK, a modern ZK-SNARK scheme, letting attackers forge proofs for arbitrary statements.
Published
Collected

original ↗

Related coverage

  1. A mistake in the bulletproofs paper could have led to the theft of millions of dollars (blog.trailofbits.com)
  2. The Frozen Heart vulnerability in Bulletproofs (blog.trailofbits.com)
  3. The Frozen Heart vulnerability in Girault’s proof of knowledge (blog.trailofbits.com)
  4. Coordinated disclosure of vulnerabilities affecting Girault, Bulletproofs, and PlonK (blog.trailofbits.com)
  5. Circuit Breaker: The Missing Constraint That Compromised RISC Zero’s zkVM (hackenproof.com)
  6. Unfaithful claims: breaking 6 zkVMs (osec.io)

back