这是 ZK-Roller-Coaster 的第 5 版，我们在其中跟踪和调查前两周最激动人心、最有意义和最疯狂的 ZK-stuff。

免责声明：这是推文、文章、视频和其他材料的集合；这些并不表达我们的意见，也不一定准确。请（或继续）做你自己的研究。

紧紧抓住！🎢

• 一周内，以太坊两次出现主网最终确定性问题。Offchain Labs ，提交了一份概述该事件的分析报告。以太坊漏洞赏金计划提供高达 250,000 美元的奖励，并通过查找影响以太坊网络的协议、客户端和 Solidity 漏洞在排行榜上占有一席之地。

• bartek.eth的Twitter 主题：什么是 L2 交易终结性？

• ethresearch：来自 Taiko 和 Lisa A. 的“Based Rollup”的 MEV。

• Shiva的Twitter 主题：解包汇总交易的生命周期。

• ethresearch ： Edmund Edgar的 Branching Oracle-enhrined Rollup Governance 。

• 来自Offchain Labs **** Steven Goldfeder的Twitter 线程**** 关于模块化区块链安全性。

• polynya的Twitter 主题：有效性证明效率的复习。

• 来自Aztec的Michael Connor的Twitter 主题：加快他们的汇总电路证明时间。

• 来自Geometry的Kobi的Twitter 主题：发掘 BLS 多重签名在以太坊和其他 EVM 链上的力量。

• zkResearch ： Igor Gulamov在不受信任的第 3 方证明者上以屏蔽模式运行 Sangria 最终证明。

• ethresearch：每日空投的 L2 经济学（任意数量以增加玩家基础）。

• Vitalik 的博客：不要让以太坊的共识超载。

• MEV burn ethresearch由Justin Drake在 EF 和Bankless episode中发布的帖子，其中 Justin 和Dom解释了它是如何工作的。

• Max Resnick的Twitter 主题：与传统 OFA 相比，组合 OFA 为用户带来更多收入。

• MakerDAO 宣布启动 Spark 协议：部署在以太坊上的以最终用户为中心的 DAI 产品，具有 ETH、stETH、DAI 和 sDAI 的供应和借用功能。

• Visa 的Mustafa分享了有关 AA 可能性的计划和想法。

• ETHPrague即将到来：6 月 9 日至 11 日：黑客马拉松举行，Vitalik将出席🌚

• Aztec 正在发布公开请求以征求其分散式音序器设计的建议。

一般的

• 来自 Axiom 和 Yi Sun 的 zeroknowledge.fm ‘’ 播客：使用 Axiom 在以太坊上扩展计算。

• Lattice的文章“自治世界旨在使在线游戏不受公司控制” 。

花哨的数学和密码学

• PSE团队的 Edu对 ZKEVM-Circuits 存储库进行了代码遍历。

• PSE 团队学习与分享会议的记录：通过 Vector Commitments 深入研究 Caulk 和 Caulk+。

• 来自 PSE 团队的 Enrico Bottazzi。 分享 他们正在构建 Summa ∑，CEX 的 zk 偿付能力证明及其工作原理。

• 此论文：“对现代证明系统的弱 Fiat-Shamir 攻击：Q Dao、J Miller、O Wright、P Grubbs。”

• Alex Stokes 想知道：“有没有人写过 EIP-4844 “blobber” 服务？”

• 亚历克斯斯托克斯 想知道：“加密货币绘图员，将椭圆曲线加法和（标量）乘法作为多标量乘法接口的子集公开是多么异端？”

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

在我们的求职板上探索空缺职位。

了解 Taiko 的最新动态：

• 网站：https:  //taiko.xyz

• 不和谐 :https: //discord.gg/taikoxyz

• GitHub:  https://github.com/taikoxyz

• 推特：https:  //twitter.com/taikoxyz