| | How to PLONK (zero-knowledge proofs tutorial) (zksecurity.xyz) |
| 3 points by baby 3 months ago | past |
|
| | Bug Hunt: Zero-Knowledge, Full-Paranoia, and the AI That Stares Back (zksecurity.xyz) |
| 2 points by oddhash 5 months ago | past |
|
| | Bug Hunt: Zero-Knowledge, Full-Paranoia, and the AI That Stares Back (zksecurity.xyz) |
| 4 points by baby 5 months ago | past |
|
| | Proofs on a Leash: Post-Quantum Lattice Snark with Greyhound (zksecurity.xyz) |
| 2 points by baby 6 months ago | past |
|
| | Audit of the Rust P256 Crate (zksecurity.xyz) |
| 5 points by todsacerdoti 7 months ago | past |
|
| | Clean, a formal verification DSL for ZK circuits in Lean4 (zksecurity.xyz) |
| 77 points by vons 8 months ago | past | 5 comments |
|
| | Bugs.zksecurity.xyz a knowledge base for ZK bugs (zksecurity.xyz) |
| 1 point by baby 10 months ago | 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 |
|
| | A zero-knowledge attack on the Nova proof system (zksecurity.xyz) |
| 1 point by noch on July 3, 2023 | past |
|
| | The zero-knowledge attack of the year might just have happened (zksecurity.xyz) |
| 4 points by baby on July 2, 2023 | past |
|
| | Wasmati: Write Your WebAssembly in TypeScript (zksecurity.xyz) |
| 3 points by gmitscha on June 2, 2023 | past | 1 comment |
|
| | Do in secret. Assert in public. Don't under-constrain your in ZK programs (zksecurity.xyz) |
| 3 points by bkase on June 1, 2023 | past |
|
| | Private delegated computation is here, and there will be bugs (zksecurity.xyz) |
| 33 points by baby on May 30, 2023 | past | 3 comments |
|
