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