Fiat-Shamir Bugs: How One Missing Line Breaks a Proof System | Dark Hacker News