A formal technical classification of zero-knowledge proof vulnerabilities covering trusted setup failures, Fiat-Shamir binding errors, under-constrained witnesses, proof verification bypasses, and protocol-level boundary gaps.
2026, Jun 19 —A simple guide to the main ways zero-knowledge proof systems have been broken, explained with everyday analogies about magic locks, bakers, and inspectors.
2026, Jun 19 —A chronological record of confirmed hacks, disclosed vulnerabilities, and bug bounties in zero-knowledge proof protocols from 2023 to 2026, with technical root cause analysis for each incident.
2026, Jun 19 —An analysis of security incidents in ZK-rollup bridges from 2023 to 2026, covering confirmed exploits, circuit-level vulnerability disclosures, and bug bounties targeting ZK withdrawal and settlement mechanisms.
2026, Jun 19 —This article summarizes the essential points to verify when reviewing a Solidity verifier contract using in zk-proof systems
2025, Nov 28 —Tornado Cash is one of Ethereum’s pioneering privacy protocols build on zk-SNARK and Circom zero-knowledge circuits.
2025, Nov 19 —Initially established as core contributors to the Sky (f.k.a. MakerDAO) ecosystem, Steakhouse has gone on to become a curator and DeFi advisory firm working with some of the largest protocols, including Lido, Morpho, Ethena, ENS, Arbitrum, and more.
2025, Nov 06 —Aztec L2 enables private, composable smart contracts on Ethereum using zero-knowledge proofs and hybrid public/private state.
2025, Oct 29 —RAILGUN brings full privacy to DeFi using zk-SNARK cryptography, shielding senders, recipients, and tokens for untraceable blockchain transactions.
2025, Oct 28 —This article explains the cryptography behind zk-SNARKs and compares them to other zero-knowledge proofs like STARKs and Bulletproofs.
2025, Jul 29 —The Poseidon hash function is a cryptographic hash function specifically designed for use in zero-knowledge proof systems like SNARKs and STARKs.
2025, May 27 —DECO is a zkTLS-oracle made by Chainlink for authenticating and verifying web data in a privacy-preserving manner.
2025, Jan 13 —Bulletproofs are efficient and compact zero-knowledge proofs. They're enhancing privacy and scalability in blockchain systems by reducing data size and verification time.
2024, Aug 13 —This article is a summary of the main concepts behind Zero-Knowledge Proof (ZKP).
2024, Jun 17 —Overview of the main development frameworks to build zero-knowledge system which Plonky2(Polygon), Halo2(Zcash), Boojum (Matter Labs),...
2024, Jun 10 —