这是 ZK-Roller-Coaster 的第一版,我们追踪和调查前两周最令人兴奋、最有意义和最疯狂的 ZK 内容。

期待什么?新的和正在进行的 ZK 研究讨论和提案、新项目、现有和受人喜爱的项目的更新、ZK 戏剧、一些教育性观看和写作、建造者的机会以及好奇者的谜题。不是每次都有这些,但会不时出现所有这些。

让我们从第一版 ZK-Roller-Coaster 开始吧!坚持住!🎢

本周香料🌶️

  • 显然没有人真正知道 rollup 到底是如何运作的!Optimism 的 Kelvin 就他的 rollup 思维模型做了一个很好的演示,并断言 ZK Rollups 并不存在!太可怕了!(但据他所说,optimism rollups 也不存在……它们都只是 rollup)。

ZK 和 rollups 研究🧙

  • ethresearch 线程关于“基于”或“L1 排序”汇总(由 Justin Drake 撰写)。TLDR:“我们重点介绍了我们称为“基于”或“L1 排序”的汇总的一个特殊子集。此类汇总的排序(基于排序)极其简单,并继承了 L1 活性和去中心化。此外,基于汇总在经济上特别符合其基础 L1。” Taiko 支持尽可能去中心化的方法,完全依赖以太坊来实现排序器/提议者的去中心化。

  • ethresearch 提案:使指定验证者签名在以太坊上兼容(由 Shrey Jain 和 Enrico Bottazzi 撰写)。Enrico 的帖子中有简短摘要。

  • ethresearch 提出了一种新的基于 ZK 的跨汇总通信协议 (由 LimeLabs 的 Daniel Ivanov 提出)。

  • 0xPARC 社区维护的使用 ZK 加密的应用程序中的错误、漏洞和攻击的集合。

  • Alex Stokes 发表了“知识系统化”的草稿:当我们谈论“排序”时我们的意思是什么?这项工作正在进行中,欢迎您随时做出贡献。

ZK 和 rollups 更新🎈

  • Espresso Systems 发表了一篇论文(由 Ben Fisch 和 Benedikt Bünz 撰写),介绍了一种用于汇总去中心化的工具 Espresso Sequencer。

  • Avail,即 Polygon 数据可用性解决方案,将完全从 Polygon Labs 中分离出来。

  • Geometry 提出了 Semacaulk,一种节省 gas 的零知识集成员协议。

  • Succinct Labs 为以太坊推出了 Telepathy、去中心化且安全的 zkSNARK 互操作性协议。

  • Sismo 推出了 zkConnect = anon auth + 选择性数据披露。

  • Porçu Quine(Filecoin Proofs 团队)推出了 Lurk,一种基于 LISP 的新型 zk-SNARK 编程语言。

  • Arbitrum 宣布启动 DAO 治理。

非 ZK 行业亮点

  • 回顾(由 Tim Beiko 撰写)并记录上次以太坊执行层会议(设定 Shapella 主网日期(!!)、涵盖迄今为止所有潜在的坎昆 EIP、讨论本地区块构建等)

  • Flashbots 透明度报告。

机会🏄‍♀️

  • 4 月 19 日:深入探究 Sangria,一种针对 Plonk 的新折叠方案,具有放宽的 plonk 约束,由 Geometry 的 Nico 进行的 discord 聊天。

阅读和观看🎞

一般的

  • Rollups Aren't Real:Jon Charbonneau 撰写的一篇长文,内容涉及强制交易包含机制、L2 序列器去中心化和(可选)共识、共享序列器和 X-Chain 原子性和 MEV 感知设计。

  • 解构 Rollup:rollup 的真正定义是什么?社区还是验证桥梁?——Patrick McCorry 的文章。

  • 私人、灵活和匿名投票的未来(由 Tally 和 O(1) Labs 的 Raf Solari 撰写),推特空间记录。

  • 与 Yuval Domb 一起进行 Danksharding 第 1 部分讲座。

  • 通过验证桥棱镜进行汇总,这是来自 Scroll 的 Toghrul Maharramov 在 ETHDubai 演讲的幻灯片。

  • 最佳 zkVM 设计(由 Max Gillett 撰写),简短演讲。

奇特的数学、密码学和量子物理学

  • EVM 中的恒定 Gas 函数调度程序,由 philology 撰写的长文。

  • TFHE(完全同态加密)深度探究 - 第一部分 - 密文类型,Zama 的长文。

  • EVM 语言的当前状态,由 jtriley 长读的研究。

  • ZKWasm:使用 SuperNova 扩展隐私保护技术的视野,这是 ICME 实验室的 Wyatt Benno 撰写的长文。

  • 对角线拉姆齐 (Ramsey) 的指数改进,由 Timothy Gowers 进行线程解释。

  • 使用 ZX 演算统一容错能力,一篇研究论文。

感谢您阅读 ZK-Roller-Coaster 的第一版。两周后见!🚵‍♀️

#crypto101 #Web3 #Layer2 #rollup #ETH