关于智能合约，你可以问两个问题： “它看起来安全吗？” “它能被证明是安全的吗？” 大多数工具都回答了第一个问题，却将其作为第二个问题来推销。