HN
New
Show
Ask
Jobs
Built with Astro
Lean4 Formalization of "A Simplified Round-by-Round Soundness Proof of Fri"
(blog.zksecurity.xyz)
1 points | by
baby
5 hours ago
No comments yet.