Layer 2概念在2023年夏天迎来爆发。Coinbase、ConsenSys等加密巨头纷纷下场,其部署的原生L2解决方案Base、Linea在过去两个月内相继完成主网上线;被誉为L2 四大天王之一的StarkNet也在夏天顺利完成“量子跃迁”升级,大幅提升交易性能与效率,顺利迈入发展新阶段。
在属于L2的盛夏,欧科云链OKLink正式推出了ZK Rollup明星项目StarkNet区块链浏览器。这是OKLink上线的第30条区块链浏览器,OKLink也由此正式集齐了曾被誉为L2 四大天王的Optimism、Arbitrum、zkSync和StarkNet。据悉,OKLink后续还将推出Polygon-zk、Base等ZK系L2区块链浏览器,为所有关注和参与ZK Rollup和L2生态建设的用户提供更全面和更丰富的链上数据洞察及服务。
作为ZK Rollup赛道中估值最高和市场占比最大的项目之一,自 2021 年 11 月主网启动以来,StarkNet生态系统已囊括诸多场景,众多钱包、DeFi、GameFi和NFT项目都构建在其区块链网络中。StarkNet生态正加速拓展并更加充满活力,被业务认为有潜力成长为L2赛道的领跑者之一。
与其他扩容项目相比,除了使用zk-STARK技术作为证明系统外(下文将进行介绍),StarkNet在数据可用性以及账户体系设计方面也有所不同。
ZK Rollup本身相较于Optimistic Rollup的一个重要优势就是拥有更高效的数据可用性。事实上,数据上链到L1主网进行验证是非常重要的:只有数据上链才能在区块链浏览器上查询每一笔交易,从而保证交易是可溯源和可验证的,进而提升区块链网络的安全性。在Plasma以及之前的状态通道这两种扩容方案中,数据和计算完全放到L2网络中,当L2网络和以太坊进行交互时,L2的所有交易数据都并不包含在内。这导致以太坊如果脱离了L2网络,就无法复原之前状态变更的情况,因此以太坊数据可用性非常依赖对L2的数据保护。
Layer1区块链Linera完成600万美元融资:8月16日消息,Meta 前员工创建的 Layer1 区块链 Linera 完成 600 万美元融资,Borderless Capital领投。新资金将用于扩大团队、启动该协议的开发网和测试网,并在亚太地区培养战略影响力,同时继续发展其开发者学院。[2023/8/16 21:27:47]
StarkNet目前则提供了三种数据可用性模式,即
1、Rollup方案:账本直接发布在区块链上,保证链上数据可用性,但由于主网消耗的gas成本大部分用于数据可用性的储存,而非验证证明,所以这种方案更昂贵;
2、Validium方案:由数据可用性协会 (DAC) 确保账本安全,只有哈希值保存在链上,这种模式由于链上存储的数据量降低,成本也大幅缩减,但其牺牲了去中心化,仅适合用于非重要交易的数据可用性。
3、Volition方案:用户在发起每笔交易时都可以选择该笔交易的 DA 模式,Rollup 或 Validium,更加灵活。
由于具有更高效的数据可用性,用户可以更便捷地借助OKLink StarkNet浏览器等工具查询链上交易详情。
除此之外,OKLink最新上线的StarkNet浏览器还能提供丰富的区块和地址信息,帮助用户快速了解StarkNet网络的实时状况。
BitDAO 模块化以太坊 Layer2 网络 Mantle 启动测试网:1月10日消息,BitDAO 模块化以太坊 Layer 2 网络 Mantle Network 宣布启动测试网。Mantle 通过 Rollups 从以太坊获得安全性,并正与合作伙伴 EigenLayer 构建单独的数据可用性层。
据悉,Mantle Network 堆栈包含三层,一层用于交易执行,而另外两层分别处理交易的完成和数据可用性。Mantle 的交易费用将使用 BIT 代币支付。开发人员需要填写表格才能获得 Mantle 测试网的访问权限。[2023/1/10 11:04:08]
在账户体系方面,StarkNet是现阶段少数支持账户抽象的区块链基础设施。目前,帐户抽象在以太坊和 StarkNet 上均可实现,但实现方式有所不同:以太坊是在不忽略外部账户(EOA)功能的情况下,通过 ERC-4337 添加帐户抽象,而StarkNet直接将帐户抽象作为核心,摆脱EOA可能会带来的影响,直接跃入每个帐户都是智能帐户的世界。
这种模式要求StarkNet的所有基础设施,包括钱包和区块浏览器,都是为帐户抽象而设计并构建的:这在所有 L1 和 L2 链中都是独一无二的;但由于只支持账户抽象,也让StarkNet用户在与其他区块链交互过程中产生困难,因为其他区块链现阶段可能还并不支持账户抽象,更多还是通过将 EOA与帐户资产链接,从而与区块链交互并拥有资产。
欧科云链OKLink浏览器是目前可提供账户抽象解析为数不多的选择,也是唯一支持查询用户操作的可视化窗口。通过欧科云链OKLink多链浏览器,用户就可以像使用谷歌一样来查询账户抽象的有效信息,了解区块链上交易和合约执行的相关信息,包括交易费用、合约执行的相关信息和日志,从而更好地了解智能合约的执行情况等等。
Celsius破产案独立审查员已定由Shoba Pillay担任,其将制作Celsius财务状况报告:9月30日消息,美国联邦法官Martin Glenn已签署一项新命令,批准美国受托人关于“任命Shoba Pillay为Celsius破产案的独立审查员”的申请。
Shoba Pillay是Jenner & Block律师事务所的合伙人,她是该事务所数据隐私和网络安全业务的联合主席,也是该公司调查、合规和国防业务以及国家安全、制裁和出口管制业务的合伙人。Pillay将就Celsius的加密资产存储、客户账户管理、挖矿业务状况和税务问题制作一份报告。
此前消息,Celsius已在7月申请破产保护,9月15日消息,美国联邦法官裁定允许美国受托人办公室任命一名独立审查员来调查Celsius破产案。(The Block)[2022/9/30 6:04:57]
无论是真实参与StarkNet链上交互的普通用户,还是希望未来参与空投活动的投机者,如今都可以通过OKLink提供的StarkNet浏览器查询链上交易进度,并通过多链聚合功能和多维度统计数据实现精准的账户抽象跨链交互和数据查询,这是官方浏览器所无法比拟的。
StarkNet浏览器是OKLink推出的第30条区块链浏览器,也是继zkSync之后的第2条ZK Rollup浏览器。据OKLink产品经理介绍,OKLink会持续发展ZK Rollup技术创新及生态布局,后续继续推出Polygon-zk、Base等知名ZK Rollup项目的区块链浏览器。
OKX Blockdream Ventures战略投资Klay Kingdoms:据官方消息,OKX Blockdream Ventures宣布战略投资元宇宙GameFi平台Klay Kingdoms。 Klay Kingdoms 是一个元宇宙GameFi/MetaFi项目,用户在享受有趣的战略RPG游戏的同时,可以利用游戏内的DEX和NFT资产获得额外收益。 对于此次合作,OKX Blockdream Ventures创始人Dora表示,我们很高兴参与Klay Kingdoms的投资。我们看好GameFi赛道的长期发展,已于2021年年初开始重点布局这一领域。Gamefi将DeFi 融合到游戏中,使DeFi 游戏化,使Game更有趣味性,从而促进Game 生态的发展;同时,Gamefi通过提供流动性挖矿等方式,让玩家拥有了更多的入场方式,获得更多的收益。[2022/5/6 2:54:40]
那可能有人会问:为什么OKLink如此关注ZK Rollup及L2赛道发展?ZK技术又是如何进化到如今的水平?下面就让我们回归本源,去探究ZK Rollup被关注的背后原因。
随着以太坊上部署的去中心化应用(DApp)日渐增多,链上交互活动也日益频繁,拥堵的网络和高昂Gas费让扩容势在必行。常见的扩容方式有两类:一是对区块链本身进行改造的链上扩容;二是通过将计算与交易执行放在链下,由主链负责验证交易有效性和提供安全保证的链下扩容方案,也就是我们常说的L2方案。
与链上扩容相比,L2扩容能大幅降低主网局限性,且不需改变主网共识。状态通道、Plasma、侧链等都曾是L2扩容曾出现的技术方案,但如今开发者们正转向以Rollup为核心的L2扩容路线图。
EthHub联合创始人:今年的热点是Layer2、NFT、DeFi、稳定币和链游:EthHub联合创始人Anthony Sassano发推称,2021年是属于Layer2、NFT、DeFi、稳定币和链游的一年。换句话说,2021年是属于以太坊的一年。[2021/2/24 17:48:42]
所谓Rollup,是指将交易执行外包给L2,然后将多笔交易数据捆绑后进行压缩,并将它们和状态根发送到L1网络进行验证和确认。Rollup用一次性验证多笔交易提升性能,并通过向L1同步交易数据和网络状态,保证链上数据可用性的同时得到主链安全性保证。
这依旧很抽象,不妨用个形象的例子类比:
小欧在公司附近的商场办了张购物卡,并充值了2000元,每次去消费时只需要直接刷购物卡而不需要用银行卡支付。一个月后小欧不打算继续在这家商场购物,注销购物卡时余额还有200元,于是就将余额提现到自己的银行卡。
在这一个月的消费过程中,小欧的银行卡只与商场账户交互过两次,期间所有消费都在商场内部系统内完成。这种方式大幅降低银行网络所承载的结算压力,Rollup类似地也能降低主网交易压力。
在 Rollup提出前,Plasma等扩容方案不会将L2中发生的数据发送给主链储存验证,只会提交一个最终的状态结果。这就导致结果不可验证,就像是商场只向你提供最后余额,但不给你交易明细。
Rollup则会将数据提交给主链,但它会通过聪明的编码方式,最大限度地压缩数据,同时基于Rollup本身特性适当删除和缩减部分数据,只保证最终提交的数据可供所有人验证。
根据交易数据同步到L1的方式不同,Rollup通常分为ZK Rollup和OP Rollup两种方案。ZK Rollup的关键在于“质疑一切”,这与 OP Rollup 的“乐观的假设所有人都不作恶”形成对比。
回到上面的例子,ZK Rollup和OP Rollup的差别就像是:
如果小欧最后提取余额后,并没有检查明细,而等到未来某天突然察觉到不对劲时再去检查,就类似于OP Rollup;但如果小欧在提取余额时,就要求商场提供一份交易明细文件以确保余额的准确性,那就类似于ZK Rollup。
虽然OP Rollup由于技术实现难度较低且与以太坊兼容性更高,现阶段在交易体量和市场份额等方面均处于领先位置。但由于使用欺诈证明机制,OP Rollup方案的提款时间和安全性目前来看值得商榷,其成本优化相比ZK Rollup也略逊一筹。而ZK Rollup的弱点基本都属于技术问题,随着大量优秀的开发人员投入到相关研究,凭借理论中更高的安全性、更快的验证效率和更好的数据可用性,ZK Rollup或许在未来会成为更优秀的扩容选择。
ZK Rollup是基于ZK技术落实Rollup的L2解决方案,项目间的主要差异就在于采用的ZK技术不同。目前市面上主流的ZK技术包括三类,分别是zk-SNARKs、zk-STARKs以及Bulletproofs。其中,zk-SNARKs和zk-STARKs在ZK Rollup扩容方案中都有所应用(注:Bulletproof曾被用于隐私币的设计当中)。
zk-SNARKs技术是由加州大学伯克利分校教授 Alessandro Chiesa等人于2012年在论文《From extractable collision resistance to succinct non-interactive arguments of knowledge, and back again》中提出,是最早和最受欢迎的ZK方案之一,也是目前在区块链领域应用最广泛的ZK技术。SNARKs是一种非交互性质的证明,验证者只需使用由证明者生成的 proof 即可获得验证结果。知名ZK Rollup项目zkSync等都是基于zk-SNARKs技术构建的低成本且无需信任扩容协议,用于在以太坊上进行可扩展的低成本支付。
但ZK-SNARKs存在一些问题,如该技术使用椭圆曲线密码学 (ECDSA) 进行加密,虽然ECDSA算法目前是安全的,但量子计算机的发展可能会打破其安全模型;此外,zk-SNARKs在密钥生成阶段需依靠可信设置,可能存在中心化风险。因此,2018年StarkWare联合创始人Eli-Ben Sasson在论文《Scalable, transparent, and post-quantum secure computationalintegrity》中提出了一种新的ZK技术方案:zk-STARKs。
zk-STARKs是zk-SNARKs算法的一种技术演变,解决了SNARK依赖可信设置的弱点,可以不依赖任何信任设置来完成区块链验证,从而降低启动网络的复杂性并消除任何串通风险。同时,zk-STARK 使用更精简的加密方法,避免了椭圆曲线、配对和指数假设知识的需要,而是依赖散列和信息理论,因此理论上能够抵御量子攻击。
被称为L2四大天王之一的StarkNet目前采用的就是SATRK有效性证明来解决以太坊可拓展性难题。
除底层技术不同外,当前ZK Rollup项目都是将交易数据生成ZKP发送到主链再被验证,项目间的直接差异更多体现在和EVM的兼容性方面。
根据改造程度和EVM兼容程度,Vitalik将目前的ZK Rollups分为以下等级:
一般来讲,和以太坊/EVM兼容性越好的方案,所需的设计重构工作量越小,但后续工作中的生成ZK验证计算工作量越大。但作为当前的 ZK Rollup 赛道的两大绝对龙头项目,无论是StarkNet还是zkSync,现阶段都只属于高级程式语言等效的ZK Rollups。不过,尽管StarkNet 本身并不兼容EVM,但可以通过包括 Kakarot(Kakarot 是一个用 Cairo 写的 zkEVM,是一个字节码等效 EVM 的 zkEVM)等其他方式兼容以太坊,从而降低开发难度。
总结
ZK技术可能是我们这个时代最被低估的技术之一,与铺天盖地的人工智能和大数据技术相关的新闻宣传不同,ZK技术至今少有人问津。但尽管如此,这项技术仍然是一项伟大创新,因为它为我们在个人信息无处藏身的大数据时代带来了宝贵的隐私保障。而作为当前ZK技术在区块链领域的重要应用方向,ZK Rollup还有望解决限制区块链大规模应用的最大难题,让更多Web3创新能在现实中的复杂商业环境中得到广泛应用。
欧科云链
企业专栏
阅读更多
白话区块链
神译局
Gryphsis Academy
CertiK中文社区
新浪科技
元宇宙之心
金色早8点
Web3小律
MarsBit
ForesightNews
吴说区块链
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。