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

The Frozen Heart vulnerability in Bulletproofs

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

Summary

The Frozen Heart series demonstrates an exploit against Bulletproofs range proofs, where insecure Fiat-Shamir transformation lets attackers forge validity proofs without knowing secret values.
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 PlonK (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. We’ve added more content to ZKDocs (blog.trailofbits.com)
  6. Circuit Breaker: The Missing Constraint That Compromised RISC Zero’s zkVM (hackenproof.com)

back