Fiat-Shamir Bugs: How One Missing Line Breaks a Proof Systemblog.zksecurity.xyz1 point·baby··0 commentsOpen articleSaveView on HN