比推消息，一位名叫 Robin Linus 的比特币开发者提出了 BitVM 的一款全新智能合约方案，它可以在不改变比特币共识规则（即不进行软分叉）的情况下实现图灵完备的比特币合约。BitVM 基于 “欺诈证明” 和 “挑战-响应” 模型，可以运行多种有趣的应用，并验证比特币合约中的有效性证明。然而，有质疑认为该模型仅限于由证明者和验证者组成的双向网络环境，而且执行程序需要大量的链外计算和通信交互。