ZeroSync 项目负责人 Robin Linus 发布题为“BitVM:在比特币上计算任何东西”的白皮书,内容显示,BitVM 可以在不改变比特币共识规则的情况下实现图灵完备的比特币合约。使用 BitVM,比特币合约的“逻辑”将在链外执行,但验证将在比特币上进行——类似于以太坊的optimistic rollups。BitVM 的架构基于欺诈证明和挑战响应模型,其中“证明者”可以提出主张,“验证者”可以执行欺诈证明,以在提出虚假主张时惩罚证明者。
相关阅读:3分钟了解ZeroSync:在比特币上引入零知识证明,将发生怎样的化学反应?