1. Securing Layer 1 Blockchain Protocols: Security Guide blog | 2026-06-11 06:58 | hackenproof.com | original ↗ | #web3 | #smart-contracts | #blockchain
2. Motivating global stabilization blog | 2021-11-11 15:39 | blog.trailofbits.com | original ↗ | #research | #distributed-systems | #consensus
3. Formal Analysis of the CBC Casper Consensus Algorithm with TLA+ blog | 2019-10-25 11:00 | blog.trailofbits.com | original ↗ | #blockchain | #formal-verification | #ethereum
4. On LibraBFT’s use of broadcasts blog | 2019-07-12 10:50 | blog.trailofbits.com | original ↗ | #blockchain | #distributed-systems | #consensus
Skip to content