BTC L2赛道迎来新玩家，ZKM携zkVM技术加入竞争

随着ZKM进军比特币L2领域，这个赛道正变得愈发拥挤，其最终格局仍需等待技术和市场的进一步演化。

ZKM的核心技术是zkVM，其长远目标是使该技术被更多项目和生态系统采用，从而成为底层基础设施。这种技术有望连接不同生态网络的资产，如以太坊、比特币和Cosmos等，以创造更好的流动性。这也解释了ZKM为何选择进入BTC L2赛道。

ZKM的技术解决方案主要聚焦于两个方面："Entangled Rollup架构"和"zkVM"。这两项技术旨在解决市场上的两大核心问题：如何保证资产安全，以及如何实现网络的可持续性。

鉴于市场对跨链安全性的高度关注，ZKM提出了"Entangled Rollup Network（纠缠汇总网络）"机制。该机制通过递归的零知识证明技术来同步不同区块链间的状态，避免了传统桥接机制在资产跨链时的潜在风险。这一框架此前已在以太坊上实现，即某平台的Optimistic Rollup机制。ZKM现正尝试将这一思路应用于比特币L2，并根据BTC L1的特性进行相应调整。

考虑到比特币不支持智能合约，实现L2面临更大挑战。ZKM计划通过Entangled Rollup将状态汇总到其网络，然后将验证后的状态传递给其他生态系统。在BTC资产安全方面，采用了本地可控模式，如使用多重签名脚本控制BTC，只要有一个诚实方存在，就能防止恶意行为。L2层面则引入去中心化排序器，以去中心化方式完成交易的包含和最终确认，并计划通过BTC脚本验证L2交易批次的执行。

ZKM还引入了OCP（Optimistic Challenge Process）机制，这可视为以太坊L2乐观证明的BTC版本。当用户将资产存入L2时，资产会被锁定在预签名的多重签名脚本中，签名者通常是独立第三方或审计方。多重签名的兑换脚本在指定挑战期后激活，签名者提前向用户发送资产并启动挑战阶段。在此期间，可通过支付输入UTXO发起挑战，要求运营者通过提供中间计算跟踪来验证其承诺。如果验证失败，验证者将在挑战期结束后获得所有资产，或将资产转给签名者。执行跟踪通过TapTree提交，每个叶子代表一个中间值，使用一次性签名计算。这种方法允许BTC脚本直接执行计算并完成链上资产验证。

zkVM一直是加密领域的重要研究方向之一，ZKM的zkVM是其中一种。与其他类似技术不同，ZKM提供对Golang的原生支持。这允许Golang开发者使用标准编译器将代码编译为MIPS指令，然后使用ZKM的证明网络进行验证。未来，ZKM还计划支持Rust语言。

除了关注BTC链上资产安全，市场还关注ZKM L2本身的可持续性。为此，ZKM引入了去中心化排序器概念，这些节点可根据贡献获得奖励。ZKM计划将40%的代币奖励给参与挖矿的各方，包括排序器节点、流动性质押和证明网络挖矿。这意味着排序器节点除了从L2交易中获得gas费用，还可从挖矿中获得额外收益。

目前，BTC L2领域的探索仍在继续，包括原生L2和EVM兼容L2两个方向。原生L2侧重于内部生态系统的发展，拥有一批忠实支持者；而EVM兼容L2不仅扩展了BTC生态，还为多个生态系统的融合提供了新的探索方向。