Solidity + EVM 拥有最佳的开发工具，可以进行静态分析、强健测试和形式验证。 `vm.etch` 是天堂。