以太坊Layer2解决方案汇总( 三 )

证明者：STARK Prover 为 StarkEx 可扩展性引擎提供支持，并且已经展示了在主网上的单个证明中处理 60 万笔交易的能力。验证者：STARK 验证器自 2019 年 6 月起部署在以太坊主网上。可验证任意业务逻辑证明的开罗验证器自 2020 年 7 月起部署在主网上。
Aztec Network更专注于使用零知识证明交易私有化，现在推出了一个新的第 2 层平台，该平台也使用相同的尖端密码学来提高可扩展性，它使用一种称为 zkSNARK 的 zk 证明将许多交易捆绑到一个“汇总”证明中，然后发布到主链，从而提高交易吞吐量。据Aztec 称，该网络“完全可扩展” ，每秒最多可处理 300 笔交易，为了加强隐私个性化选择，其牺牲了更快的交易速度。
其他团体正在开发旨在提高以太坊可扩展性的zk-rollup技术，据首席执行官 Tom Walton-Pocock 称， Aztecnetwork 技术的独特之处在于它还增加了“可编程隐私” 。
首先，使用 zkSNARK 将每笔交易设为私有——发送者、接收者和金额都被隐藏。然后，使用额外的 zkSNARK 将这些交易捆绑到一个汇总中。最终结果是“SNARK 中的 SNARK” ， Walton-Pocock 说，他将这种安排称为 “zk-zk 汇总” 。
Aztecnetwork的团队表示， PLONK 允许开发 “通用” zkSNARK 。 Walton-Pocock 说，这意味着 Aztec network的 SNARK 也可以被编程为“真正的任何 Defi 交互，其中产生的动作是一个令牌” 。较旧的 zkSNARK 系统，例如最初用于在 Zcash 中启用私人交易的系统，被编程为多次执行同一件事。
添加新的用例将需要一个新的所谓可信设置，即建立任何 zkSNARK（简单零知识论证）系统公共安全参数所需的复杂的多方计算过程。在首次可信设置后，使用 PLONK 开发的 SNARK用例在理论上是无限的。 Aztec Network开发了一种名为 Noir 的新脚本语言，开发人员可以使用该语言编写与 Aztec 2.0 兼容的 zkSNARK 事务。
2）Optimistic Rollup阵营
Arbitrum
Cartesi
Optimism Rollup
Fuel Labs
1/5. Arbitrum无疑在这段时间里，它是Layer2中最耀眼的靓仔，之所以能成为闪耀的靓仔，奥巴马说，这和它背后的团队也有巨大的关系，Arbitrum创始人Ed Felten此前担任普林斯顿做计算机科学的教授， 2013年进入区块链行业，一直在钻研区块链。 2014年， Ed Felten他跟他的学生做出了 “Arbitrum” 的第一个版本，这个版本在当时只是单纯的研究。
时间回到2015年，奥巴马总统邀请Ed Felten进入白宫，担任奥巴马总统的资深顾问，为美国政府服务期间的一项工作就是对加密货币和区块链研究。 2017年特朗普上任美国总统之后， Ed Felten重返学术界继续担任教授生涯，重返学校授课，刚好碰到了现在的联合创始人 Steven和Harry ，他们也是Ed Felten的学生， Steven是普林斯顿大学博士。 Ed Felten随后带领着他的学生，然后开启了对以太坊L2探索之旅，直至现在，从未间断。