ZK-Roller-Coaster #7 （中文翻译版）

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

这是太鼓社区制作的第二版ZK-Roller-Coaster！

特别感谢第 7 版贡献者：snmyx、yona。

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

紧紧抓住！🎢

本周精选🌶️

关于 FRI 和 AIR 效率和兼容性的讨论

• 2021 年关于 FRI 和 AIR 的激烈推特讨论突然在 2023 年继续。2021 年，它以Ariel对 FRI 如何与 PLONK 电路互补，以及 AIR 是否具有长期竞争力的质疑而告终。几天前，Benedikt Bünz在现代语境中继续讨论，声称“从递归效率来看，基于 ECC 的技术（也称为折叠/累加）要好得多，不是吗？基于哈希的证明不是同态的。” 虽然有人认为Plonky2 几乎是一个 STARK，但 Ariel认为““经典”plonk 和 starks - pcs - kzg vs fri，以及使用预处理的 polys 与不使用之间有 2 个差异。在速度方面使用 fri 有很好的论据；从长远来看，我认为不使用预处理的 polys 会很难辩解。” 以下是有关如何在使用递归证明时在友好哈希和 blake 之间交替的一些详细信息。

ZK 和汇总研究🧙

• asn和arnaucube使用 arkworks 完成了Hypernova 的 multifolding 的实现。

• levochka.eth对 Protostar 论文做了一个小回顾。

• levochka.eth发表了一篇ethresearch 文章“乐观池——以太坊主网的通用协处理器”。

• Aztec 团队使用 Noir 将电路的限制减少了99.4%。

• Taiko发表了一篇关于 L2 MEV 的现状和 MEV 对不同 L2 设计的影响的文章。

• 来自 Aztec 的 Zac介绍了Zeromorph，“我们需要让 Plonk 达到平流层的缺失环节”。

• 带有软确认的基于主权，呈现.的排序。

• Linea 发表了文章“The Linea Prover for a Very Smart High Schooler”。

• EigenLayer宣布在以太坊主网上部署 Stage-1 EigenLayer 协议。社区对“重质押对以太坊安全构成的风险”存有疑虑。

• Linea宣布了一篇新的研究论文“Faster Montgomery multiplication and Multi-Scalar-Multiplication for SNARKs”。

• YQ的一篇文章和 Twitter线程摘要“Enshrined Rollups 及其工作原理” 。

非 ZK 行业亮点和研究🎡

• ethresearch的新帖子“增加 M​​AX_EFFECTIVE_BALANCE”：作者认为“验证器集收缩对路线图、当前 p2p 层和验证器具有积极影响”（作者 Mike Neuder、Francesco、Aditya Asgaonkar和Justin Drake）。

• Uniswap宣布了Uniswap 4，并得到了一个模棱两可的社区回应，立即违反了许可证。

• Uniswap公布了Uniswap 基金会的桥梁报告。

• Frax Finance [宣布]( https://twitter.com/TheBlock__/status/1669681832814694400\ ) 推出名为 Fraxchain 的以太坊第 2 层。

• Titan Builder发表了“Builder Dominance and Searcher Dependence”。

机会与活动🏄‍♀️

• 可以在 Ethcc 期间申请入住的ZK 主题黑客之家。

• 初步了解Devconnect 时间表！

阅读和观看🎞

一般的

• 新的“The Chopping Block”剧集讨论了 SEC、Uniswap 和 Pepe Frog。

• Tarun Chitra 的 Y 轴播客第二集：数学、密码学和哲学。

• ETHPrague 会谈录音。

• 演讲“以太坊：设计无限经济机器”（来自 EF 的 barnabe.eth 的演讲）。

• 关于意图的Twitter 空间记录。

花哨的编程、数学和密码学

• Ingonyama宣布了Ingopedia，这是一个社区驱动的与 ZKP 相关的综合信息集合。

• dcbuilder.eth分享了一份精选的 solidity 和 Rust 学习资源列表。

• Patrick Collins推出了免费的“终极版，学习区块链开发、Solidity、AI 驱动的智能合约课程 | Foundry 版”。

• Ari Juels的博客文章“The Sting Framework (SF)，TEE 和其他强制保密系统的新防御层” 。

• COSIC研讨会“GPU 能否有助于加速同态加密等高级密码算法？” Erkay Savaş着。

• Khushi Wadhwa关于同态加密及其如何用于构建隐私保护应用程序的博客文章。

• Mahdi Rahimi 的博客文章“有限域中计算离散对数的最新进展”

好奇的谜题🧩

• Kevin Yu想知道：有人会对@gabrielpeyre类型的每日推文感兴趣吗，但主要是密码学和博弈论方面的东西？请告诉凯文：我们当然是！

• Ingonyama发布了一项新挑战：设计一个内核，将 256 位数字对相乘，得到 512 位结果。目标是最大化乘法器的吞吐量。

• Cami想知道：4844 之后的交易费用有多少预测？

• Quintus想知道：在一个全新的区块链中（您可以选择所有签名方案等）我需要证明密文对应于来自至少拥有链上资产 X 数量的密钥的签名。我可以预期的最佳证明时间大概是多长？

• snmyx 想知道：我更改了智能合约引用的文件 jpeg，智能合约是否将此文件识别为本机 ipfs 服务器？请将答案发送至snmyx.eth@ethermail.io。

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

加入我们💕

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

关注我们🥁

了解 Taiko 的最新动态：

• 网站：https:  //taiko.xyz

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

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

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