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

 (blog.zksecurity.xyz)

1 points | by baby 2 hours ago

0 comments