| user: | baby |
| created: | January 19, 2010 |
| karma: | 15.2k |
| about: | cryptologie.net |
| 1. | Breaking Jolt's Verifier with an Unbound Uni-Skip Claim(blog.zksecurity.xyz) |
| 2. | Groth16, Intuitively(blog.zksecurity.xyz) |
| 3. | The Final Form of Software Development(blog.zksecurity.xyz) |
| 4. | Sum-Check as an Algebraic Tensor Reduction: Part I(blog.zksecurity.xyz) |