ZK-Roller-Coaster #11

fen yun

0x9753

August 17th, 2023

这是 ZK-Roller-Coaster 的第 11 版，我们在此跟踪和调查前两周最令人兴奋、最有意义、最疯狂的 ZK 内容。

特别感谢第 11 版的贡献者：Alexander B.、Thisu、Hlpr。

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

紧紧抓住！🎢

本周的香料🍿

ZK-EVM 战争正在进行中！

这次Polygon Zero在推特上指责zksync“最近发布的Boojum库的重要部分——由zksync背后的团队Matter Labs开发——是从Polygon Labs开发的Plonky2证明系统复制粘贴的。Plonky2 是开源的，但 Matter Labs 没有给出适当的归属。” zksync联合创始人Alex回复针对 Polygon 的投诉，声称“今天的指控毫无根据、具有误导性，并且来自我高度尊敬的团队，令人极其失望”，并提供了事实“Plonky2 和 Boojum 都是 RedShift 结构 (PLONK + FRI) 的实现”，并且 RedShift 是由Plonky2 之前的 Matter Labs 团队，“只有 ~5% 的 Boojum 代码是基于 Plonky2 的代码”，“对于重用的代码，在模块主文件的第 1 行中提供了明确的归属”等。

关于欺诈证明的激烈争论！

TL;DR “如果您想优先考虑需要数年时间来构建证明者的路线图，则不必启动汇总。” 乐观主义欺诈证明了其他汇总和扩展解决方案的缺失，受到了巨大的批评。核心问题是（i）他们是否会建立一个证明者（即添加欺诈证明），（ii）没有欺诈证明的乐观汇总是不安全的，但他们正在扩大营销规模，推出像 Base（由 Coinbase 推出）这样的汇总，最终结束也变得没有安全感。

ZK 和 Rollups 研究 🧙

Twitter 帖子“ L1DELEGATECALL 也有助于连接 L1 和 L2，并使其看起来更像是单个并行执行环境。” 布莱希·德沃斯着。
PSE 团队发布了p0tion V1，这是一个用于简化 Groth16 zk 应用程序开发的新工具包。目标是使第二阶段的可信设置仪式更加高效和可扩展。
jaosef.eth 的Twitter 帖子“ BLS Training Wheels — 通过共识缓解 ZK 错误”。
Aztec为 Noir开发了一个工具，可以在浏览器上进行验证。
一篇文章“Rollups 是真实的”。由 davidecrapis.eth 提供。
Twitter 帖子“ Rollups-as-a-Service 将归零。” 尼尔.
一条推特线程包裹着推特空间“去中心化且无需许可的证明设计”作者：Lisa A. | 机器人。
引入乐观/ZK 混合验证燃料。
Twitter 帖子“ ZK 在当前情况下是否意味着隐私？” 通过零知识验证器。

ZK 和汇总更新 🎈

=无；正在构建一个解决方案，以确保 Lido Finance 使用 zkOracle 抵押以太坊的流动性，从而实现对 EVM 历史数据的无需信任的数据访问。
RISC Zero即将登陆以太坊。
Fluent：以太坊的 zkWASM 执行层。

非ZK行业亮点与研究🎡

检查reorg.pics仪表板，它提供了重组和所涉及实体的更清晰概述 - 例如 CL 客户端、验证器、中继器和构建器。
关于新交所及其针对不同用例的合理性的争论仍在继续。
dannyryan 的研究报告“液体质押衍生品不能安全地超过共识阈值”。
Mike Neuder 发表的ethresearch 帖子“没有免费的午餐——新的包含列表设计”。
Fireblocks 研究团队发现了BitForge，这是一些最广泛采用的 MPC 协议中的一组漏洞，允许攻击者从单个设备检索私钥。
PayPal在最新的加密支付推动中推出了稳定币。

机会和活动🏄‍♀️

LambdaClass 为期3 个月的在线密码学实习生计划。申请现已开放！

阿兹特克赠款第三波已宣布。

11 月 16 日至 17 日，可编程密码学会议，作为 PSE 和 0xPARC Devconnect 的一部分。

9 月 22 日至 24 日，ETHGlobal 纽约黑客马拉松。

9 月 21 日， Aztec 在伦敦举行的zkSummit：使用 Aztec 的 Layer2 zk-rollup 进行实践学习和构建。

阅读和观看🎞

一般的

采访Arbitrum 团队，了解他们的新 BOLD 协议。
播客“Rust 内存安全的奥秘、无所畏惧的并发性，以及它为何成为 Aleph Zero 区块链的支柱。”
Zcash播客回顾了巴塞罗那#Zcon4 会议。
采访John Reynolds，内容涉及在不牺牲隐私的情况下使用区块链技术、应用程序如何更加私密，以及他们通往 Aleo 主网的道路。
一篇文章“ZK 证明的生命周期”。
Twitter Spaces“去中心化且无需许可的证明设计”的录音。
Vitalik 的“Seen and Unseen 播客”的一集。
Zeroknowledge.fm播客第 288 集：Or Sattath 的量子密码学。
Thirdweb 的Twitter 帖子“ zkEVM 正在将以太坊带给大众”。

奇特的数学和密码学

Abhiram Kothapalli 和 Srinath Setty 发表了一篇新的折叠论文“CycleFold：椭圆曲线循环上基于折叠方案的递归论证”。
Spark 使用的内存检查过程的可视化解释器，Moodle zoup 的 Spartan 稀疏多项式承诺方案（在 Lasso 中使用）。
Nova 对 sha256 的折叠性能被其他人复制（即不是由论文作者复制）。
波特的抽搐流“攻击哈希函数”。
Nat Bunner 对折叠/累积方案以及这些结构如何关联的注释。
Srinath Setty、Arasu Arun、Justin Thaler 和 Riad Wahby 撰写的两篇新论文Lasso（一种具有更快证明器的新查找参数）和 Jolt（基于 Lasso 构建，提供 zkVM 设计的新范例）。
Conor McMenamin 发表的关于跨域 MEV 的新论文。
Thomas Decru、Luciano Maino 和 Antonio Sanso 发表了一篇新论文“走向抗量子弱可验证延迟函数”。
一篇文章“曲线循环：它们是什么以及我们需要它们吗？” 作者：怀亚特·本诺。
波特的抽搐流“基于身份的加密”。
Dankrad Feist 的文章“ SUMCHECK Quickie”。
一篇文章“折叠的不完整指南：Nova、Sangria、SuperNova、HyperNova、Protostar”。作者：Lisa A. | bot.