看到ZKM也进入BTC L2赛道，这条赛道会跟以太坊L2一样，会变得越来越拥挤，最终市场格局还须等待技术和市场演化的结果。 ZKM底层技术是zkVM，它的最终目标是试图让其zkVM技术被更多项目和生态所采用，从而成为底层基础设施。比如可以连接不同生态网络（以太坊、比特币、Comos等）的资产，形成更好的流动性。在这个大框架下可以更好地理解ZKM为什么要进入的BTC L2赛道。 回到技术解决方案，ZKM核心技术主要两个方面：“Entangled Rollup 架构+zkVM”。这两个方面主要解决市场上两大关注的问题：一是，如何保证资产的安全；二是，如何实现自身网络的可持续性。 目前市场很关注跨链的安全性问题，ZKM推出“Entangled Rollup Network（纠缠汇总网络）”机制，试图通过递归的零知识证明技术，来同步区块链间的状态，不依赖于传统的桥的机制来实现资产跨链。这个框架之前在以太坊上实现落地，也就是Metis的Optimistic Rollup机制。目前ZKM试图将这一思路和框架应用过来，同时根据比特币L1自身的特性进行改造，从而推出其BTC L2。当然，BTC不支持智能合约，要实现L2，挑战要大很多。ZKM试图通过Entangled Rollup 将状态汇总到ZKM网络，然后将验证的状态传递给其他生态系统。BTC的资产安全采用本地可控的模式，比如BTC由多签脚本控制，只要至少有一个诚实方存在，作恶者就无法取走质押存入的BTC；而在L2方面，则采用去中心化排序器，交易的包含和最终性都以去中心化的方式来完成，L2的交易批次的执行也计划通过BTC脚本进行验证。 ZKM引入OCP机制（Optimistic Challenge Process），部分类似于以太坊L2乐观证明的BTC L2版本。大概机制是，当用户将资产存入到L2（ZKM）时，资产会被锁定到预签名的n-of-n的多重签名脚本中，签名者一般是独立第三方/审计方。多重签名的兑换脚本在指定的挑战期后激活，签名者提前向目标用户发送资产，启动挑战阶段。在挑战阶段，签名者预先签署包含挑战脚本和资产脚本的交易。要发起挑战脚本，挑战可以通过支付输入UTXO来启动，要求运营者尝试通过向资产脚本提供中间计算跟踪来打开其承诺。如果承诺无法成功开启，则验证者将在挑战期结束后收到所有资产，或者将挑战资产给到签名者。执行跟踪则通过TapTree来提交，其中Tree的每个叶子代表一个中间值。每个中间值都是使用一次性签名计算，前值作为其输入。使用这种方法，BTC脚本直接执行此计算并完成链上资产验证。也就是说，ZKM试图通过OCP机制为链下计算提供安全性，确保L2交易包含在去中心化的排序器网络中。 zkVM一直是加密领域重要的基础探索之一，ZKM的zkVM是其中的一个类型。跟RSIC和SP1不同的区别之一是ZKM提供对Golang的原生支持。（RSIC和SP1支持Rust）ZKM允许Golang开发者使用Vanilla Golang编译器将其代码编译为MIPS指令，之后使用ZKM的证明网络证明其执行。同时，未来ZKM也计划支持Rust。 市场除了关注 BTC链上资产的安全性，还关注ZKM L2本身如何实现可持续性。要想要实现可持续，需要参与网络的各参与方有机会获得持续的收入。ZKM的BTC L2中，引入去中心化排序器的概念，这些排序器节点根据贡献获得奖励的收入。ZKM计划将其40%代币奖励给挖矿参与者（包括参与排序器节点、流动性质押、证明网络挖矿）。也就是说，排序器节点除了从L2的交易中获得gas费用之外，还可以从挖矿中获得收益。 按照目前的趋势，BTC L2方面的探索会持续下去，在原生 L2方面和EVM兼容L 2方面都会持续，原生L2方面在于内部生态张力的探索，由于其原生性有一大批忠实拥趸；而在EVM兼容L2方面，不仅在于扩展BTC生态，也在于为更多生态的融合提供一个探索方向。