Lean4 Formalization of "A Simplified Round-by-Round Soundness Proof of Fri"(blog.zksecurity.xyz)
blog.zksecurity.xyz
Lean4 Formalization of "A Simplified Round-by-Round Soundness Proof of Fri"
https://blog.zksecurity.xyz/posts/simple-rbr-fri/
0 comments
—