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