baby
- Karma
- 0
- Created
- ()
- Submissions
- 0
- Zk.golf: Fearless and Collaborative Optimization of Circuits (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)
- Bug Hunt: Zero-Knowledge, Full-Paranoia, and the AI That Stares Back (blog.zksecurity.xyz)
- Learn How to Break AES (davidwong.fr)
- SimPy is a process-based discrete-event simulation framework in Python (simpy.readthedocs.io)
- ZkNews: HN for Advanced Cryptography (news.zksecurity.xyz)
- Joseph Stalin's Cult of Personality (en.wikipedia.org)
- Show HN: Tired of pump and dump and scammy crypto news? Here's ZK news (news.zksecurity.xyz)
-
I’m flabbergasted but anything you save after you’ve maxed out 2000 saved places in the app will quietly disappear. It’s not even a power of 2.
- Post-Quantum Cryptography (livebook.manning.com)