Security and Vulnerabilities

Potential vulnerabilities and security in ZK systems

• SoK: What don’t we know? Understanding Security Vulnerabilities in SNARKs
• ZK bug tracker by0xparc
  • bug tracker intro
• Vulnerabilities in zk systems
• Vulnerability in Fiat-Shamir
• Frozen heart vulnerability: Bulletproof
• Frozen heart vulnerability: Plonk
• Hertzbleed attack: sidechannel
  • paper
• IPA
• Pedersen commitments
• KZG commitments
• Stress testing Zk systems: Zk docs
• Specialized ZKP vulnerabilities
• security of zkp projects: same but different
• ZK programmability and security
• Vulnerabilities in private delegated computations
• Vulnerability in Nova - David Wong
• Algebraic attacks on ZK hash functions
• Feldman Secret sharing attacks
• Threshold signature pitfalls
• VSS forgery
• Boomerang values in ZK
• GPUz.zip Sidechannel attacks on GPUs
• Last challenge attack
• The State of Security Tools for ZKPs
  • paper
• Disarming Fiat Shamir footguns
  • Decree FS library
• VZKVM bugs

Hardware vulnerabilities

• Hardware backdoors in x86 CPUs
• Breaching Processor Security via Rogue Memory Modules