官方文档

Ethereum White Paper

中英对照

智能合约生命周期

形式化验证相关

How formal verification of smart-contacts works

智能合约漏洞登记

SWC registry GitHub

智能合约安全性最佳实践指南 consensys.github.io/smart-contract-best-practices/ GitHub 安全性建议和最佳实践合集