ZKM的创新之作:EntangledRollupNetwork如何实现安全的BTC跨链迁移?

转载
175 天前
8259
链上观

文章转载来源: 链上观

如何理解由@ProjectZKM 推出的Entangled Rollup Network?简单而言:它是一个基于zkVM通用执行层构建的可交互通信统一流动性网络。在BTC layer2赛道极度匮乏Native跨链方案的当下,我们也可视它为一个可实现资产原生跨链迁移的BTC layer2解决方案?接下来,从技术视角谈谈我的理解:

1)ZKM是一个General-Purpose通用ZK执行层,通过ZK技术实现了计算层和验证层的分离,计算层可以在链下环境高效运算,而只把Proof证明上传到链上,在链上验证结果是否正确。ZKM通过为各个链提供模块化的ZK执行层,可以发挥ZK技术的去中心化信任潜能,让其成为Zero layer通用执行层,作为“上游”技术服务方,为各个需要信任的异构链提供ZK技术支持。

Entangled Rollup Network则是ZKM推出的一个通用化可交互操作层,在ZK执行层+验证层的基础上,构造了一个去中心化的中继Relay网络,负责不同链之间的跨链信息通信和资产结算。

ZKM可以被视为一个底层硬核技术框架,Entangled Rollup Network则会把zkVM的执行和验证能力具体落地到一些跨链结算和通信应用场景中。

在EVM同构链或异构但却支持智能合约的多链之间,Entangled Rollup Network只需要一套中继器协议来分管不同链上的智能合约来实现资产的统一调度和管理,而在Non-EVM且不支持智能合约的BTC链之间,才是考验Entangled Rollup Network跨链解决方案能不能释放zkVM潜能的关键。

2)更long-term视角看,Entangled Rollup Network是一个可以让以太坊最终成为通用结算层的可交互操作性网络,类似于Cosmos的IBC中继器网络,可以实现全链复杂环境的资产跨链和通信能力。因为它确实可以基于zkVM的模块化的执行层设计,让异构链之间实现“信任”。

我在此前一篇文章中有特别说明,zkVM让新锐以太坊layer2项目 @MetisL2 实现了在OP-Rollup上附加ZK特殊Router,一种可快速Withdraw的混合Rollup能力。这是zkVM在以太坊生态可实现的创新突破,它可以让以太坊主网和layer2之间实现ZK跨链信任机制构建。

理论上,ZKM的通用ZK执行层能力可以把以太坊作为统一结算(宇宙)中心,而Entangled Rollup Network相应地则会成为一个连接多链环境的一个中继器网络,可以为不同链搭建一个统一的liquidity流动性网络中心。

抛开ZKM和Entangled Rollup Network长周期可实现的事情。从更垂直聚焦视角看,我们也可以把 Entangled Rollup Network仅仅视为一个可以赋予BTC主链原生资产迁移能力的BTC layer2。使其为上百条BTC layer2项目提供Native BTC 跨链服务,成为BTC layer2生态的一个共享可交互操作性层。

3)就以BTC layer2跨链场景为例,Entangled Rollup Network如何实现Native BTC跨链呢?How it works?恰如ZKM Founder @kevinliub 在下文中所说,一个绝对安全的BTC layer2跨链方案应该有两点关键因素:

1、BTC主网上的资产应通过多重签名实行脚本控制;

2、BTC layer2的Sequencer应该实现去中心化,且存在一个由主网脚本参与的挑战者机制。具体而言:

第一步:用户若要向BTC layer2进行跨链交易,需要先在BTC主网创建一笔委托交易,即一个Commitment,承诺将资产委托给Entangled Rollup Network代为“托管”,该委托交易会被Entangled网络节点监听并记录;

第二步:zkVM链下执行生成相应的状态根并记录该委托交易的状态转移过程,并在Entangled网络生成相应的Wrapped BTC;

第三步:Entangled网络会根据用户委托交易中的信息在BTC主网上创建一笔存证交易,包含zkVM执行生成的Proof证明和状态根Hash并保存在比特币主网OP_Return数据中;

第四步:zkVM执行生成Proof证明会经Proof Network进行分布式验证,以证明过程中的状态迁移数据真实有效;

第五步:Entangled Rollup Network有一套完全去中心化的Sequencer交易排序和处理系统,Sequencer节点会在主网质押BTC保证金且在网络内质押相应治理代币以参与网络治理;

第六步:当用户从BTC layer2提BTC回主网时,经过一系列的状态验证和确认后,可以获得由Entangled节点存证在BTC主网中的资产,进而实现了原生资产的安全退出。

4)整体而言:Entangled Rollup Network通过一套可信且安全的Peg-in和Peg-out机制,让用户实现了资产的安全跨链和转移。技术理念和RGB原生协议依赖的向主网发布状态Commitment以及通过后续的状态承诺Unlock锁定资产别无二致。区别就在于RGB要基于一个无中心组织的客户端P2P网络,而Entangled Rollup Network则需要通过一套质押且使用zkVM构建信任的中继器网络。

问题来了,若Sequencer篡改Peg-out之前的状态迁移数据导致账本混乱怎么办?因此Sequencer必须要去中心化,且要有一套时刻挑战Sequencer工作安全有效性的挑战者机制。

Entangled Rollup Network定义该挑战机制为 OCP(Optimism Challenge Process),任何用户和节点在任意时间点都可以向主网传入layer2网络的交易数据状态片段来向主网脚本锁定的承诺发起挑战,若layer2数据和主网承诺不一致,则挑战成功,节点质押在主网的资产会被罚没。以此方式来实现去中心化Sequencer的不会主观作恶性。

以上。

正如前文所言,ZKM的这套可交互操作网络理论上可以作用到全链环境下,成为新一代“链抽象”的底层基础设施;当然,其也可以作用在当下一片欣欣向荣繁荣态势却没有Native 资产跨链解决方案的BTC layer2领域。而后者用来服务BTC 生息赛道简直再合适不过了。