對於標準智能合約而言，這已經是一個相當不錯的基準了。 形式化驗證仍然成本高昂，但人工智能在編寫形式化驗證測試方面表現出色——因此，難點在於思考哪些不變式值得強制執行。 如果智能合約管理風險/依賴於市場波動，那麼門檻就更高了。 * 預言機設計是一個巨大的無底洞 * 故障轉移機制（例如，Crank/Keeper），預言機彈性 * 風險參數校準 * 不變式檢查 --- 以前，團隊需要資金、良好的判斷力和優秀的開發人員才能完成上述工作。隨著代碼成本降低甚至免費，良好的判斷力越來越成為區分團隊優劣的關鍵因素。