ZK Mesh：2025年11月回顾

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

ZK Mesh: 2025年11月回顾

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

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

研究

• OpenAC：用于透明和轻量级匿名凭证的开放设计 | ZkID 团队 PSE

• 关于 Reed–Solomon 码的邻近间隙 | Eli Ben-Sasson, Dan Carmon, Ulrich Haböck, Swastik Kopparty 和 Shubhangi Saraf

• 关于 Reed–Solomon 邻近间隙猜想 | Elizabeth Crites 和 Alistair Stewart

• 子空间设计码和（随机）Reed-Solomon 码的最佳邻近间隙 | Rohan Goyal 和 Venkatesan Guruswami

• 所有多项式生成器都保持带有相互相关协议的距离 | Sarah Bordage, Alessandro Chiesa, Ziyi Guan 和 Ignacio Manzur

• SALSAA – 辅助 Sumcheck 的基于格的简洁论证与应用 | Shuto Kuriyama, Russell W. F. Lai, Michał Osadnik 和 Lorenzo Tucci

• 用于近似计算的 Sum-check 协议 | Dor Bitan, Zachary DeStefano, Shafi Goldwasser, Yuval Ishai, Yael Tauman Kalai 和 Justin Thaler

• 关于便笺的注释：通过不断演变的无效器和隐蔽同步实现可扩展的匿名支付 | Sean Bowe 和 Ian Miers

• TensorSwitch：来自张量码的近乎最优的多项式承诺 | Benedikt Bünz, Giacomo Fenzi, Ron D. Rothblum 和 William Wang

• 来自标准假设的基于格的指定验证者 zkSNARK | Mohammad Sadegh Ahmadi, Taraneh Eghlidos, Behzad Abdolmaleki 和 Ngoc Khanh Nguyen

• Vega：通过现有凭证的低延迟零知识证明 | Darya Kaviani 和 Srinath Setty

• zk-SNARK 的单服务器私有外包 | Kasra Abbaszadeh, Hossein Hafezi, Jonathan Katz 和 Sarah Meiklejohn

• 来自单向函数的简洁零知识证明：黑盒方式 | Eden Florentz- Konopnicki 和 Ron D. Rothblum

• 通过值推断在 ZKP 程序中进行与语言无关的计算约束不一致性检测 | Arman Kolozyan, Bram Vandenbogaerde, Janwillem Swalens, Lode Hoste, Stefanos Chaliasos 和 Coen De Roover

• 具有两个群元素的基于配对的 SNARG | Gal Arnon, Jesko Dujmovic 和 Eylon Yogev

• 通过 Root iO 实现可扩展的私有世界计算机：与应用无关的 iO 以及我们使其变得实用的路线图 | Sora Suegami 和 Enrico Bottazzi

• 具有单像素成像的零知识证明的光学计算 | Wei Huang, Shuming Jiao, Huichang Guan, Huisi Miao 和 Chao Wang

文章/主题

• 邻近间隙：发生了什么以及它如何影响我们的 Snark | zkSecurity

• SPLAT 中的概率蕴涵 | Brandon Kase

• 具有即时保证的快速区块传播 | Lucas Meier

• 以太坊隐私状态调查 | PSE

• Ztarknet — Zcash 的 Starknet L2 | abdel

• 小写 SNARK | Justin Drake

视频/播客

• Ethproofs call #6, 邻近间隙 | EthProofs

• ZK Whiteboard Sessions Mod 7: zkID (匿名凭证), w/ Ying Tong NoirCon 3 | Aztec Network

• 以太坊隐私堆栈，布宜诺斯艾利斯第一部分 | Web3PrivacyNow

• 以太坊隐私堆栈，布宜诺斯艾利斯第二部分 | Web3PrivacyNow

• 隐私是存在性的（以 Peter Van Valkenburgh 为特色） | Devconnect

• EthProofs Day | Devconnect

• Zooko & Eli 谈 Zcash, ZK, 隐私, 和 Scaling | Starkware

• Lattices, Folding, & Symphony with Binyi Chen | ZK Podcast

• Pratyush Mishra on Tiny Proofs, Folding, Low-Memory SNARKs and More | ZK Podcast

指南和资源

• 关于 Reed-Solomon 码的相互相关协议的说明 | Ulrich Haböck

• Sum-check Is All You Need: 关于 SNARK 设计中快速证明器的主观调查 | Justin Thaler

• Aztec 的工作原理 | Alex Korn

• Pedersen 承诺 | Alin Tomescu

• Σ-phore | Alin Tomescu

• 保持在范围内：深入研究 Bulletproof | ZK/SEC Quarterly

• 学习 Sumcheck, MLE, 和 HyperPlonk：使用 SageMath 的互动教程 | ZK/SEC Quarterly

工具/实现

• 私有帐户的智能合约或 EOA 支出权限 | Adam Gagol

• 在 EBSI 上实施隐私池，以实现机构可编程隐私和合规性 | EugeRe

• 形式化验证零知识电路：介绍 CertiPlonk | Nethermind

• Cairo 实现的 DCAP，支持证明和链上验证 TEE 证明 | Cartridge

• Longfellow ZK | Dyne

漏洞

• 关于随机单词距离的分布 | Benjamin E. Diamond, Angus Gruen

项目更新

• Aztec Ignition Chain 已上线 | Aztec

• S-Two Book | Starkware

• Irreducible 正在关闭 | Irreducible

• Proving Grounds Field Operations Now Live | Brevis

• ₿apps Campaign: 在通往主网的道路上对 Citrea 生态系统进行压力测试 | Citrea

• ZisK 0.14 | ZisK

• 私有共享状态的基础：第一批服务 | TACEO

• SP1 Hypercube 实时证明了 99.7% 的以太坊区块 | Succinct

• Zashi 中的屏蔽交换 | ZCash

• 链下依赖 = 几乎可以保证的资金损失 | Fermah

• Miden Testnet v0.12 – 构建者的新功能 | Miden

• Lagrange Labs 加入洛克希德·马丁的供应商生态系统，以推进航空航天和国防领域的人工智能 | Lagrange Labs

研讨会/教育/实习

• Self Workshop | Self

• 在 Aztec 上开始进行Privacy App 开发 | Aztec

• 在 Zircuit 上构建 A Hackathon Introduction | Zircuit

活动/黑客松

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

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

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

• zkSummit 14 | 欧洲待定。2026年5月

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

• Devcon India | 印度孟买。2026 年第四季度

————

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