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

1 points | by baby an hour ago

No comments yet