1、用户转入并锁定资产,Layer 2状态树添加账户信息并生成对应资产; 2、在Rollup网络中,用户签名并发送交易; 3、排序者收集交易,压缩打包成交易包,并生成零知识证明,并按照交易包更新状态树; 4、排序者将交易包和零知识证明广播至主链; 5、智能合约通过零知识证明验证交易包的真实性,并且更新数值,执行相应的转账操作。 ZK Rollup的最大优势就是高度去中心化和验证效率高。在侧链更新状态的同时生成零知识证明,矿工运行的智能合约能够通过零知识证明验证交易包中的新状态是否源于旧状态叠加交易产生,从而实现了Layer 2数据到Layer 1去中心化的数据验证,同时因为Layer 1能快速识别来自Rollup的数据真实性,能快速完成资产的取出。 ZK Rollup的劣势在生成零知识证明的过程复杂且困难,不仅需要大量运算,而且应用的定制化开发难度大,难以实现兼容现有应用的通用平台。 Optimistic Rollup(OP Rollup)技术路线选择相信操作者提交的交易包真实性,并对欺诈的行为做出处罚。操作者需要质押了一定数量的资产,只有满足资产质押的条件智能合约才会接收其发送的交易包,任何人都可以针对交易包的真实性发布欺诈性证明,一旦欺诈行为被判定便会失去所有的质押资产。通过对排序者和质疑者的经济学激励,使系统达到安全性的平衡。 当质疑者通过重新计算状态值,发现交易包的错误时,他可以向智能合约发送一个欺诈性证明。欺诈性证明包括所有必要的信息,包括交易前的账户状态、交易对应的Merkleproof等。智能合约能够运用欺诈性证明,通过重放交易的方式检验交易包的真实性,实现欺诈交易的检验。 这种模式下的验证效率被降低了,但它的好处在于能够更容易实现通用平台,从而兼容EVM智能合约,使得开发者工作量大大减少,这使得项目迁移的难度大大降低,为OP Rollup项目占领Layer 2蓝海提供了先天优势,也能最快速度地解决以太坊网络的燃眉之急。 OP Rollup机制的缺点在于欺诈证明机制使得资产的存入和转出都需要等待较长的质疑期,因为一旦合约中储存的资产离开Rollup合约后,就不太可能进行交易的回滚和资产的追回了。相较于ZK Rollup,Optimistic Rollup的验证效率低,交易压缩率也更低,因此扩容能力也更差。 以太坊Layer 2扩容路线脉络梳理,机制传承而非一蹴而就 从侧链扩容到Rollup机制,不难发现这些技术路线之间并不是泾渭分明,而是一种相互融合的演化发展。最新的Optimistic Rollup机制中的欺诈性证明,早在状态通道扩容中就有类似的机制。而通过锚定主链来保护侧链的资产安全性,也从最开始的Plasma方案传递到了Rollup技术路线。而跨链机制更是在大部分技术路线中都有运用。 (责任编辑:admin) |