ZK Mesh：2025年7月回顾

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

在 ZK 领域招聘吗？立即将你的职位添加到 ZK 职位公告板！

研究

• EdDSA 链中的后量子准备 | Foteini Baldimtsi, Konstantinos Chalkias 和 Arnab Roy

• 重新审视 IPA-sumcheck 连接 | Liam Eagen 和 Ariel Gabizon

• 具有线性大小 CRS 的 NP 的基于配对的批量参数 | Binyi Chen, Noel Elias 和 David J. Wu

• 无需 Epoch 的批量解密及其在加密内存池中的应用 | Dan Boneh, Evan Laufer 和 Ertem Nusret Tas

• 基于 Ring-LWR 的承诺和 ZK-PoK，应用于可验证的量子安全可搜索对称加密 | Debadrita Talapatra, Nimish Mishra 和 Debdeep Mukhopadhyay

• Hobbit: 具有最佳证明者时间的节省空间的 zkSNARK | Christodoulos Pappas 和 Dimitrios Papadopoulos

• Log Star 轮中的线性证明者 IOP | Noor Athamnah, Noga Ron-Zewi 和 Ron D. Rothblum

• 有效解析现有的 eID 文档以进行零知识证明 | Tom Godden, Ruben De Smet, Kris Steenhaut 和 An Braeken

• NOPE：通过简洁证明加强域名认证 | Zachary DeStefano, Jeff J. Ma, Joseph Bonneau 和 Michael Walfish

• 来自线性可验证 SNARK 的见证加密框架及其应用 | Sanjam Garg, Mohammad Hajiabadi, Dimitris Kolonelos, Abhiram Kothapalli 和 Guru-Vamsi Policharla

• RoK and Roll – 用于 Õ(λ) 大小格参数的验证者有效随机投影 | Michael Klooß, Russell W. F. Lai, Ngoc Khanh Nguyen 和 Michał Osadnik

• FRIttata：基于 FRI 的 SNARK 的分布式证明生成 | Hua Xu, Mariana Gama, Emad Heydari Beni 和 Jiayi Kang

• 多项式承诺演化中的 Shred-to-Shine 变形 | Weihan Li, Zongyang Zhang, Sherman S. M. Chow, Yanpei Guo, Boyuan Gao, Xuyang Song, Yi Deng 和 Jianwei Liu

• 来自 AB-LFE、HMAC 或无隐私 GC 的具有简洁链上成本的 BitVM | Weikeng Chen

• HyperFond：一种具有多对数通信的透明的后量子分布式 SNARK | Yuanzhuo Yu, Mengling Liu, Yuncong Zhang, Shi-Feng Sun, Tianyi Ma, Man Ho Au 和 Dawu Gu

• Interstellar：基于 GKR 协议的低证明者成本折叠方案，用于电路满足性 | Jieyi Long

• 密码学中的哥德尔：NP 的有效零知识证明，无需交互、无需设置且具有完美可靠性 | Rahul Ilango

• 配对友好曲线上的批量子群成员资格测试 | Dimitri Koshelev, Youssef El Housni 和 Georgios Fotiadis

• 关于弱 NIZK、单向函数和放大 | Suvradip Chakraborty, James Hulett 和 Dakshita Khurana

文章/主题

• 识别 zkVM 中的常见漏洞 | Veridise

• 用 MPC 重写 KYC | TACEO

• Bug Hunt: 零知识，完全偏执，以及回望的人工智能 | zksecurity

• 已验证计算的未来 | Psycho Virtual

• 可验证的 AI 内存 | ICME

• Metal MSM v2：探索 Apple GPU 上的 MSM 加速 | PSE

• 由于 DogeOS 的推动，狗狗币可能很快就能原生验证 ZK 证明 | Coindesk

• 我们首次深入研究 Aztec 的 Noir 语言，ZK 审计员学到了什么 | Nethermind

• 美国数字资产报告 (第 116 页提到了 zk) | Whitehouse.gov

• 发布 L1 zkEVM #1：实时证明 | Ethereum Foundation

• Polocolo 简介：一种用于 PLONK 的 ZK 友好哈希函数，带有查找（第 1 部分） | Zellic

视频/播客

• 数字身份中的隐私不变性 | Dappcon

• 通过 Self 将 ID 上链 | ZKPodcast

• Local-First with grjte and Goblin Oats | ZKPodcast

• Ligero for Memory-Efficient ZK with Muthu | ZKPodcast

• 10 年后的密码学：混淆、证明系统和安全计算时间表 (包括视频) | Simons Berkeley

• Vitalik Buterin 谈以太坊隐私 | @Web3Privacy 黑客马拉松

• Beam day (播放列表) | Ethereum Foundation

指南和资源

• 如何编写和审计安全的 zkVM 应用程序：以 RISC Zero 为例 | Veridise

• GKR 协议实现：深入研究代码 | Lambda Class

• DeKART：如何在零知识中证明许多范围 ) | Alin Tomescu

• Hyrax 多项式承诺方案 ) | Alin Tomescu

• KZH 多项式承诺 ) | Alin Tomescu

• 多线性多项式和多线性扩展 (MLE) | Alin Tomescu

• Let's Labrador | Ingonyama

工具/实现

• ICICLE v4.0.0 | Ingonyama

• Ligero Prover 发布 | Ligero

• zkVM 示例 | Soundness

• 网络请求分析器扩展 | seichris

• ZK Playbook | Ethereum Attestation Service

• Longfellow ZK | Google

漏洞

• BinaryMerkleRoot 电路中的约束不足错误（在 v2.0.0 中修复） | PSE

• 揭示 Halo2 中的查询冲突错误：单个额外查询如何破坏可靠性 | zksecurity

• 推出两种 ROS 攻击变体：打破 BZ 盲签名的 One-more 不可伪造性 | Bruno M. F. Ricardo, Lucas C. Cardoso, Leonardo T. Kimura, Paulo S. Barreto 和 Marcos A. Simplicio Jr

项目更新

• 2025 年 7 月新闻通讯 | PSE

• 重塑 Web3 中的 KYC/AML | Ligero

• TACEO:Proof 已在生产环境中上线 | Taceo

• Aleo 宣布自主网以来的最大升级 | Aleo

• Boundless 主网 Beta 版已上线 | Boundless

• Google Cloud 与 Self 集成，通过人类用户推动 AI 采用和 Web3 创新 | Self

• Self 现在支持欧盟 ID 扫描以进行身份验证 | Self

• Zisk v0.10.0 已发布 | Zisk

• Testnet Retro：为你准备的一小片，Hyli 的一大步！ | Hyli

• Aztec 进入其公共测试网的新阶段：推出对抗性测试网 | Aztec

• SP1-CC 简介：释放 EVM 的全部力量 | Succinct

• Citrea 在使用 BitVM 实现比特币验证中的作用 | Citrea

• IMP1：将零知识证明带到移动设备 | Ingonyama

• Anoma 测试网已上线！ | Anoma

• Kakarot x S-two：将 ZK 带到日常设备 | StarkWare

• 如何学习 o1js | o1labs

• 深入堆栈——但不要太深 | zkSync

训练营/教育/实习

• ASCrypto 2025

• zkFORGE 训练营 2025

活动/黑客马拉松

• 区块链科学会议 (SBC) 2025 | 美国伯克利。2025 年 8 月 4 日至 6 日

• 椭圆曲线密码学 ECC 2025 研讨会 - 2025 年 8 月 11 日（虚拟）

• ETH Global 纽约 2025 | 美国纽约市。2025 年 8 月 15 日至 17 日

• ZK Hack 聚会 | 美国纽约市。2025 年 8 月 17 日

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

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

————

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