BitVM2 是对原始 BitVM 的优化版本，引入了更模块化的计算结构和电路压缩机制，同时引入交互式欺诈证明、时间锁脚本、多签等机制增强协议的实用性和安全性。BitVM2 更加注重优化 on-chain 数据提交量，并试图引入如 OP_CAT 等可能在未来被激活的脚本操作码以提高电路构建效率。
发展现状
当前 BitVM 路线正逐渐从理论走向实践，其中代表性项目就是 Citrea，Citrea 将大量交易在链下执行，并通过 BitVM 将执行结果和证明提交到 BTC 网络进行验证。实现了 BTC L2 高效的扩容和安全性。Citrea 也是第一个能够在 BTC 上实现通用 L2 结算的解决方案，所有证明都原生地在 BTC 网络上的区块内验证。目前，Citrea 的主网尚未正式上线，仍处于测试网阶段。
而例如 Goat Network 则致力于探讨 BitVM2 的可能性。Goat 的白皮书展示了基于电路逻辑与 Merkle 树结构的欺诈证明机制。Goat 强调将 BTC 上的计算拓展为图灵完备的状态机，并尝试构建一种新的 BTC L2 框架，允许智能合约执行与资产交互在比特币主链之上原生完成。Goat 的实现中还包括数据可用性层（DA 层）的集成，以及电路压缩机制优化，推动了 BitVM 从实验性方案迈向可实际部署。
截止今年 6 月，Goat Network 的锁仓量已经突破 1 亿美元。
Top chains by TVL launched each month of the year, CryptoDiffier; 数据来源：https://x.com/GOATRollup/status/1929596963286114614
尽管 BitVM 系列的协议优势非常明显：极致原生，无需更改 BTC 共识就可以实现图灵完备的计算，具备极高的安全性与原生性；而且其结构天然支持欺诈证明、低数据上链率和极致的去中心化。
然而 BitVM 劣势也源于其技术：BTC Script 构成的逻辑门电路再模拟 EVM 或 WASM，这本身的结构将会史诗级的复杂和庞大，也因此 BitVM 的开发复杂度极高、电路构建的工作量非常巨大。并且现阶段还缺乏成熟的开发者生态与标准化工具。
7.多路径并进，价值承载之争仍未定局BTC L2 各个解决方案在技术实现上各有侧重。例如闪电网络专注于支付效率，经过多年发展已形成成熟的节点网络，适合用于微支付和链下结算。RGB 和 RGB++ 更关注资产安全性，利用客户端验证机制保障资产状态。ZK-Rollup 路线由于大多采用成熟的 EVM 方案 + 模块的安全验证极致，目前拥有较强的可组合性与跨链拓展能力，对于 DeFi，AI Agent 等场景适应得更快。BitVM 则进一步追求极致的原生性，以不改动 BTC 共识的方式在链上实现智能合约能力，尽管仍处早期，但代表了 BTC 计算能力的一种极限尝试。
虽然目前尚未定数，但我们可以看到，真正具备长期生命力的方案，必须尽量满足三点：BTC 原生兼容性、安全性可验证、以及对上层应用的良好支持能力。并且目前技术栈的融合趋势愈发明显，比如闪电网络结合稳定币、ZK Rollup 与 RGB 的集成探索。