1. 保护 Layer 1 区块链协议:安全指南 博客 | 2026-06-11 06:58 | hackenproof.com | 原文 ↗ | #web3 | #smart-contracts | #blockchain
2. 全局稳定的动机 博客 | 2021-11-11 15:39 | blog.trailofbits.com | 原文 ↗ | #research | #distributed-systems | #consensus
3. 使用 TLA+ 对 CBC Casper 共识算法进行形式化分析 博客 | 2019-10-25 11:00 | blog.trailofbits.com | 原文 ↗ | #blockchain | #formal-verification | #ethereum
4. 论 LibraBFT 对广播的使用 博客 | 2019-07-12 10:50 | blog.trailofbits.com | 原文 ↗ | #blockchain | #distributed-systems | #consensus