Lean4 Formalization of "A Simplified Round-by-Round Soundness Proof of Fri" (blog.zksecurity.xyz) 1 points by baby 5mo ago ↗ HN
0 comments
[ 3.6 ms ] story [ 9.7 ms ] threadNo comments yet.