關於智能合約，你可以問兩個問題： “它看起來安全嗎？” “它能被證明是安全的嗎？” 大多數工具都回答了第一個問題，卻將其作為第二個問題來推銷。