ZK Mesh：2025年9月回顾

一份分享去中心化隐私保护技术、隐私协议开发和零知识系统领域最新进展的月度新闻通讯

ZK Mesh：2025 年 9 月回顾

欢迎来到 ZK Mesh，这是一份精心策划的月度新闻通讯，涵盖了先进的隐私增强密码学、分布式协议开发和零知识系统研究的最新进展。

每个月，我们都会为你带来最新的研究、有用的文章、视频、播客、推文、工具、项目更新和活动。ZK Mesh 由 ZK Hack 制作。

研究

• Plonk 在 ROM 中在可证伪假设下是模拟可提取的 | Helger Lipmaa

• 通过通信复杂度实现的 SNARK 下界 | Rishabh Bhadauria、Alexander R. Block、Prantar Ghosh 和 Justin Thaler

• 开放签名随机预言模型中的 IVC | Mary Maller、Nicolas Mohnblatt 和 Arantxa Zapico

• 线性时间可编码码的查询最优 IOPP | Anubhav Baweja、Pratyush Mishra、Tushar Mopuri 和 Matan Shtepel

• IronDict：来自多项式承诺的透明字典 | Hossein Hafezi、Alireza Shirzad、Benedikt Bünz 和 Joseph Bonneau

• UltraMixer：用于通证化真实世界资产的合规零知识隐私层 | Zonglun Li、Hong Kang 和 Xue Liu

• 未对齐的激励：针对区块链 Rollup 的定价攻击 | Stefanos Chaliasos、Conner Swann、Sina Pilehchiha、Nicolas Mohnblatt、Benjamin Livshits 和 Assimakis Kattis

• 具有高精度的零知识 AI 推理 | Arman Riasi、Haodi Wang、Rouzbeh Behnia、Viet Vo 和 Thang Hoang

• 用于矩阵计算的可扩展 zkSNARK：用于可验证深度学习的通用框架 | Mingshu Cong、Sherman S. M. Chow、Siu Ming Yiu 和 Tsz Hon Yuen

• 通过折叠方案的分布式 SNARK | Zesheng Li、Dongliang Cai、Yimeng Tian、Yihang Du、Xinxuan Zhang 和 Yi Deng

• 通过双扩张计算嵌入度为 2 的椭圆曲线上的配对 | Yuhao Zheng、Jianming Lin 和 Chang-an Zhao

• LastRings：基于格的可扩展阈值环签名 | Sohyun Jeon、Calvin Abou Haidar 和 Mehdi Tibouchi

• 利用更小的有限域来实现更高效的 ZK 友好哈希函数 | Gökçe Düzyol 和 Kamil Otal

• ChipmunkRing：用于区块链应用程序的实用后量子环签名方案 | Dmitrii A. Gerasimov

• SUMMER：用于可扩展 RNN 训练的递归零知识证明 | Yuange Li 和 Xiong Fan

• Keccacheck: 迈向 SNARK 友好的 Keccak | Marcin Kostrzewa, Matthew Klein, Ara Adkins, Grzegorz Świrski, and Wojciech Żmuda

• Galois 环上的对数多项式承诺方案 | Zhuo Wu, Xinxuan Zhang, Yi Deng, Yuanju Wei, Zhongliang Zhang and Liuyu Yang

• DualMatrix：征服用于大型矩阵乘法的 zkSNARK | Mingshu Cong, Tsz Hon Yuen and Siu-Ming Yiu

文章/帖子

• 全栈开放性和可验证性的重要性 | Vitalik Buterin

• 我从零开始构建 ZK (STARK) 证明器的旅程 | Lauri Peltonen

• 因式分解等式多项式如何优化 Sumcheck | Lambda Class

• 隐形升级：为什么机构应该关心加密轨道 | @binji_x

• EF 证明调用 #5 摘要 | tcoratger

• 具有 zkSPV 合约的无需信任的比特币预言机 | Oleksandr Kurbatov

• Bulletproof 范围证明背后的直觉 | David Wong

• 嵌入内积 | Remco Bloemen

• 重新连接华尔街的竞赛：以太坊是最安全的选择吗？ | Forbes

• 你不需要量子硬件来实现后量子安全性 | Cloudfare

• zkVM、电路和优化游戏 | Aligned Layer

• 哈希函数 101 | ZK Hack

• 它最初不是作为证明开始的 | Eli Ben-Sasson

• UltraGroth 协议解释 | Zam Dimon

• Bulletproofs/IPA 协议的高级直觉 | David Wong

视频/播客

• 如何使用 Jean-Philippe (JP) Aumasson 构建哈希函数 | ZK Hack

• SNARK 的高性能工程，w/ Jim Posen | ZK Hack

• EthProofs Call #5，原生 Rollup | EthProofs

• David Tse：实现中本聪的梦想：一次性签名、乱码电路和零知识证明 | UC Berkeley

• PlonK：Aztec 上的证明方案 | Aztec Network

• 协作零知识证明 | Tokamak ZKP World

• 具有 Huijia (Rachel) Lin 的不可区分性混淆 (iO) | Zero Knowledge Podcast

• Zerocoin 到 zk-creds：Ian Miers 的现代 ZK 历史 | Zero Knowledge Podcast

指南和资源

• ZK 白板会议第 3 季 | ZK Hack

• 可编程密码学简介书籍 | 0xParc

工具/实现

• 用于量子格算法的精确陪集抽样 | Yifan Zhang

• Aztec 上的私有 OTC 柜台 | harshbajpai.eth

• Solana 上的完整 L1 链上 ZK-STARK+PQC 验证：测量研究 | Jotaro Yano

• zkvot - 匿名投票应用程序 | zkvot

• Hardhat ZKit | DL Solarity

• ZK Kit | PSE

漏洞

• Crates.io 恶意 crate | @rustlang_mirror

• Kocher 的时间攻击：从理论到实践的旅程 | zkSecurity

项目更新

• 向上：将创新转移到应用层 | Anoma

• PSE 现在是以太坊的隐私管理员 | PSE

• 证明是新的挖矿 | Boundless

• zkVerify 已在主网上线！ | zkVerify

• Aztec 新时代的全新品牌 | Aztec

• 用于基于 FHE 的私有证明委托的恒定深度 NTT | PSE

• 使用 Autoprecompile 加速以太坊 | powdr

• 启动 FibRace：证明即可获胜！ | Hyli

• HashCloak 对 Serai DEX 的安全证明 | HashCloak

• ZisK v0.11.0 已上线 | ZisK

• 使用 Nethermind 客户端为以太坊构建 ZK 证明 | Nethermind

• Linea 通过 Brevis ZK 驱动的 Linea Ignition 计划促进增长 | Brevis

• Veridise 推进 ZK 安全性：在 CAV 2025 会议上发表了两篇新出版物 | Veridise

• 使用 Zashi CrossPay 进行私有跨链支付 | Electric Coin Company

• Citrea 测试网的 1 年 | Citrea

• Miden 编译器 v0.4.0 – 一个重要的里程碑 | Miden

• Cairo M 设计 | Kakarot

研讨会/教育/实习

• STABILITY 2025：稳定性研讨会 | 印度斋浦尔，2025 年 12 月 15 日

活动/黑客松

• Decompute 2025 | 新加坡。9 月 30 日和 11 月 11 日

• Dark Prague | 捷克共和国布拉格。10 月 3-5 日

• Devconnect | 阿根廷布宜诺斯艾利斯。11 月 17-22 日

• zkID 会议 | 阿根廷布宜诺斯艾利斯。11 月 18 日

• zkTLS Day | 阿根廷布宜诺斯艾利斯。11 月 19 日

• EthProofs Day | 阿根廷布宜诺斯艾利斯。11 月 22 日

• 密码学理论会议 (TCC 2025) | 丹麦奥胡斯。12 月 1-5 日

• Asiacrypt | 澳大利亚墨尔本。12 月 8-12 日

• RWC 2026 | 中国台湾台北。2026 年 3 月 9 日至 11 日

• zkSummit 14 | 欧洲待定，2026 年春/夏

• Eurocrypt | 意大利罗马。2026 年 5 月 10-14 日

————

• 原文链接： zkmesh.substack.com/p/zk...
• 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～