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.CertiK Joins LF Decentralized Trust to Advance Security Standards for Enterprise Blockchainblog | 2026-09-24 13:00 | certik.com | Original ↗ | .md | #web3 | #open-source | #compliance
3.Auditing in the age of (good enough) AIblog | 2026-09-18 11:00 | blog.trailofbits.com | Original ↗ | .md | #ai-security | #cryptography | #audit
4.A “proof” of Fermat’s Last Theorem that fits the marginblog | 2026-09-09 11:00 | blog.trailofbits.com | Original ↗ | .md | #memory-safety | #vulnerability | #formal-verification
5.Can chatbots craft correct code?blog | 2025-12-19 12:00 | blog.trailofbits.com | Original ↗ | .md | #ai-security | #ai-safety | #llm
6.Formally Verified Post-Quantum Algorithmsblog | 2024-08-19 00:00 | bughunters.google.com | Original ↗ | .md | #cryptography | #post-quantum | #nist
7.Why fuzzing over formal verification?blog | 2024-03-22 13:00 | blog.trailofbits.com | Original ↗ | .md | #smart-contracts | #fuzzing | #blockchain
8.Cryptographic design review of Ockamblog | 2024-03-05 14:00 | blog.trailofbits.com | Original ↗ | .md | #cryptography | #formal-verification | #noise
9.Solana formal verification: a case studyblog | 2023-01-26 00:00 | osec.io | Original ↗ | .md | #rust | #formal-verification | #solana
10.The Move Prover: a guideblog | 2022-09-16 00:00 | osec.io | Original ↗ | .md | #smart-contracts | #tutorial | #formal-verification
11.Move: an auditor’s introductionblog | 2022-09-06 00:00 | osec.io | Original ↗ | .md | #smart-contracts | #blockchain | #formal-verification
12.Contract verification made easierblog | 2020-07-12 19:00 | blog.trailofbits.com | Original ↗ | .md | #web3 | #smart-contracts | #formal-verification
13.Formal Analysis of the CBC Casper Consensus Algorithm with TLA+blog | 2019-10-25 11:00 | blog.trailofbits.com | Original ↗ | .md | #blockchain | #formal-verification | #ethereum