baby Karma 15,095 Created 16 years ago About cryptologie.net Recent Submissions 1. ▲ Lean4 Formalization of "A Simplified Round-by-Round Soundness Proof of Fri" (blog.zksecurity.xyz) 1 point · 2 days ago · 0 comments All submissions on HN · View profile on HN