正式验证的裁判模型可以解决市场问题或在其他上下文中作为真相来源。 这有深远的影响 --> 1. 花时间为用例构建一个适当审核的（最好是开源的）裁判模型。 2. 设计一个合适的提示、工具+来源集合，以及“触发判断”的条件。 3. 确保所有相关方（或他们认可的审计机制）都对一切感到满意。 3. 将所有内容编码到智能合约中并部署。 之后你等待“触发”，如果一切都是公开/透明地达成的，结果就很难被争议。