1.CertiK Formally Verifies zkWasm, Proving Mathematical Soundness of a Leading zkVMblog | 2026-09-28 13:00 | certik.com | Original ↗ | .md | #web3 | #zero-knowledge | #formal-verification
2.Auditing in the age of (good enough) AIblog | 2026-09-18 11:00 | blog.trailofbits.com | Original ↗ | .md | #ai-security | #cryptography | #audit
3.What Is a Zero-Knowledge Virtual Machine (zkVM)?blog | 2026-07-14 11:50 | certik.com | Original ↗ | .md | #web3 | #blockchain | #zero-knowledge
4.Unverified evaluations in Dusk’s PLONKblog | 2026-04-30 12:00 | osec.io | Original ↗ | .md | #web3 | #vulnerability-research | #vulnerability
5.We beat Google’s zero-knowledge proof of quantum cryptanalysisblog | 2026-04-17 11:00 | blog.trailofbits.com | Original ↗ | .md | #web3 | #vulnerability-research | #memory-safety
6.Unfaithful claims: breaking 6 zkVMsblog | 2026-03-03 12:00 | osec.io | Original ↗ | .md | #web3 | #vulnerability-research | #cryptography
7.The cryptography behind electronic passportsblog | 2025-10-31 11:00 | blog.trailofbits.com | Original ↗ | .md | #cryptography | #privacy | #threat-modeling
8.PoRv2: a fast, transparent ZK-based proof of reservesblog | 2025-08-27 00:00 | osec.io | Original ↗ | .md | #open-source | #zero-knowledge | #proof-of-reserves
9.A deep dive into Axiom’s Halo2 circuitsresearch | 2025-05-30 11:00 | blog.trailofbits.com | Original ↗ | .md | #web3 | #cryptography | #audit
10.Strengthening decentralized security: Bugcrowd’s VRT 1.15 updateblog | 2025-02-12 13:00 | bugcrowd.com | Original ↗ | .md | #cloud | #web3 | #smart-contracts
11.Circomspect has been integrated into the Sindri CLIblog | 2024-02-26 14:00 | blog.trailofbits.com | Original ↗ | .md | #cryptography | #tooling | #static-analysis
12.Tag, you’re it: Signal tagging in Circomblog | 2024-01-02 14:00 | blog.trailofbits.com | Original ↗ | .md | #security-audit | #cryptography | #zero-knowledge
13.Summer interns 2023 recapblog | 2023-12-20 14:00 | blog.trailofbits.com | Original ↗ | .md | #ai-security | #fuzzing | #llm
14.Hackers Wanted for Aleo’s Inaugural Bug Bounty Program!blog | 2023-07-20 17:36 | bugcrowd.com | Original ↗ | .md | #bug-bounty | #web3 | #bugcrowd
15.Circomspect has more passes!blog | 2023-03-21 12:00 | blog.trailofbits.com | Original ↗ | .md | #cryptography | #static-analysis | #blockchain
16.Specialized Zero-Knowledge Proof failuresblog | 2022-11-29 12:30 | blog.trailofbits.com | Original ↗ | .md | #cryptography | #vulnerability-disclosure | #blockchain
17.Serving up zero-knowledge proofsblog | 2021-02-19 11:59 | blog.trailofbits.com | Original ↗ | .md | #web3 | #cryptography | #blockchain
18.Reverie: An optimized zero-knowledge proof systemblog | 2020-12-14 12:50 | blog.trailofbits.com | Original ↗ | .md | #web3 | #rust | #cryptography
19.Crypto 2019 Takeawaysblog | 2019-09-11 10:50 | blog.trailofbits.com | Original ↗ | .md | #cryptography | #post-quantum | #tls