当前基于ETH的Layer2扩容方案，突出的 Rollup类型是：Optimistic Rollup、ZK Rollup。
今天主说用零知识密码学证明验证交易的ZK Rollup。在ZK Rollup领域最领先的团队是Matter Labs和StarkWare
ZK Rollup两大顶尖势力
zkSync和StarkWare
一、zkSync
1、简介
由Matter Labs打造的ZK Rollup二层网络，采用的 ZK-SNARKS，为简洁的非交互式知识论证，是首个被发现的零知识证明类型，现拥有zkSync 1.0和zkSync 2.0。目前B轮融资已筹 5000 万美元，投资机构：a16z、Placeholder、Dragonfly、1kx、ConsenSys。
zkSync
2、进展
zkSync 1.0 已上线一年半，目前每秒可处理2000 笔交易，未来会实现更高的吞吐量，现为Getcoin等平台服务。目前 zkSync 处理的4000万笔交易，交易成本是ETH主网的50分之一，而最近四轮 Getcoin 捐款中98%的交易使用zkSync，TVL约为5900万美元。
zkSync 2.0 是进阶版，21年5月引入 zkEVM 测试网，可将以太坊合约部署在 ZK Rollup ，实现完全可组合的智能合约，而且支持Solidity合约，Defi 和NFT 无需改代码即可运行。
10月 Curve 初始测试，并通过UniSync处理59万笔交易。很多项目已经计划在zkSync 2.0 上部署协议的最新版本，包括 Aave、1inch等，将得到Connext 和Hop 桥接的支持来获得 L2流动性。
3、目标
zkSync 现着重于让ETH主网容易过渡，让在zkEVM 上开发的人可以用ETH方程式语言 Solidity 编写智能合约。项目是完全开源, 都可以检查其GitHub存储库的源代码。
二、StarkWare
1、简介
采用的 STARK 方案(可扩展的透明知识论证)，是基于 STARK 的 ZK-Rollups 创造一种图灵完备的编程语言，称为Cairo，完全依赖哈希函数，不需要可信的设置。现拥有StarkEx和StarkNet。目前 C轮融资已筹5000万美元，投资机构：Paradigm、三箭资本、红杉资本、Alameda Research和Founders Fund。
2、进展
StarkEx
StarkEx 是其开发的 Layer2 可扩展引擎，可在ZK环境执行Cairo操作。20年6月部署在以太坊主网上，利用 STARK 为 DeFi 和游戏等提供可扩展的自托管交易。现已广泛应用于现货、永续交易、NFT 铸造和交易。
StarkNet 是ETH的一个去中心化网络，无需许可即可加入 L2 zk-Rollups，用户可以将交易发送到StarkNet 来执行，其节点和参与者将受到经济激励，以确保网络高效公平运行。
三、Validium 模式
1、StarkWare方案是zk-STARK、Validium， STARK即为zk rollup，区别是zk Rollup中的数据可用性在链上，而Validium是将其保持在链下，这使得 Validium 的交易费用异常便宜。ImmutableX就是这样一个例子，铸造和交易NFT的gas近乎为0。
2、Matter Labs zkSync 的 Validium 模式为 zkPorter， 2.0 已引入zkPorter，是个POS链。允许2.0 用户在zkPorter 上发布交易数据，zkPorter 将能够实现 20,000 TPS 的吞吐量和 100 倍的 Gas 成本降低。
四、总结
StarkWare和Matter Labs 都以 zk Rollup的形式提供尖端技术，正在推动区块链扩容、隐私和高效密码学的界限
1、StarkEx 有四个应用程序，DyDx、DiversiFi 用于交易，ImmutableX、Sorre用于NFT
2、zkSync 适用于简单转账以及NFT交易。
