罗宾·林纳斯（ZeroSync 项目负责人）近日发布名为《BitVM：在比特币上进行任何计算》的白皮书，提出 BitVM 可实现图灵完备的比特币合约，无需改变比特币的共识规则。BitVM 可执行几乎任何计算，并利用该计算来执行链上比特币交易。

BitVM 的运作方式是，比特币合约的“逻辑”在链下执行，而验证则在比特币区块链上进行，类似于以太坊的乐观 rollup。该架构基于欺诈证明和挑战-响应模型，其中“证明者”可以提出主张，而“验证者”可以执行欺诈证明来惩罚在提出虚假主张时的证明者。

这一新提议已引起比特币社区众多知名人物的关注，包括 Arcane Assets 联合创始人 Eric Wall、比特币分析师 Dylan LeClair 以及 Blockstream 联合创始人、hashcash 发明者 Adam Back。