外包计算：最小仲裁机制

我们考虑这样一种场景：一个计算能力有限的验证者将一个需要 $T\times S$ 计算表的资源密集型计算任务委托给两个证明者，其中证明者是理性的，即每个证明者都最大化自己的收益——同时考虑计算成本带来的损失。我们设计了一种称为最小仲裁机制的机制，使得如果验证者拥有 $O(\log S + \log T)$ 的时间和 $O(\log S + \log T)$ 的空间计算能力，那么两个证明者都将提供诚实的结果，而验证者无需付出任何努力来验证结果。证明者所需的计算量（以及因此产生的成本）是计算本身乘以一个 $\log S$ 因子，这使得该方案对于低空间计算尤其高效。