本站消息,ZeroSync项目负责人Robin Linus在10月9日题为“BitVM:在比特币上计算任何东西”的白皮书中宣布,BitVM可以在不改变比特币共识规则的情况下实现图灵完备的比特币合约。使用BitVM,比特币合约的“逻辑”将在链外执行,但验证将在比特币上进行,类似于以太坊的optimistic rollup。BitVM 的架构基于欺诈证明和挑战响应模型,其中“证明者”可以提出主张,“验证者”可以执行欺诈证明,以在提出虚假主张时惩罚证明者。 Linus解释说,比特币目前的形式仅限于基本操作,例如签名、时间锁和哈希锁,但现在可以通过BitVM进行扩展,BitVM可以计算许多有趣的应用程序。