| | Explainer of the most widely used zero-knowledge proof system (zksecurity.xyz) |
| 3 points by baby 5 days ago | past | discuss |
|
| | The Final Form of Software Development (zksecurity.xyz) |
| 2 points by fbrusch 17 days ago | past |
|
| | Sum-Check as an Algebraic Tensor Reduction: Part III (zksecurity.xyz) |
| 5 points by marcobesier 17 days ago | past |
|
| | The final form of software development (zksecurity.xyz) |
| 2 points by harperlee 24 days ago | past |
|
| | Sum-Check as an Algebraic Tensor Reduction: Part II (zksecurity.xyz) |
| 5 points by marcobesier 25 days ago | past |
|
| | Breaking Jolt's Verifier with an Unbound Uni-Skip Claim (zksecurity.xyz) |
| 2 points by baby 26 days ago | past |
|
| | Encrypted Mempools: Security Beyond Encryption (zksecurity.xyz) |
| 4 points by suneal96 28 days ago | past |
|
| | ZK Security, ZK Summit, and a Decade of Progress (zksecurity.xyz) |
| 2 points by marcobesier 29 days ago | past |
|
| | Powers-of-Funbenius (zksecurity.xyz) |
| 10 points by rot256 30 days ago | past |
|
| | Verifying Poseidon in Clean: Why the Last 'Sorry' Is About Primality (zksecurity.xyz) |
| 4 points by martocho 31 days ago | past | 1 comment |
|
| | The Final Form of Software Development (zksecurity.xyz) |
| 5 points by ricochet11 33 days ago | past |
|
| | Groth16, Intuitively (zksecurity.xyz) |
| 8 points by baby 34 days ago | past |
|
| | Soundness Failures in LaBRADOR Implementations from NTT-Friendly Rings (zksecurity.xyz) |
| 10 points by zgeorgios 36 days ago | past |
|
| | The Final Form of Software Development (zksecurity.xyz) |
| 7 points by baby 36 days ago | past | 1 comment |
|
| | The Final Form of Software Development (zksecurity.xyz) |
| 11 points by yoichi-hirai 37 days ago | past |
|
| | Cryptography Challenges KalmarCTF 2026 (zksecurity.xyz) |
| 7 points by ahpuh 38 days ago | past |
|
| | Sum-Check as an Algebraic Tensor Reduction: Part I (zksecurity.xyz) |
| 2 points by baby 38 days ago | past |
|
| | Sum-Check as an Algebraic Tensor Reduction: Part 1 (zksecurity.xyz) |
| 9 points by marcobesier 39 days ago | past |
|
| | The First ZK Exploits Happened, and They Weren't What We Expected (zksecurity.xyz) |
| 2 points by vons 3 months ago | past |
|
| | Lean4 Formalization of "A Simplified Round-by-Round Soundness Proof of Fri" (zksecurity.xyz) |
| 1 point by baby 4 months ago | past |
|
| | How to PLONK (zero-knowledge proofs tutorial) (zksecurity.xyz) |
| 3 points by baby 9 months ago | past |
|
| | Bug Hunt: Zero-Knowledge, Full-Paranoia, and the AI That Stares Back (zksecurity.xyz) |
| 2 points by oddhash 11 months ago | past |
|
| | Bug Hunt: Zero-Knowledge, Full-Paranoia, and the AI That Stares Back (zksecurity.xyz) |
| 4 points by baby 11 months ago | past |
|
| | Proofs on a Leash: Post-Quantum Lattice Snark with Greyhound (zksecurity.xyz) |
| 2 points by baby on June 3, 2025 | past |
|
| | Audit of the Rust P256 Crate (zksecurity.xyz) |
| 5 points by todsacerdoti on April 28, 2025 | past |
|
| | Clean, a formal verification DSL for ZK circuits in Lean4 (zksecurity.xyz) |
| 77 points by vons on March 27, 2025 | past | 5 comments |
|
| | Bugs.zksecurity.xyz a knowledge base for ZK bugs (zksecurity.xyz) |
| 1 point by baby on Feb 17, 2025 | past |
|
| | ZkNews: HN for Advanced Cryptography (zksecurity.xyz) |
| 3 points by baby on July 26, 2024 | past |
|
| | Show HN: Tired of pump and dump and scammy crypto news? Here's ZK news (zksecurity.xyz) |
| 2 points by baby on May 31, 2024 | past | 5 comments |
|
| | The zero-knowledge attack of the year might just have happened (zksecurity.xyz) |
| 5 points by rencrisa on July 4, 2023 | past |
|
|
| More |
