Lean4 Formalization of "A Simplified Round-by-Round Soundness Proof of Fri"https://blog.zksecurity.xyz/posts/simple-rbr-fri/ by baby • 6 months ago 1 0 6 months agoBLblog.zksecurity.xyz