对于标准智能合约而言，这已经是一个相当不错的基准了。 形式化验证仍然成本高昂，但人工智能在编写形式化验证测试方面表现出色——因此，难点在于思考哪些不变式值得强制执行。 如果智能合约管理风险/依赖于市场波动，那么门槛就更高了。 * 预言机设计是一个巨大的无底洞 * 故障转移机制（例如，Crank/Keeper），预言机弹性 * 风险参数校准 * 不变式检查 --- 以前，团队需要资金、良好的判断力和优秀的开发人员才能完成上述工作。随着代码成本降低甚至免费，良好的判断力越来越成为区分团队优劣的关键因素。