作者:蓝狐笔记

看到 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 生态,也在于为更多生态的融合提供一个探索方向。