# ZK-Roller-Coaster #9

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

## Content

这是 ZK-Roller-Coaster 的第 9 版，我们将跟踪和调查前两周最令人兴奋、最有意义、最疯狂的 ZK 内容。 这是 Taiko 社区制作的第四版 ZK-Roller-Coaster！ 特别感谢第 9 版的贡献者：Alex_ADEdge、kshyun28、BluePillow alexanderblv、yona 免责声明：这是推文、文字、视频和其他材料的集合；这些并不代表我们的意见，也不一定准确。请进行（或继续）您自己的研究。 紧紧抓住！🎢本周的香料🍿Celo提议从独立的 EVM 兼容 L1 过渡到以太坊 L2。这种转变应该使用EigenLayer 来支持验证并通过 CELO 和 ETH 的双重质押以及 EigenDA 的数据承诺来促进快速最终确定。社区认为，一方面，L1→以太坊L2过渡在可预见的未来可能成为一种趋势。另一方面，拥有许多 L2 是否有意义并不明显。ZK 和 Rollups 研究 🧙Justin Thaler的文章“关于 SNARK 的 17 个误解（以及它们为何阻碍我们）” 。Twitter帖子：Spearbit在 Polygon zkEVM 协议的初步审查中发现了一个由于除法余数验证不足而导致的严重漏洞（已修复）。Spearbit分析 Polygon 的 zkEVM PIL 状态机的研讨会录音。twitter长读：zkSync Era 提出了一种新的高性能去中心化证明系统。Twitter帖子：Jarrod Watts进行了 ZK-EVM 比较，并在它们各自上构建了 dApp。Twitter 帖子：Aztec Labs分享了测序仪选择提案请求中的两名决赛入围者，并简要解释了他们的解决方案。Twitter帖子：Scott Sunarto认为“虽然有充分的理由在 L1 中实现 ETH 客户端的多样性，但在 L2 中对他们来说几乎没有什么好处”。Jeffrey Scholz的Twitter帖子：为什么 ZK 难学以及我对如何学习 ZK 的看法。Twitter帖子：Harry Kalodner谈论经常被误解的定序器去中心化主题。ZK 和汇总更新 🎈Espresso共享音序器宣布与测试网 Doppio 上的 Polygon zkEVM 集成。Aleo.Tools 已更新。Manta Network推出了Manta Pacific：适用于 ZK 应用程序的 EVM 原生模块化 L2。账户抽象即将登陆Arbitrum。宣布了一项改进。Powdr 实验室推出了powdr，这是一个用于 zkVM 的模块化堆栈。Kroma（以太坊上新的通用 ZK Rollup）推出了第二个测试网。非ZK行业亮点与研究🎡CoW Swap引入了CoW Hooks，允许用户将多个 DeFi 操作分组为一个意图。第十届以太坊基金会研究AMA在 Reddit 上举行。Coinbase Wallet宣布推出由 Lens Protocol 支持的钱包到钱包消息传递。Max Resnick、Mallesh Pai和Tivas Gupta介绍了一篇研究论文“私人订单流对提案者与构建者分离的集中效应” 。Flashbots推出了MEVM 并分享了SUAVE 的更新。Mike Neuder分享了关于 EIP-7251 的常见问题解答文档，即增加 MAX_EFFECTIVE_BALANCE 的建议。机会和活动🏄‍♀️申请Devconnect 学者计划仅剩几天时间。可能要感谢EF Next Billion。Axiom宣布了Axiom 开源计划的第二次迭代，这是一个加速计划，可让您在 8 周内从 ZK 基础知识到在 halo2 中构建 ZK 电路原语和应用程序。Web3 加速器 Tachyon宣布推出TachyonX，这是一项为刚起步的创始人提供的新计划。8 月 27 日，SBC-伯克利日：去中心化技术与计算的未来峰会。帮助制作下一个 ZKRC #10。阅读和观看🎞一般的Flashbots 的Hasu播客 Uncommon Core 2.0又回来了。第二季第一集已经播出。来自crediblecommitments.WTF by flashbots 的录音“研究和实施协作人工智能有哪些具体、平易近人的方法？”Taiko论坛帖子“尝试解释 zkEVM”[简约版]，作者：Δlex ÐelderfiΞld。Pandinetta的文章“混合汇总：发现 Metis、Fraxchain、Aztec、Miden 和 Ola ”。奇特的数学和密码学CPerezz.eth演讲“SuperNova 和 Parallelizing Nova”的录音。Ariel Gabizon和 Liam Eagen的新折叠纸“ProtoGalaxy：高效 ProtoStar 式折叠多个实例” 。Pratyush Ranjan Tiwari的一篇新论文描述了实践中广泛使用的几种协议的 Fiat-Shamir 安全性的新结果：FRI、批量 FRI 和大多数类似 Plonk 的 zk SNARK，这些协议使用低度邻近测试作为子程序。与Binyi Chen的演讲“深入了解 ProtoStar 论文和协议”的录音**。**Jeffrey Scholz撰写的文章“将代数电路转换为 R1CS（秩一约束系统）” 。Jon Becker撰写的一篇关于编写高效、高性能 rust 的文章。“这是初等几何中的难题”，蒂莫西·高尔斯 (Timothy Gowers)实时解决了数学问题。“你对 DeFi 和其他领域的零知识安全了解多少？”演讲录音 作者：德米特里·霍夫拉托维奇。Jeffrey Scholz撰写的文章“龙卷风现金如何运作（开发人员逐行）” 。本周有趣的事情🍩https://twitter.com/jillrgunter/status/1680704704098213888?ref_src=twsrc%5Etfw%7Ctwcamp%5Etweetembed%7Ctwterm%5E1680704704098213888%7Ctwgr%5E90f7b15233763cefbae42e30d5c46c8520bc83c5%7Ctwcon%5Es1_&ref_url=https%3A%2F%2Ftaiko.mirror.xyz%2FA7xzi9qGBUx9r8ZKpTJztu9GxDUNF9MaNtFPysjjpe0 感谢您阅读《ZK-Roller-Coaster》第九版。两周后见！🚵‍♀️加入我们💗探索我们的**招聘网站**上的空缺职位。关注我们🥁要了解 Taiko 的最新动态：网站：https: //taiko.xyz不和谐： https: //discord.gg/taikoxyzGitHub： https: //github.com/taikoxyz推特：https: //twitter.com/taikoxyz贡献🤓为 Taiko 做出贡献并赚取 GitPOAP！您还将成为我们自述文件的贡献者。开始使用 贡献指南。

## 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