https://zeroknowledge.fm/the-l2-roundup-discovering-new-things-about-ethereum-l2-platforms/
安德烈·舍甫琴科
我们刚刚结束了一个关于（主要是）以太坊 L2 的几乎意外的 ZK 播客系列。
我们刚刚结束了一个关于（主要是）以太坊 L2 的几乎意外的 ZK 播客系列。我们不太确定这是怎么发生的，但在模式显现出来之后，我们决定顺其自然。 （“我们到底是谁，”你可能会问。几周前我作为制片人加入了 ZK 播客，所以我在与 Anna 合作时处理了这些剧集的一些后端工作。）
以太坊的第二层解决方案被吹捧为可扩展性的圣杯，尤其是在以太坊路线图 在可预见的未来排除了执行分片之后。新的“以汇总为中心的路线图”将使以太坊成为一个“共识即服务”和数据可用性层，为第二层解决方案提供非常强大的安全保证和一大堆数据存储空间，这将是负责实际缩放的人。
过去几周我们交谈过的（大多数）L2 的美妙之处在于它们甚至不需要自己去中心化。欺诈或有效性证明形式的加密保证确保 L2 上发生的任何事情都是可验证的，并且任何不当行为要么是不可能的，要么会迅速回滚。当然，关键假设是主链的安全性和去中心化永远不会受到损害。
现在让我们更深入地了解（不分先后）这些 L2 中的每一个，看看它们有何不同，以及我们的对话发现了哪些有趣的事实。
查看 第 176 集 关于 Aztec 的“zk-zk-rollup”。
我们与 Aztec 的 Zac Williamson 和 Joe Andrews 在他们推出 zk.money 后不久进行了交谈，他们称之为“zk-zk-rollup”平台，因为它将可扩展性和隐私性结合到一个 L2 中。从这个意义上说，它是一款非常独特的产品，具有更加独特的技术堆栈。
我建议阅读阿兹台克人自己 关于 该主题的文章，其中提供了对开发的非常容易理解和透彻的解释。在 zk 方面，该平台需要开发 TurboPLONK，它添加了 AND 和 XOR 门，以及优化的范围检查和其他改进，足以使其与以太坊一起使用。
另一个有趣的花絮是将所有这些证明基础设施打包到浏览器设置中是多么困难。当然，他们使用了 WebAssembly，但即使这样还不够。例如，Wasm 不支持多线程，因此他们必须通过启动单独的 Web 流程实例来模拟这一点。对话中有很多技术信息，我会在这里总结一下，所以我鼓励你听听这一集。
Zk.money 现在为许多以太坊资产提供 Zcash 级别的隐私，打包在可扩展的汇总中。但值得一提的是，这仍然只是 Zac 所说的“开始的结束”。Aztec 的目标是拥有私人可编程货币，为此我们需要可用的私人智能合约。这就是 UltraPLONK 和 Noir 研究的用武之地，这应该让我们更接近让它们在以太坊环境中工作。但正如 Zac 所指出的，制作私有 DeFi 协议存在许多陷阱。想象一下，不知道 Maker CDP 的余额——你如何期望清算人知道何时采取行动？
这是一个非常令人兴奋的方向，我真诚地相信我们都会在几年内使用私人智能合约平台。也就是说，到达那里的路似乎还很长。
查看 来自 Optimism 的 Ben 和 Mark 的 第 177 集，以及 关于 Arbitrum 的 Optimistic Rollup 的第 179 集。
我们最近在节目中有两个 Optimistic Rollup 建设者，加入了之前 与 Fuel 的 John Adler 的一集。
对于一些背景知识，zk-Rollups 可以被归类为一种非常有前途和有效的可扩展性技术，它依赖于尖端的密码学——如此尖端以至于起初它们似乎太不切实际而无法用于生产环境，尤其是在部署智能合约。Optimistic Rollups 在某种程度上与此截然相反。从密码学的角度来看，它们相当简单，至少在他们使用标准密码学的意义上。这允许 Arbitrum 和 Optimism 团队设计完全兼容 EVM 的汇总，这意味着现有的 dApp 只需进行最小的更改即可移植其合约。但 OR 涉及一些值得探索的可用性和安全性妥协。
乐观机制非常有趣，因为它主要使用博弈论的抑制机制。本质上，这些 L2 的设计方式允许以太坊主链以加密方式验证其状态转换。由于一直这样做成本太高，该系统是“乐观的”——它假设状态转换是有效的，但允许一周的挑战期，在此期间任何人都可以提交一份欺诈证明，说明声称的历史交易的数量与正在发布的状态不兼容。由于欺诈证明在数学上是可验证的，因此以太坊区块链自动解决有利于观察者的争议并奖励他们由排序器（本质上是 L2 块生产者）提供的部分保证金是（大部分）微不足道的.