ZK-Roller-Coaster #8 （中文翻译版）
这是 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”。
Max Resnick 的帖子：“无论哪个团队能够构建最具抗审查性的公告板，都将赢得数据可用性之战。”
Figment Capital的文章“去中心化证明、证明市场和 ZK 基础设施” 。
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 的研究报告“您想了解的有关链上随机性的一切。”
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、汇总战争和共享排序。
加密货币公司继续使用 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！您还将成为我们自述文件的贡献者。开始使用 贡献指南。