@zksecurityXYZ revealed an important security issue in Halo2 -- Query Collision Bug, affecting multiple implementations including Zcash and PSE, and discussed its fix. @zksecurityXYZ 在博客中揭示了Halo2中的一个重要安全性问题——查询碰撞漏洞,影响了包括Zcash和PSE在内的多个实现,并讨论了其修复方法。 @zkSNARK が、Zcash や PSE を含む複数の実装に影響を与える重要なセキュリティ問題である「クエリ衝突バグ」を公開し、その修正について議論しました。
NotesNotes要点
It allows malicious provers to forge proofs by repeatedly querying the same polynomial at the same evaluation point.
The vulnerability affects multiple widely used Halo2 versions, including Zcash and PSE.
Fix methods include detecting and rejecting query collisions in multi-point opening parameters.
Currently, no known production circuits are affected by this vulnerability.
The relevant teams have quickly responded and fixed this vulnerability.