网络安全检测|网络安全服务|网络安全扫描-香港墨客投资移动版

　　StarkNet浏览器是OKLink推出的第30条区块链浏览器，也是继zkSync之后的第2条ZK Rollup浏览器。据OKLink产品经理介绍，OKLink会持续发展ZK Rollup技术创新及生态布局，后续继续推出Polygon-zk、Base等知名ZK Rollup项目的区块链浏览器。

　　那可能有人会问：为什么OKLink如此关注ZK Rollup及L2赛道发展？ZK技术又是如何进化到如今的水平？下面就让我们回归本源，去探究ZK Rollup被关注的背后原因。

　　 为什么我们要关注ZK Rollup？

　　随着以太坊上部署的去中心化应用(DApp)日渐增多，链上交互活动也日益频繁，拥堵的网络和高昂Gas费让扩容势在必行。常见的扩容方式有两类：一是对区块链本身进行改造的链上扩容；二是通过将计算与交易执行放在链下，由主链负责验证交易有效性和提供安全保证的链下扩容方案，也就是我们常说的L2方案。

　　与链上扩容相比，L2扩容能大幅降低主网局限性，且不需改变主网共识。状态通道、Plasma、侧链等都曾是L2扩容曾出现的技术方案，但如今开发者们正转向以Rollup为核心的L2扩容路线图。

　　所谓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技术的进化 从zk-SNARKs到zk-STARKs  

　　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技术构建的低成本且无需信任扩容协议，用于在以太坊上进行可扩展的低成本支付。