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

这是 Taiko 社区制作的第三版 ZK-Roller-Coaster！

特别感谢第 8 版的贡献者：BluePillow和Alexander Belyaev！

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

紧紧抓住！🎢

本周的香料🍿

• “年度零知识攻击”或“论文展示了错误的计算结果并附有有效的证明”：zksecurity.xyz的David Wong发表了一篇关于“Nova 如何被破解”的文章。然而，并不是所有人都明白攻击向量已经得到缓解，这是一篇教育文章。

• Polygon 的 Brendan Farmer 发起了一场新的本体论之战，以澄清“统一流动性”和“完整流动性网络”之间的区别。Brendan声称，“统一流动性意味着能够与其他链上的共享流动性池无缝交互……如果跨链延迟需要几分钟或几小时才能生成证明，那么流动性并不是真正统一的”。zksync 的 Alex认为，“统一流动性”的成本是较弱的信任假设，因此一切并不那么明显。

ZK 和 Rollups 研究 🧙

• M. Campanelli、N. Gailly、R. Gennaro、P. Jovanovic、M. Mihali、J. Thaler 撰写的论文“Linear Time Prover SNARKs with Constant Size Proofs and Square Root Size Universal Setup”。

• defi Guy、Uma Roy和jtguibas的研究报告“共享有效性测序” 。

• Max Resnick 的帖子：“无论哪个团队能够构建最具抗审查性的公告板，都将赢得数据可用性之战。”

• Figment Capital的文章“去中心化证明、证明市场和 ZK 基础设施” 。

• Zorp的文章“EDEN – 实用的 SNARK 友好组合器 VM 和 ISA 。

• Andrew Miller 关于通过基于身份的加密 (IBE) 派生 HD 钱包密钥的个人调查。

• Rand Hindi的一篇文章《利用密码学让 AI 更安全》介绍了如何使用 ZK + FHE 让 AI 可以安全使用。

• ZK知识开源百科全书Ingopedia V3现已上线。

ZK and rollups 更新 🎈

• O(1) Labs向 Optimism Foundation提交了一份提案，要求将其零知识证明堆栈应用于 OP Stack 欺诈证明。

• Noir的2023年发展路线图已出炉。

• 币安宣布使用 OP Stack 在 BSC 之上推出 L2。

• Polygon提出了Polygon 2.0架构。

• zksync宣布推出ZK Stack，这是一个基于 Era 开源代码的模块化框架，用于构建由 ZK 驱动的主权超链。

• Polygon宣布升级，将 Polygon PoS 转变为 zkEVM validium。

• Worldcoin 的 dcbuilder.eth邀请为 ZK 可信设置做出贡献

非ZK行业亮点与研究🎡

• Pranav Garimidi、Maryam Bahrani和Tim Roughgarden撰写的一篇论文，探讨当竞标者是 DAO 与个人时拍卖理论如何变化。

• Anthony Lee Zhang、Tim Roughgarden、ciamac moallemi和Jason Milionis撰写的论文更新“自动做市和损失与再平衡” 。

• ENS（以太坊名称服务）计划扩展到第 2 层生态系统。

• 0xFable Research 的研究报告“您想了解的有关链上随机性的一切。”

• 保利网络再次受到争议。Patrick McCorry建议停止依赖多重签名进行日常运营的信任桥。

• BlackRock申请了现货比特币 ETF，Coinbase 作为加密货币托管人。

机会和活动🏄‍♀️

• Twitter Spaces：“抵制审查制度能为你做些什么”，太平洋标准时间 7 月 5 日星期三上午 11 点。

• 香港 ETH将于2023 年第四季度举行。

• EthconKorea2023回来了！9 月 1 日至 3 日在首尔举行为期 3 天的开发者会议。

• 加州大学伯克利分校 RDI将于 8 月 27 日举办SBC-伯克利日 - 去中心化技术和计算的未来峰会。

• DeFi 活动 Permissionless II将于9 月 11 日至 13 日在奥斯汀举行。

阅读和观看🎞

一般的

• 无银行事件：重新陷入困境。

• Twitter Spaces记录：在模块化堆栈中探索 ZK Proofs。

• 砧板剧集：Azuki 掉落、Prime Trust、汇总战争和共享排序。

• 哲学正在学习 Rust（已经是第六天）：跟随他的旅程。

• 加密货币公司继续使用 ZK 来确认其储备：OKX案例。

• 奇特的数学和密码学

  • Carsten Baum、Lennart Braun、 Cyprien Delpech de Saint Guilhem、Michael Klooß、Emmanuela Orsini、Lawrence Roy 和 Peter Scholl 撰写的论文“来自 VOLE-in-the-Head 的可公开验证的零知识和后量子签名” 。

  • 一篇文章“量子计算机通过减少错误来扩大规模”。

  • Eray整理的关于区块链上的 SGX 和 TEE 的资源列表。

  • 蒂莫西·高尔斯 (Timothy Gowers) 撰写的一篇关于数学概率判断的长篇哲学文章。

  • Zeroknowledge.fm 剧集：探索 Lurk：递归 zk-SNARK 的新语言。

  • Zeroknowledge.fm 剧集：Ron Rothblum 的纠错码和信息论。

好奇的谜题🧩

• Liam zebedee想知道：验证将一片叶子插入 mimc merkle 树的 circom zk-snark 证明的 EVM 气体成本有多高？

• hdevalence想知道：当前从endermint/cometbft 索引事件的最佳实践是什么？

• κασσάνδρα.eth想知道：如果 Polygon zkEVM 后来转换为 SNARK（当证明达到 L1 时），为什么 Polygon zkEVM 使用 STARK？如果您最终仍然需要可信设置（因此没有透明度属性），它会带来什么好处？

本周有趣的事情🍩

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

加入我们💗

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

关注我们🥁

要了解 Taiko 的最新动态：

• 网站：https:  //taiko.xyz

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

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

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

贡献🤓

为 Taiko 做出贡献并赚取 GitPOAP！您还将成为我们自述文件的贡献者。开始使用 贡献指南。