zkMesh：2026年1月回顾

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

zkMesh：2026年1月回顾

欢迎来到 ZK Mesh，这是一份每月精选的简报，涵盖先进的隐私增强密码学、分布式协议开发和零知识系统研究的最新进展。下面我们分享了最近的研究、有用的文章、视频、播客、推文、工具、项目更新和活动。

\\ 特别说明：我们刚刚推出了 zkMesh+，这是一个付费订阅层，供希望获得更深入的技术见解、额外背景信息并支持我们制作 ZK Mesh 简报和零知识播客的社区成员使用。我们最近分享了我们的前两个独家内容：《ZK 现状报告》（2025 年第四季度）和肖恩·博伊（Zcash）关于量子威胁的额外播客片段。

研究

• OOPS：一次性不经意的多项式签名 | Kobi Gurkan、Philipp Jovanovic 和 Andrija Novakovic

• Argo MAC：使用椭圆曲线 MAC 进行 Garbling | Liam Eagen 和 Ying Tong Lai

• 价值十亿美元的 Merkle 树 | Thomas Coratger、Dmitry Khovratovich、Bart Mennink、Benedikt Wagner

• 中止随机预言机：如何构建它们，如何使用它们 | Gottfried Herold、Dmitry Khovratovich、Mikhail Kudinov、Stefano Tessaro 和 Benedikt Wagner

• 时间和地点的私有证明 | Uma Girish、Grzegorz Gluch、Shafi Goldwasser、Tal Malkin、Leo Orshansky、Henry Yuen

• 轮次最优的无配对盲签名 | Julia Kastner、Stefano Tessaro 和 Greg Zaverucha

• BABE：在比特币上验证证明的成本降低 1000 倍 | Sanjam Garg、Dimitris Kolonelos、Mikhail Sergeevitch、Srivatsan Sridhar 和 David Tse

• Jindo：用于零知识参数的实用格基多项式承诺 | Intak Hwang、Hyeonbum Lee、Jinyeong Seo 和 Yongsoo Song

• 用于具有文本亚线性证明时间的（非）子序列的 SNARK | Dario Fiore、San Ling、Khai Hanh Tang、Hong Hanh Tran、Huaxiong Wang 和 Yingfei Yan

• 基于策略的访问Token：数字身份的隐私保护验证 | Kiran Pun、Daniel Gardham 和 Nick Frymann

• zkRNN：循环神经网络推理的零知识证明 | Fatemeh Zarinjouei、Behzad Abdolmaleki、Maryam Zarezadeh、Bhavish Mohee、Aysajan Abidin 和 Stefan Köpsell

• 形式化去中心化身份中的隐私：具有最小披露的可证明安全框架 | Yu Zhang 和 Zongbin Wang

• Lether：实用的后量子基于账户的私有区块链支付 | Hongxiao Wang、Muhammed F. Esgin、Ron Steinfeld 和 Siu-Ming Yiu

• HYPERSHIELD：保护 Hypercube MPC-in-the-Head 框架免受差分探测对手的攻击，无需掩码 | Linda Pirker、Quinten Norga、Suparna Kundu、Anindya Ganguly、Barry van Leeuwen、Angshuman Karmakar 和 Ingrid Verbauwhede

• 具有索引动态证明应用的指定验证者动态 zk-SNARK | Weijie Wang、Charalampos Papamanthou、Shravan Srinivasan、Dimitrios Papadopoulos

• 用于神经网络的架构隐藏简洁零知识证明的结构化矩阵约束系统 | Mingshu Cong、Sherman S. M. Chow、Tsz Hon Yuen 和 Siu-Ming Yiu

文章/主题

• 置换证明 Déjà Vu | Jens Groth

• 更清晰地看待 FRI | LambdaClass

• Lean4 形式化“FRI 的简化逐轮可靠性证明” | zkSecurity

• 为什么屏蔽池很重要：隐私的数学原理 | Sombra

• ZK-SNARK 改变了我的想法 | Vitalik Buterin

• 衡量以太坊上的隐私体验 | PSE

• RISC-V ZKVM：优点和缺点 | Argument

• 通证化隐私解决方案：机构审查 | JP Aumasson

• 今天在浏览器中生成 ZK 证明 | Lauri Peltonen

• ZK 现状报告 - 2025 年第四季度 | Zero Knowledge Podcast

• SoK：区块链中的隐私保护交易 | Mysten Labs

• 2026 年隐私趋势 | a16z

• 透明货币问题 | mert

• 用于 ZK 的客户端 GPU 加速：通往日常以太坊隐私的道路 | PSE

视频/播客

• Zcash 创始人谈隐私、人工智能以及 ZEC 如何成为“加密比特币” | Bankless

• Sean Bowe 谈 Tachyon 和 Zcash 的演变 | Zero Knowledge Podcast

• Sean Bowe 关于量子威胁的奖励片段 | zkMesh+ (仅限付费会员)

指南和资源

• LeanSpec 的配套书籍 | Thomas Coratger

• ZK Book | 0xParti

• Lean Ethereum - LeanSig | Ziemann

工具/实现

• Solana 上 Noir 中的 ZK 电路 | Solana Foundation

• Zcash 的隐私强化统一地址轻客户端 | Tanya

漏洞

• 在 ZK 电路中查找可靠性错误的实用指南 | Bernhard Mueller

• 未经验证的公钥攻击：当你的 ZK 证明什么也证明不了时 | Nethermind

• 对 Nym 信誉系统的分析和攻击 | Xinmu Alexis Cao 和 Matthew Green

项目更新

• 新的后量子 (PQ) 团队 | Ethereum Foundation

• OpenVM 2.0 和 SWIRL 证明系统 | OpenVM

• qedb：从头开始重新思考可验证数据库 | Provably

• { 𝙞𝙙𝙚𝙖𝙡 } 正在启动 | { 𝙞𝙙𝙚𝙖𝙡 }

• L1 上的 zkEVM | Ethereum

• 混沌中求秩序：Zcash 的中立验证层 | ZCash

• Zypherpunks 黑客马拉松结果 | Zypherpunks

• Airbender 刚刚在 EthProofs 上占据了第一名 | ZKSync

• Brevis ProverNet 主网和 $BREV 已上线 | Brevis

• AnomaPay 私人测试版已在 Base 上上线 | Anoma

• Citrea 主网的期望：隐私、支付以及通过比特币赚取收益 | Citrea

• Hyli 的 2025 年回顾 | Hyli

• 为 WASM 世界构建与 Stylus 兼容的 UltraHonk 验证器 | WakeUp Labs

• Celestia 私有区块空间 | Celestia

• Zcash 基金会：2025 年回顾 | ZCash

• 实用的隐私是区块链下一个时代的 Key | Miden

活动/黑客马拉松

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

• 以太坊隐私 MeetUp | 阿姆斯特丹 2026 年 2 月 5 日

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

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

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

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