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