Submissions from zksecurity.xyz

		Explainer of the most widely used zero-knowledge proof system (zksecurity.xyz)
		3 points by baby 14 days ago \| past
		The Final Form of Software Development (zksecurity.xyz)
		2 points by fbrusch 26 days ago \| past
		Sum-Check as an Algebraic Tensor Reduction: Part III (zksecurity.xyz)
		5 points by marcobesier 27 days ago \| past
		The final form of software development (zksecurity.xyz)
		2 points by harperlee 33 days ago \| past
		Sum-Check as an Algebraic Tensor Reduction: Part II (zksecurity.xyz)
		5 points by marcobesier 35 days ago \| past
		Breaking Jolt's Verifier with an Unbound Uni-Skip Claim (zksecurity.xyz)
		2 points by baby 36 days ago \| past
		Encrypted Mempools: Security Beyond Encryption (zksecurity.xyz)
		4 points by suneal96 38 days ago \| past
		ZK Security, ZK Summit, and a Decade of Progress (zksecurity.xyz)
		2 points by marcobesier 38 days ago \| past
		Powers-of-Funbenius (zksecurity.xyz)
		10 points by rot256 40 days ago \| past
		Verifying Poseidon in Clean: Why the Last 'Sorry' Is About Primality (zksecurity.xyz)
		4 points by martocho 40 days ago \| past \| 1 comment
		The Final Form of Software Development (zksecurity.xyz)
		5 points by ricochet11 42 days ago \| past
		Groth16, Intuitively (zksecurity.xyz)
		8 points by baby 44 days ago \| past
		Soundness Failures in LaBRADOR Implementations from NTT-Friendly Rings (zksecurity.xyz)
		10 points by zgeorgios 45 days ago \| past
		The Final Form of Software Development (zksecurity.xyz)
		7 points by baby 45 days ago \| past \| 1 comment
		The Final Form of Software Development (zksecurity.xyz)
		11 points by yoichi-hirai 46 days ago \| past
		Cryptography Challenges KalmarCTF 2026 (zksecurity.xyz)
		7 points by ahpuh 47 days ago \| past
		Sum-Check as an Algebraic Tensor Reduction: Part I (zksecurity.xyz)
		2 points by baby 47 days ago \| past
		Sum-Check as an Algebraic Tensor Reduction: Part 1 (zksecurity.xyz)
		9 points by marcobesier 48 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

HN For You