ZeroSync 项目负责人罗宾·林纳斯发布了一份名为《BitVM：在比特币上进行任何计算》的白皮书，其中他指出 BitVM 能够实现图灵完备的比特币合约，而无需改变比特币的共识规则。它可以执行几乎任何任意计算，并利用该计算来执行链上比特币交易。

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

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