预言机

Gurevich 将简化费马素性测试的概率算法重新表述为：确定性算法本身调用一个名为 `choose in` 的预言机来获取随机数。

Gurevich 的助手模式框架要求算法的行为保证依赖于对助手行为的假设，例如费马测试的可靠性取决于随机源的质量。

预言机概念源于可计算性理论中的图灵归约，即一台图灵机可以在一步内查询一个外部黑箱并得到正确答案。

原文属于一个关于智能体基础设施的系列，下一篇将讨论预言机（oracle）设计。

预言机独立地从 REGLO 的真实数据中重新推导基线和实际成本并签名，智能合约在支付前自行检查节省金额。