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

特别感谢第 16 版的贡献者：Adul和 Hlpr。

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

紧紧抓住！🎢

• Rollups 又犯了罪：“L2 实际上并没有扩展以太坊，它们只是将其分割成一堆不相关的链”，joseph.eth声称。

• Fede 的实习生 Milady建议汇总仍然没有退出游戏：“..流动性成为一个问题......解决方案是使用存储证明进行桥接/池化。”

• Hadas Zeilberger、Binyi Chen和Ben Fisch撰写的论文“BaseFold：来自可折叠代码的高效场不可知多项式承诺方案” 。

• barnabe.eth 发布的关于区块空间期货的Twitter帖子。

• 一篇文章“如何将拉格朗日的 Recproofs 和 ZKMapReduce (ZMKR) 堆栈与折叠方案结合起来？” 由拉格朗日。

• Hungry Cats Studio 的文章“基准化多线性多项式承诺方案”。

• ChainLight报告的zkSync Era 上的健全性错误（产生虚假“证明”） 。

• Brecht Devos 发表的ethresearch文章“Booster rollups as ZK coprocessors”。

• Kakarot zkEVM 发布的关于 ZK-EVM 超越 L2 的Twitter帖子。

• Metis将实现ZK 证明并成为混合汇总。

• Ingonyama与 gnak集成。

• Aztec为浏览器中的 ZK 应用程序发布了Javascript 包。

• Axiom宣布推出基于浏览器的 REPL，允许开发人员用 Javascript 编写 ZK 电路。

• =无；Foundation宣布推出zkSharding，它将 zkRollup 与分片相结合，以在保持共享状态的同时实现并行事务处理。

• Brevis宣布ZK 协处理器可以使用多重方法以低延迟和低成本计算数万个历史链上数据点。

• RISC Zero共享开源计划：高速递归、Proof Composition 和 STARK-to-SNARK Wrapper，全部都在 Apache2 许可结构下。

• Michael Sproul 和 Callum 发表的关于正式验证共识优化的ethresearch帖子。

• Sunscreen 的 Ravital Solomon 撰写的文章“使用 FHE 构建私人可验证拍卖”。

• HackerNoon 和 RareSkills 举办的零知识证明写作竞赛。

• Polygon Village：超过 1.1 亿美元的 MATIC 资助计划、深度指导和生态系统支持。

• 对于 ICICLE 开发人员：在 Google Colab 的免费 G​​PU 实例上利用ICICLE 的强大功能。

一般的

• greenpill 播客剧集：Vitalik 加入播客谈论以太坊 x 公共产品。

• 记录“区块链共识：概述和最新结果”的研究研讨会。

• 报告：Protocol Labs 的“ZK Proofs的未来”。

奇特的数学和密码学

• ulrich.haboeck 的“Reed Solomon 编码圈组”学习和分享课程。

• 学习和分享由 Jonathan Bootle 主持的“令人惊叹的总和检查协议”课程。

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

探索我们的招聘网站上的空缺职位。

从 Taiko 获取最新信息：

• 网站：https:  //taiko.xyz。

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

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

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

• 社区论坛：https ://community.tai​​ko.xyz 。

在 GitHub 上为 Taiko 做出贡献并获得 GitPOAP！您还将成为我们自述文件的贡献者。开始使用贡献手册。