Lean4 Formalization of "A Simplified Round-by-Round Soundness Proof of Fri"

4 hours ago (blog.zksecurity.xyz)