Lean4 Formalization of "A Simplified Round-by-Round Soundness Proof of Fri"blog.zksecurity.xyz1 point·baby··0 commentsOpen articleSaveView on HN