ZK Mesh：2025年10月回顾

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

ZK 网格：2025 年 10 月回顾

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

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

研究

• Symphony：基于格的高阶折叠的随机预言模型中的可扩展 SNARK | Binyi Chen

• Zk-cookies：Web 的持续匿名身份验证 | Alexander Frolov, Hal Triedman and Ian Miers

• 线性*-时间置换检查 | Benedikt Bünz, Jessica Chen and Zachary DeStefano

• 具有混合验证技术的基于格的 zk-SNARK | Supriya Adhikary, Puja Mondal and Angshuman Karmakar

• 关于优化 gemini 变体的正确性的说明 | Ariel Gabizon and Nishat Koti

• 高吞吐量通用可组合阈值 FHE 解密

• 线性和对数可靠的置换和多重集 SNARK | Bing-Jyue Chen, Lilia Tang, David Heath and Daniel Kang

• 面向 SwissPost 投票系统的形式化验证和损坏设置安全性 | Sevdenur Baloglu, Sergiu Bursuc, Reynaldo Gil-Pons and Sjouke Mauw

• Golden：轻量级非交互式分布式密钥生成 | Benedikt Bünz, Kevin Choi, Chelsea Komlo,

• Poseidon2b：Poseidon2 的二元域版本 | Lorenzo Grassi, Dmitry Khovratovich, Katharina Koschatko, Christian Rechberger, Markus Schofnegger, Verena Schröppel

• Dynark：使 Groth16 动态化 | Tianyu Zhang, Yupeng Ouyang and Yupeng Zhang

• CoBBl：用于 SNARK 的动态约束生成 | Kunming Jiang, Fraser Brown and Riad S. Wahby

• 密码学角色：没有去匿名化的负责任的假名 | Rachel Thomas, Oliwia Kempinski, Hari Kailad, Emma Margaret Shroyer, Ian Miers and Gabriel Kaptchuk

• FRI 的简化逐轮正确性证明 | Albert Garreta, Nicolas Mohnblatt and Benedikt Wagner

文章/主题

• 智商 < 200 的拉格朗日插值 | Lauri Peltonen

• LatticeFold 架构系列概述 | Stanford Blockchain Review

• Blindfold | Srinath Setty

• Zkzkevm：私有 evm | Barry Whitehat

• 从 Pedersen 承诺的范围证明中删除配对、Bulletproofs 或 ZKP | Leona Hioki

• Roc Camera：一种可以证明图像不是 AI 生成的相机 | Gigazine

• zkVM 和 ZK 数据协处理器的无限可验证计算层 | Brevis

• 使用 ZisK 进行极速开发：分布式证明生成 | Abix

• 隐私通行证 + x402 = x402 的盲化 | Kobi Gurkan

• 展开 Bulletproofs 的魔力：SageMath 深入研究 | zkSecurity

• 密码学对自己隐藏了什么？ | Diego F. Aranha, Nikolas Melissaris

• 隐私事项 – TEE、ZK、MPC 和 FHE 之间的区别 | Eli Ben-Sasson

• Solana 正在添加现代 ZK 系统调用 | Solana Foundation

视频/播客

• ZKPassport、Obsidion 和新兴的 Noir 生态系统 | ZK Podcast

• Payy 和 Payy Card，不可撤销的信用卡 | ZK Podcast

• ZK 白板会议模块 4： LatticeFold，w/ Binyi Chen | ZK Hack

• ZK 白板会议模块 5： Ligero 证明系统，w/ Muthu Venkitasubramaniam | ZK Hack

• 私有 Zcash 到 Aztec 转账演示 | Aztec

• 使零知识智能合约开发可访问、安全和实用 | LF Decentralized Trust

指南和资源

• SoK：查找表参数 | Hossein Hafezi, Gaspard Anthoine, Matteo Campanelli and Dario Fiore

• 细分 Bulletproofs：没有配对，没有可信设置 | zkSecurity

• 智商 < 200 的拉格朗日插值 | Lauri Peltonen

工具/实现

• Rookie Numbers：一个新的 sha256 预编译 | ClementWalter

  // 这里是 sha256 预编译的代码

• 将私有场外交易 (OTC) 互换引入加密货币 | Aztec

漏洞

• MACI 平台审计 | Hashcloak

• 通过 `sys_read` 中的内存安全故障在访客中执行任意代码 | RiscZero

• 基于 Graeffe 的对 Poseidon 的攻击和 NTT 下界 | Ziyu Zhao, Antonio Sanso, Giuseppe Vitto and Jintai Ding

• Fault to Forge：对 LESS 签名方案的故障辅助伪造攻击 | Puja Mondal, Suparna Kundu, Hikaru Nishiyama, Supriya Adhikary, Daisuke Fujimoto, Yuichi Hayashi and Angshuman Karmakar

项目更新

• PSE Retreat Synthesis Report | PSE

• 通过新的融资机制支持隐私 | Ethereum Foundation

• SP1 Hypercube 的形式化验证 | Succinct

• ZisK 中的安全挑战派生 | ZisK

• Brevis 指南：一切的无限计算层 | Brevis

• Zashi 互换：去中心化入口已上线 | Electric Coin Company

• Citrea 完全完成了其审计阶段：迈向主网的重要一步 | Citrea

• Miden x Ligero | Miden & Ligero

• FibRace 基准测试结果已发布！ | Hylé

• 升级 Succinct Prover Network：私有证明就在这里 | Succinct

• ZK 相似性 | Rarimo

• Sway Spotlight：Haven | Fuel Network

• 基于 EUDI 钱包中算术电路的零知识证明实现的规范 | EU DID 钱包

• Provably V2 发布 | Provably

• OpenVM 在 EthProofs 上直播 | OpenVM

• Succinct 的 SP1 HyperCube zkVM 的形式化验证 | Nethermind

活动/黑客松

• 来自 Web3privacy 的 Ethereum Privacy Stack | 阿根廷布宜诺斯艾利斯。11 月 16 日

• Ethereum Cypherpunk Congress #2 | 阿根廷布宜诺斯艾利斯。11 月 16 日

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

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

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

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

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

• ETHGlobal：布宜诺斯艾利斯 | 阿根廷布宜诺斯艾利斯。11 月 21-23 日

• 密码学理论会议 (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 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～