Fiat-Shamir Bugs: How One Missing Line Breaks a Proof System

(blog.zksecurity.xyz) by baby | Sep 18, 2026 | 0 comments on HN