Don't Review the Code: Formal Specs First Smart Contract Development
Ethereum Foundation · 22:30 · Watch on YouTube
主线结论： George（现于 Monad Foundation，曾任职 EF Solidity 编译器团队、DeFi 领域）分享了以"先写形式化规格（formal spec first）"为核心的新智能合约开发流程：人类用自然语言/CVL 写规格，AI agent 负责生成 Solidity 代码，Certora 证明器在 CI 中持续校验，从而把人类评审的负担从"海量代码"转移到"规格本身"。他用 11 个植入 bug 的变异...