36
1
Lean4 Formalization of "A Simplified Round-by-Round Soundness Proof of Fri" (zksecurity.xyz)
2
Techpants.io (techpants.io)
3
Feds say 100k-card farms could have killed cell towers in NYC near the UN (theregister.com)
34
[flagged] Ask HN: Is America Going to Become an Autocracy?
1
Supply chain attacks are the new big thing (2022) (cryptologie.net)
3
How to PLONK (zero-knowledge proofs tutorial) (zksecurity.xyz)
3
Messing with AIs (cryptologie.net)
2
Bug Hunt: Zero-Knowledge, Full-Paranoia, and the AI That Stares Back (zksecurity.xyz)
2
Proofs on a Leash: Post-Quantum Lattice Snark with Greyhound (zksecurity.xyz)
1
Ask HN: Which agentic framework/tool do you prefer and why?
4
Houthi PC Small Group (mimoo.github.io)
1
The trap of the top-down approach (cryptologie.net)
69
Learn How to Break AES (davidwong.fr)
1
Bugs.zksecurity.xyz a knowledge base for ZK bugs (zksecurity.xyz)
2
SimPy is a process-based discrete-event simulation framework in Python (simpy.readthedocs.io)
2
ZkNews: HN for Advanced Cryptography (zksecurity.xyz)
1
Joseph Stalin's Cult of Personality (wikipedia.org)
18
Why I'm Writing a Book on Cryptography (2020) (cryptologie.net)
4
Show HN: Tired of pump and dump and scammy crypto news? Here's ZK news (zksecurity.xyz)
2
Short introduction to secure multi-party computation (MPC) in two videos (youtube.com)
3
Google Maps' saved places is capped at 2k
1
Post-Quantum Cryptography (manning.com)
2
ZkBitcoin: Zero-knowledge proof layer on top of Bitcoin (github.com/sigma0-xyz)
5
YouTube prime is $7 cheaper if you subscribe on the website
4
Ask HN: Good book recommendations on focus, concentration, and deep work?
2
ProtoGalaxy: Efficient ProtoStar-style folding of multiple instances (iacr.org)
6
Twitter Rebrands to X.com (twitter.com/elonmusk)
3
The zero-knowledge attack of the year might just have happened (zksecurity.xyz)
21
Private delegated computation is here, and there will be bugs (zksecurity.xyz)
5
Ask HN: How much do you value reverse engineering skills when hiring?
3
Ask HN: What do you think about the noestimates movement?
2
Zero-knowledge proof composition and recursion: part 1 (cryptologie.net)
1
Contributing to open source projects and about learning zero-knowledge proofs (cryptologie.net)
7
Ask HN: YouTube ads have gotten out of control right?
3
Vague Enough
3
What are the biggest reasons newcomers give up on OCaml? (ocaml.org)
1
Ask HN: What is a project you failed pretty badly
1
Real-World Cryptography (manning.com)
31
What's the Deal with Zkapps? (cryptologie.net)
3
OCaml Wishlist (cryptologie.net)
4
Ask HN: Is WordPress the New Substack?
1