# ZK-Roller-Coaster #7 （中文翻译版） By [fen yun](https://paragraph.com/@11qqq) · 2023-06-20 --- 这是 ZK-Roller-Coaster 的第 7 版，我们在其中跟踪和调查前两周最激动人心、最有意义和最疯狂的 ZK-东西。 这是太鼓社区制作的第二版ZK-Roller-Coaster！ 特别感谢第 7 版贡献者：[snmyx](https://twitter.com/snmyx)、[yona](https://twitter.com/i_am_yona22)。 _免责声明：这是推文、文章、视频和其他材料的集合；这些并不表达我们的意见，也不一定准确。请做（或继续）你自己的研究。_ 紧紧抓住！🎢 ### 本周精选🌶️ 关于 FRI 和 AIR 效率和兼容性的讨论 * 2021 年关于 FRI 和 AIR 的激烈推特[讨论](https://twitter.com/_bfarmer/status/1473519099691028482?s=20)突然在 2023 年继续。2021 年，它以Ariel对 FRI 如何与 PLONK 电路互补，以及 AIR 是否具有长期竞争力的[质疑而告终。](https://twitter.com/rel_zeta_tech/status/1473636877362155522?s=20)几天前，Benedikt Bünz在现代语境中[继续](https://twitter.com/benediktbuenz/status/1668756272676757504?s=20)讨论，声称“从递归效率来看，基于 ECC 的技术（也称为折叠/累加）要好得多，不是吗？基于哈希的证明不是同态的。” 虽然有人[认为](https://twitter.com/fede_intern/status/1668578874479738881?s=20)Plonky2 几乎是一个 STARK，但 Ariel[认为](https://twitter.com/rel_zeta_tech/status/1668600254986371073?s=20)““经典”plonk 和 starks - pcs - kzg vs fri，以及使用预处理的 polys 与不使用之间有 2 个差异。在速度方面使用 fri 有很好的论据；从长远来看，我认为不使用预处理的 polys 会很难辩解。” 以下是有关如何在使用递归证明时在友好哈希和 blake 之间交替的[一些详细信息。](https://twitter.com/rel_zeta_tech/status/1668250420257472513?s=20) ### ZK 和汇总研究🧙 * [asn](https://twitter.com/asn_d6)和[arnaucube使用 arkworks](https://twitter.com/arnaucube) [完成了](https://twitter.com/asn_d6/status/1667238765650124811?s=46&t=CYJXAP9_pltHaKRPUPc3jw)Hypernova 的 multifolding 的实现。 * [levochka.eth](https://twitter.com/levs57)对 Protostar 论文做了[一个小回顾。](https://twitter.com/levs57/status/1662566265989242882?s=46&t=9JEMfE0gUflHGg2ky5HVzA) * [levochka.eth](https://twitter.com/levs57)发表了一篇[ethresearch 文章](https://ethresear.ch/t/optimistic-pool-a-universal-co-processor-for-ethereum-mainnet/15903)“乐观池——以太坊主网的通用协处理器”。 * Aztec 团队使用 Noir 将电路的限制[减少了99.4%。](https://twitter.com/zpedrongmi/status/1668629060669575171?s=20) * Taiko[发表了](https://twitter.com/taikoxyz/status/1668643654368636929?s=20)一篇关于 L2 MEV 的现状和 MEV 对不同 L2 设计的影响的[文章。](https://taiko.mirror.xyz/VjNjFws6OOVez5YCDMwjy4BUiDqZBHYDvcW4-JZGDkc) * 来自 Aztec 的 Zac[介绍了](https://twitter.com/Zac_Aztec/status/1669751810037542912?s=20)Zeromorph，“我们需要让 Plonk 达到平流层的缺失环节”。 * 带有软确认的基于[主权](https://twitter.com/sovereign_labs)，[呈现](https://twitter.com/sovereign_labs/status/1669022770624352258?s=46&t=Mvc1AUtDO2KZ16C9DS0qgg).的排序。 * Linea 发表了[文章](https://linea.mirror.xyz/B3b1lUK8--UKZ_Qehk7SfOyvdcGbcuoyvNsSukHgOY8)“The Linea Prover for a Very Smart High Schooler”。 * EigenLayer[宣布](https://twitter.com/eigenlayer/status/1669065156427681792)在以太坊主网上部署 Stage-1 EigenLayer 协议。社区对“重质押对以太坊安全构成的风险”[存有疑虑。](https://twitter.com/PhABCD/status/1669484592976257025) * Linea[宣布了](https://twitter.com/LineaBuild/status/1669399826470154241?s=20)一篇新的研究[论文](https://tches.iacr.org/index.php/TCHES/article/view/10972)“Faster Montgomery multiplication and Multi-Scalar-Multiplication for SNARKs”。 * [YQ](https://twitter.com/jiayaoqi)的一篇[文章](https://mirror.xyz/0x55a0c204c6fDd0DCf238430cb4BF79D45e8D9Bc3/P1qSCcwj2FZ9cqo3_6kYI4S2chW5K5tmEgogk6io1GE)和 Twitter[线程摘要](https://twitter.com/jiayaoqi/status/1668263018952531974?s=20)“Enshrined Rollups 及其工作原理” 。 ### 非 ZK 行业亮点和研究🎡 * [ethresearch](https://twitter.com/mikeneuder/status/1666047648736976896?s=20)的新帖子“增加 M​​AX\_EFFECTIVE\_BALANCE”：作者认为“验证器集收缩对路线图、当前 p2p 层和验证器具有积极影响”（作者 Mike [Neuder](https://twitter.com/mikeneuder)、[Francesco](https://twitter.com/fradamt)、[Aditya Asgaonkar](https://twitter.com/adiasg)和[Justin Drake](https://twitter.com/drakefjustin)）。 * Uniswap[宣布了](https://twitter.com/Uniswap/status/1668603580184502276)Uniswap 4，并得到了一个模棱两可的社区[回应](https://twitter.com/xin__wan/status/1668877265520787456?s=20)，立即[违反了](https://twitter.com/_prestwich/status/1669823068448096256?s=20)许可证。 * Uniswap[公布了](https://twitter.com/CoinDesk/status/1669374576441151489)Uniswap 基金会的桥梁报告。 * Frax Finance \\宣布\\ ) 推出名为 Fraxchain 的以太坊第 2 层。 * Titan Builder[发表了](https://twitter.com/titanbuilderxyz/status/1668672823190011913)“Builder Dominance and Searcher Dependence”。 ### 机会与活动🏄‍♀️ * 可以在 Ethcc 期间申请入住的ZK 主题[黑客之家。](https://twitter.com/drcathieso_eth/status/1666040839796056064?s=46&t=gB_iYeHZRnmNEVTWaw7VDw) * 初步[了解](https://twitter.com/EFDevconnect/status/1669370842118225920?s=20)Devconnect 时间表！ ### 阅读和观看🎞 **一般的** * 新的“The Chopping Block”[剧集](https://twitter.com/Unchained_pod/status/1669314880627781633?s=20)讨论了 SEC、Uniswap 和 Pepe Frog。 * Tarun Chitra 的 Y 轴播客[第二集](https://twitter.com/yver__/status/1669471713770479616?s=20)：数学、密码学和哲学。 * ETHPrague 会谈[录音](https://www.youtube.com/playlist?list=PLRUSTVWJngidPVV_JC89YsomwtryPGV74)。 * 演讲“以太坊[：](https://twitter.com/barnabemonnot/status/1649407513538830343?s=20)设计无限经济机器”（来自 EF 的 barnabe.eth 的演讲）。 * 关于意图的Twitter 空间[记录](https://twitter.com/apriori0x/status/1669415681081655306?s=20)。 ### 花哨的编程、数学和密码学 * Ingonyama[宣布了](https://twitter.com/Ingo_zk/status/1668268027362549820)Ingopedia，这是一个社区驱动的与 ZKP 相关的综合信息集合。 * dcbuilder.eth[分享了](https://twitter.com/DCbuild3r/status/1668546513474138112?s=20)一份精选的 solidity 和 Rust 学习资源列表。 * Patrick Collins[推出了](https://twitter.com/PatrickAlphaC/status/1666443418258505731?s=20)免费的“终极版，学习区块链开发、Solidity、AI 驱动的智能合约课程 | Foundry 版”。 * [Ari Juels](https://twitter.com/AriJuels)的博客[文章](https://twitter.com/AriJuels/status/1668277010727043073?s=20)“The Sting Framework (SF)，TEE 和其他强制保密系统的新防御层” 。 * COSIC[研讨会](https://twitter.com/CosicBe/status/1669304104403841026?s=20)“GPU 能否有助于加速同态加密等高级密码算法？” [Erkay Savaş](https://twitter.com/erkaysavas)着。 * [Khushi Wadhwa](https://twitter.com/khushii_w)关于同态加密及其如何用于构建隐私保护应用程序的[博客](https://twitter.com/__geometry__/status/1670725065061842944?s=20)文章。 * Mahdi Rahimi 的博客[文章](https://twitter.com/CosicBe/status/1670700276968202242?s=20)“有限域中计算离散对数的最新进展” ### 好奇的谜题🧩 * Kevin Yu[想知道](https://twitter.com/kvny2046/status/1668479903421931520?s=20)：有人会对[@gabrielpeyre](https://twitter.com/gabrielpeyre)类型的每日推文感兴趣吗，但主要是密码学和博弈论方面的东西？请告诉凯文：我们当然是！ * Ingonyama[发布了](https://twitter.com/Ingo_zk/status/1669631823272345600?s=20)一项新挑战：设计一个内核，将 256 位数字对相乘，得到 512 位结果。目标是最大化乘法器的吞吐量。 * Cami[想知道](https://twitter.com/camiinthisthang/status/1669388026936426500?s=20)：4844 之后的交易费用有多少预测？ * Quintus[想知道](https://twitter.com/0xQuintus/status/1669772249325355008?s=20)：在一个全新的区块链中（您可以选择所有签名方案等）我需要证明密文对应于来自至少拥有链上资产 X 数量的密钥的签名。我可以预期的最佳证明时间大概是多长？ * snmyx 想知道：我更改了智能合约引用的文件 jpeg，智能合约是否将此文件识别为本机 ipfs 服务器？请将答案发送至[snmyx.eth@ethermail.io](http://mailto:snmyx.eth@ethermail.io/)。 感谢您阅读第 7 版的 ZK-Roller-Coaster。两周后见！🚵‍♀️ ### 加入我们💕 [在我们的求职板上](https://taiko.mirror.xyz/828fd7232d2c4150a11e10c8baa910a2)探索空缺职位。 ### 关注我们🥁 了解 Taiko 的最新动态： * 网站：https:  [//taiko.xyz](https://taiko.xyz/) * 不和谐：  https: [//discord.gg/taikoxyz](https://discord.gg/taikoxyz) * GitHub:  [https://github.com/taikoxyz](https://github.com/taikoxyz) * 推特：https:  [//twitter.com/taikoxyz](https://twitter.com/taikoxyz) --- *Originally published on [fen yun](https://paragraph.com/@11qqq/zk-roller-coaster-7)*