ZK 月报：2025年8月回顾

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

ZK Mesh：2025 年 8 月回顾

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

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

研究

• Sumcheck 的时间-空间权衡 | Anubhav Baweja, Alessandro Chiesa, Elisabetta Fedele, Giacomo Fenzi, Pratyush Mishra, Tushar Mopuri and Andrew Zitek-Estrada

• 约束友好的映射到椭圆曲线群关系及其应用 | Jens Groth, Harjasleen Malvai, Andrew Miller and Yi-Nuo Zhang

• Glock：比特币的 Garbled Locks | Liam Eagen

• zip：减少基于哈希的 SNARG 的证明大小 | Giacomo Fenzi, Yuwen Zhang

• 不平等世界中的数据匹配及其在智能合约中的应用 | Dmitry Khovratovich, Mikhail Vladimirov and Benedikt Wagner

• Coral：快速简洁的非交互式零知识 CFG 证明 | Sebastian Angel, Sofía Celi, Elizabeth Margolin, Pratyush Mishra, Martin Sander and Jess Woods

• 设计 ZK-NR：一种用于法律上可解释的零知识不可否认证明的后量子分层协议 | Minka Mi Nguidjoi Thierry Emmanuel, Mani Onana Flavien Serge, Djotio Ndié Thomas and Atsa Etoundi Roger

• qedb：富有表现力和模块化的可验证数据库（没有 SNARK） | Vincenzo Botta, Simone Bottoni, Matteo Campanelli, Emanuele Ragnoli and Alberto Trombetta

• DIMSEPP：一种具有增强隐私保护的去中心化身份管理系统 | Yu Zhang and Zongbin Wang

• RGB I.0：用于客户端验证智能合约的可扩展共识 | Maxim Orlovsky

• AVPEU：具有扩展可用性的匿名可验证演示文稿 | Yalan Wang, Liqun Chen, Yangguang Tian, Long Meng and Christopher J.P. Newton

• 我们什么时候可以增量证明任意深度的计算？ | Matteo Campanelli, Dario Fiore and Mahak Pancholi

• 适用于任何线性最小熵的高效随机强 $2$-源非延展提取器 | Divesh Aggarwal, Pranjal Dutta, Saswata Mukherjee, Satyajeet Nagargoje and Maciej Obremski

• TLShare：通过 TLS 的私有身份验证 MPC 和 FHE 输入 | Manuel B. Santos, Dimitris Mouris, Xiang Xie, Miguel de Vega and Andrei Lapets

• PQ-STAR：后量子无状态可审计重新密钥 | Shlomi Dolev, Avraham Yagudaev and Moti Yung

文章/主题

• 优化 Sumcheck | Lambda Class

• 多线性多项式：生存工具包 | Lambda Class

• 你从未听说过的签名方案 | Kobi Gurkan

• 那么，Ethproofs 到底是什么？ | Zero Knowledge Podcast

• 基于 STARK/哈希的证明实现真的是 ZK 吗？ | Ian Miers

• 内积参数 | Sean Bowe

• Circle STARKs：第三部分，Circle FFT | zkSecurity

• 关于区块链隐私的 6 个误解 | a16z

• Jolt 获得了 6 倍的加速 - 我们才刚刚开始 | a16z

• Sumcheck 很好。查找很好。JOLT 很好。特别是对于零知识机器学习 | ICME

• Lattice Cryptography 的 HD 钱包 | Ethresearch

• 使用受 Ligero 启发的解决方案进行欧盟年龄验证 | Mamy Ratsimbazafy

• DID 和社交图形是失败的吗？ | Satvik

视频/播客

• Ethproofs Call #4 | 封装 RISC-V？ | Ethproofs

• Miranda Christ 如何用 ZK 激发 AI 水印 | ZK Podcast

• Vikas Rushi 和 Ying Tong 的 zkPDF 和 zkID | ZK Podcast

• Justin Drake 的 Ethproofs、zkVM 基准测试和 ZK 的势不可挡的崛起 | ZK Podcast

• 更轻、Perp DEX 和自定义 ZK 电路 | ZK Podcast

• 纽约市聚会视频：ZK Hack 聚会 | ZK Hack

• zkForge Bootcamp - 零知识简介 | zkForge

• ZK-Snarks 的 Moonmath 手册 | ProgCrypto (ZK) Study Group 2025

指南和资源

• 域扩展上的线性代数 | Guille Angeris

• 评估 ZK 证明系统可信设置的公共框架 | L2Beat

• Jolt | a16z

• 𝒫𝔩𝔬𝔫𝒦：实践深入研究 | zkSecurity

• 以太坊的 WHIR | Thomas Coratger, Giacomo Fenzi

• 我的 ZK 之旅：从 HTML 到可验证的高分 | zkVerify

工具/实现

• Noir Playground | 0xandee

• Aragon x MACI 私人投票 | Aragon & PSE

• 笛卡尔 Merkle 树 | Nethermind

• ZEX v0.1：保密点对点 DEX | Ethresearch

• 以用户为中心的私有数据可用性 | Celestia Forum

漏洞

• Monero 51% 攻击 | Charles Guillemet

• 在 ZisK 中发现两个关键的健全性错误 | COSTA research group

• RiscZero 漏洞 | RiscZero

项目更新

• 宣布 LLZK：用于 ZK 的统一、开源中间表示 (IR) | Veridise

• Ensue 公开 | Ensue

• Penumbra Labs 即将结束 | Penumbra

• Arbitrum 链上的 ZK 证明 | Succinct

• 推出 ZK Coin | Boundless

• 推出 AnomaPay：一个安全的全球稳定币路由器和支付网络 | Anoma

• 推出 Payy Card | Payy

• Glock 来了 | Alpen Labs

• 战略捆绑，模块化复杂性的解药 | Zorp

• Aleo 代币将在 Revolut 上市 | Aleo

• 屏蔽 ZEC 的去中心化链下匝道 | Zashi

• ZKWASM 代币经济学周期 | Delphinus Labs

• 证明时代：为 Web 构建隐私优先的年龄验证基础设施 | Kakarot

• 推出 Hyli 指南 | Hylé

• 无限可验证计算来到 Linea | Brevis

活动/黑客马拉松

• Builders Week Istanbul | 土耳其伊斯坦布尔。2025 年 9 月 1 日至 7 日

• Decompute 2025 | 2025 年 9 月 30 日和 11 月 11 日

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

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

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

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

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

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

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

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

• Asiacrypt | 澳大利亚墨尔本。2025 年 12 月 8 日至 12 日

————

就是这些！

希望你喜欢这期 ZK Mesh。请务必订阅，以便在你的收件箱中收到下一期。

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