无许可有裁判锦标赛

可编程区块链中的可扩展性问题产生了对安全方法的大量需求，这些方法将大部分计算移出区块链。该问题的优选解决方案之一涉及链下计算机以交互方式竞争，向受限区块链证明给定密集型计算的结果中其结果为正确。每台链下计算机花费关于计算成本的线性精力，而区块链仅以对数精力裁决争议。然而，该精力乘以竞争者数量，使得涉及大量参与方的争议不切实际且易受女巫攻击。在本文中，我们提出一种实用的争议解决算法，凭借该算法，单个诚实竞争者可以赢得争议，同时花费关于计算成本的线性精力，而仅关于不诚实竞争者数量的对数精力。该算法是用于构建无许可欺诈证明协议的新型、更强原语，其不依赖复杂经济激励来实施。