1.Catch Runtime Bugs Before They Become Mainnet Incidents: CertiK Grey Box Chain Auditincident | 2026-06-11 11:00 | certik.com | Original ↗ | .md | #web3 | #fault-injection | #blockchain-security
2.Securing Layer 1 Blockchain Protocols: Security Guideblog | 2026-06-11 06:58 | hackenproof.com | Original ↗ | .md | #web3 | #smart-contracts | #blockchain
3.Motivating global stabilizationblog | 2021-11-11 15:39 | blog.trailofbits.com | Original ↗ | .md | #research | #distributed-systems | #consensus
4.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
5.On LibraBFT’s use of broadcastsblog | 2019-07-12 10:50 | blog.trailofbits.com | Original ↗ | .md | #blockchain | #distributed-systems | #consensus