baby
- Karma
- 0
- Created
- ()
- Submissions
- 0
- How the most-used zero-knowledge proof system (Groth16) works (blog.zksecurity.xyz)
- AI meets Cryptography 3: What AI Found in Bron Labs's bron-crypto (blog.zksecurity.xyz)
- Nine Years to Halve a Hash Function: RFC 9861 Is Out (blog.zksecurity.xyz)
- Zk.golf: Fearless and Collaborative Optimization of Circuits (blog.zksecurity.xyz)
- Explainer of the most widely used zero-knowledge proof system (blog.zksecurity.xyz)
- Breaking Jolt's Verifier with an Unbound Uni-Skip Claim (blog.zksecurity.xyz)
- Groth16, Intuitively (blog.zksecurity.xyz)
- The Final Form of Software Development (blog.zksecurity.xyz)
- Sum-Check as an Algebraic Tensor Reduction: Part I (blog.zksecurity.xyz)
- Ghostmd: Ghostty but for Markdown Notes (mimoo.github.io)
- Lean4 Formalization of "A Simplified Round-by-Round Soundness Proof of Fri" (blog.zksecurity.xyz)
- Techpants.io (techpants.io)
-
I'm becoming increasingly worried watching the news that the US is past a point of no-return. I came to HN for a bit of comfort, but realized that it is also dystopian that all we're talking about here is tech while…
- Supply chain attacks are the new big thing (2022) (cryptologie.net)
- How to PLONK (zero-knowledge proofs tutorial) (plonk.zksecurity.xyz)
- Messing with AIs (cryptologie.net)
- Bug Hunt: Zero-Knowledge, Full-Paranoia, and the AI That Stares Back (blog.zksecurity.xyz)
- Proofs on a Leash: Post-Quantum Lattice Snark with Greyhound (blog.zksecurity.xyz)
- The trap of the top-down approach (cryptologie.net)