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.Circuit Breaker: The Missing Constraint That Compromised RISC Zero’s zkVMblog | 2026-06-11 10:03 | hackenproof.com | Original ↗ | .md | #bug-bounty | #web3 | #vulnerability-research
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