重振以太荣光,ZK Rollup义不容辞
0xa46d
December 9th, 2021
ZK Rollup两大顶尖势力
ZK Rollup两大顶尖势力

上一篇文章大概讲了下当前基于ETH的几种Layer2扩容方案,其中有两种类型的rollup比较突出Optimistic rollup和zk rollup。今天我们重点讲解一下使用零知识密码学证明来验证交易的zk rollup。当前,在ZK rollup领域中最领先的两个团队是Matter Labs和StarkWare。

zkSync和StarkWare
zkSync和StarkWare

zkSync

zkSync是由Matter Labs打造的zk rollup二层网络,它采用的zk rollup类型是ZK-SNARKS,全名为简洁的非交互式知识论证(Succinct non-interactive arguments of knowledge),也是第一个被发现的零知识证明类型,专注于隐私保护的区块链项目Zcash(ZEC)早在2016 年就采用ZK-SNARKs。

Matter Labs拥有zkSync 1.0和zkSync2.0。目前Matter Labs在B轮融资中筹集了5000 万美元,投资机构包括a16z、Placeholder、Dragonfly、1kx、ConsenSys。

zkSync
zkSync

zkSync 1.0已上线支付1.5年,在其目前的迭代中宣称每秒可处理2000 笔交易,并希望在未来实现更高的吞吐量。当前主要为Getcoin等平台提供服务,用户可以将资金存入该网络并于其他zkSync账户之间进行交互转账,而成本只是以太坊主网的一小部分,目前,zkSync已处理了4000万笔交易,降低主网转账成本约50倍,在最近的4轮Getcoin捐款中98%的交易使用了zkSync,TVL约为5900万美元。

zkSync2.0是初始zkSync网络的下一个版本,今年五月份的时候引入了zkEVM测试网,这是一个模拟了以太坊环境的虚拟机,它允许将以太坊智能合约部署在zk rollup上,其目的是在zk rollup上实现完全可组合的智能合约,支持Solidity智能合约,大多数Defi和NFT项目无需更改代码即可运行。今年十月份,zkSync2.0测试网上线,Curve Finance成为了初始的测试应用,并通过UniSync(Uniswap V2的一个分叉)处理了59万笔交易。很多项目已经计划在zkSync2.0上部署他们协议的最新版本,包括Aave、1inch等各种协议,它也将得到Connext和Hop等桥接的支持来获得L2流动性。

zkSync 目前着重于让Ethereum 主网的过渡尽可能容易,那些想在zkEVM 上开发的人可以使用以太坊程式语言Solidity 编写智能合约。zkSync 的项目都是完全开源的, 任何人都可以检查他们的GitHub存储库的源代码。而且团队说自己被替代掉也无所谓, 只要能推动社区和以太坊的发展。

StarkWare

StarkWare是一家以色列的公司,采用的ZK-Rollup 方案为STARK,全名为可扩展的透明知识论证(Scalable transparent arguments of knowledge),该公司的两位联合创始人EliBen-Sasson和Michael Riabzev 共同发明了这项技术,StarkWare 为基于STARK的ZK-Rollups 创造了一种图灵完备的编程语言,称为Cairo,STARK 完全依赖哈希函数,不需要可信的设置。

STARK通过允许开发人员将计算和存储移出链来提高可伸缩性。链外服务将能够生成 STARK 证明, 证明链外计算的完整性。然后, 这些证据被放回链上, 供任何利益相关方验证计算. 使用 STARK 将大部分计算工作移出链,允许现有区块链基础设施以指数级扩展, 同时保持计算完整性。

StarkWare拥有StarkEx和StarkNet。当前StarkWareC轮融资中筹集了5000万美元,投资机构包括Paradigm、三箭资本、红杉资本、Alameda Research和Founders Fund。

StarkEX
StarkEX

StarkEx 是由StarekWare开发的一个layer2可扩展引擎, 可以在ZK环境中执行Cairo操作。自 2020 年 6 月起部署在以太坊主网上,StarkEx 利用 STARK 技术为 DeFi 和游戏等应用程序提供可扩展的自托管交易。 StarkEx 已广泛应用于现货交易, 永续交易以及 NFT 铸造和交易。

StarkNet 是以太坊上的一个去中心化, 无需许可即可加入且抗审查的 L2 zk-Rollups,它基于图灵完备的Cairo语言,并通过Solidity&Cario编译器提供EVM兼容功能,开发人员可以构建应用程序来实现 App 业务逻辑并部署在StarkNet上,用户可以将交易以与以太坊正常交易相同的方式发送到StarkNet 来执行,StarkNet节点和参与者将受到经济激励,以确保网络高效公平运行。

StarkWare有两种方案,zk-STARK和Validium,这两者不是同一个事物,STARK即为zk rollup,是零知识证明的一种。而Validium和zk Rollup非常相似,这两个的区别就是zk Rollup中的数据可用性在链上,而Validium是将其保持在链下,这使得Validium的交易费用异常便宜。ImmutableX就是这样一个例子,铸造和交易NFT的gas近乎为0。

Matter Labs zkSync 的 Validium 模式称为zkPorter,zkSync2.0还引入了zkPorter,这是一个pos链,在这个方案中,它允许zkSync2.0用户在zkPorter而不是以太坊上发布交易数据,Matter Labs 团队声称,zkPorter 将能够实现 20,000 TPS 的吞吐量和 100 倍的 Gas 成本降低。

总结

StarkWare和Matter Labs都以zk Rollup的形式提供了具有尖端技术的技术,这些技术正在推动区块链扩容、隐私和高效密码学的界限,StarkEx有四个应用程序,DyDx和DiversiFi用于交易,ImmutableX和Sorre用于NFT,而zkSync 适用于简单转账以及NFT交易。

Arweave TX
CKAtzHyeylJ1xiA1ULSH7GrkYtzRP8SQkBqPPsXnGl8
Ethereum Address
0xa46d84e8e178490928298a5B9f13Eaea638A2cB0
Content Digest
Fk8jLDerNNrDX0sMJ82kVIjKgPbCwMubq-nJezjDQXs