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

**Published by:** [fen yun](https://paragraph.com/@11qqq/)
**Published on:** 2023-06-20
**URL:** https://paragraph.com/@11qqq/zk-roller-coaster-7

## Content

这是 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 \宣布\ ) 推出名为 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

## Publication Information

- [fen yun](https://paragraph.com/@11qqq/): Publication homepage
- [All Posts](https://paragraph.com/@11qqq/): More posts from this publication
- [RSS Feed](https://api.paragraph.com/blogs/rss/@11qqq): Subscribe to updates
- [Twitter](https://twitter.com/yasuo05329808): Follow on Twitter