2025/06 ZK技术进展 by ZK Mesh

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

我们为你带来最新的研究、有用的文章、视频、播客、推文、工具、项目更新和活动。 预计每个月都会有新版本。 请务必分享和订阅！

研究

• 关于 FROST 的自适应安全性 | Elizabeth Crites, Jonathan Katz, Chelsea Komlo, Stefano Tessaro and Chenzhi Zhu

• 恶意安全协作 zk-SNARKs：不仅仅是表面现象 | Sanjam Garg, Aarushi Goel, Abhishek Jain, Bhaskar Roberts and Sruthi Sekar

• 加速 Sum-Check 证明 | Suyash Bagad, Quang Dao, Yuval Domb and Justin Thaler

• DekartProof：高效的向量范围证明及其应用 | Dan Boneh, Trisha Datta, Rex Fernando, Kamilla Nazirkhanova and Alin Tomescu

• 一个用于编译自定义语言作为高效可验证虚拟机的框架 | Assimakis A. Kattis, Brian Klatt, Philip Quirk and Logan Allen

• 二进制域中的零知识多项式承诺 | Benjamin E. Diamond

• 承诺向量不经意线性求值及其应用 | Yunqing Sun, Hanlin Liu, Kang Yang, Yu Yu, Xiao Wang and Chenkai Weng

• TrafficProof：社交车联网中具有隐私保护的可靠交通信息共享 | Stefan Dziembowski, Shahriar Ebrahimi, Parisa Hassanizadeh and Susil Kumar Mohanty

• 针对主动损坏的服务器的私有信令安全 | Haotian Chu, Xiao Wang and Yanxue Jia

• SmallWood：基于哈希的多项式承诺和相对较小实例的零知识论证 | Thibauld Feneuil and Matthieu Rivain

• 迈向无需信任的出处：一种用于链上媒体验证的隐私保护框架 | Piotr Mikołajczyk, Parisa Hassanizadeh and Shahriar Ebrahimi

• 多项式完整性的计算证明，迈向可验证的反向传播 | Dustin Ray and Caroline El Jazmi

• Burn Your Vote：大规模的去中心化和公开可验证的匿名投票 | Stefan Dziembowski, Shahriar Ebrahimi, Haniyeh Habibi, Parisa Hassanizadeh and Pardis Toolabi

• Jigsaw：双重私有智能合约 | Sanjam Garg, Aarushi Goel, Dimitris Kolonelos and Rohit Sinha

• QV-net：具有最大投票秘密性的去中心化自计票二次方投票 | Zibo Zhou, Zongyang Zhang, Feng Hao, Bowen Zheng and Zulkarnaim Masyhur

文章/主题

• ZK Hack Berlin 总结 | ZK Hack

• zk-promises：来自匿名凭证的匿名审核、声誉和阻止以及回调 | Ian Miers (X 帖子)

• 深入研究 Logjumps：一种更快的模块化约简算法 | Bain Capital Crypto

• 用于 zkID 的高效客户端证明 | PSE

• zkPDF：解锁世界上最流行的文档格式中的可验证数据 | PSE

• 零知识虚拟机 (zkVM) 简介 | Veridise

• 即使数字身份是 ZK 包装的，也存在风险吗？ | Vitalik Buterin

• 解构 1.5 GHz zkVM：ZisK 如何重新定义追踪生成的极限 | Developer Uche

• 晶格设置中的 Folding schemes：按位付费和 NTT | Alberto Centelles, ICME

• 可验证 AI：从黑盒转向玻璃屋 | Wyatt Benno, ICME

• CoSNARKs 被高估了！ | Mikerah (X 帖子)

• 捕捉隐藏趋势 - 私有和去中心化 ML 训练的用例 | Indefinite / Yuriko

• BitVM：在比特币中实现高效的可验证计算 | Lambda Class

• zk-Proofs 中的子群陷阱和真实世界的漏洞利用 | Hexens

• Proofs On A Leash：带有 Greyhound 的后量子晶格 SNARK | zkSecurity

• The Longfellow ZK (Google-zk) | Dyne

视频/播客

• 密码学日 | ZuBerlin

• 25 个 zkVM：太少还是太多？ | Miden at ZuBerlin

• Sui 中的 ZK 和 Kostas Kryptos 的 zkAt | Zero Knowledge Podcast

• Hyli：围绕证明构建区块链 | Snark Chocolate

• Giza Tech：可验证的 ML 和 Agents | Snark Chocolate

• David Wong 的 AI 和 ZK 审计 | Zero Knowledge Podcast

• Abhi 和 Matteo 将 ZK 引入 Google Wallet | Zero Knowledge Podcast

• Reclaim 的 Maddy 的 zkTLS | Zero Knowledge Podcast

• [视频教程] 介绍 Zama 的 FHE 硬件加速器 - FPGA 上的 HPU | Zama

• 设计安全的 zkVM 应用程序：与 Rami Khalil (RISC Zero) 的炉边谈话 | Veridise

指南和资源

• Noir 编程和 ZK 电路课程 | Cyfrin Updraft

• 什么是 BLS 签名以及它们如何工作？ | Zellic

• 白皮书警报：探索 GKR 中的零知识 Keccak 哈希 | vlayer

• 以太坊的最佳 ISA 是什么？ - Leo Alt

• 我们对 Jagged Polynomial Commitments 的简洁解释 | Lambda Class

• Merkle Patricia Trie 简介 | Lambda Class

• 为 Binius 提供支持的字段 | Lambda Class

• Additive FFT：背景 | Lambda Class

• 深入研究使用 Merkle Tree Inclusion 作为示例的 Binius M3 算术化 | Lambda Class

• 理解 Lasso：一种新颖的查找参数协议 | Oleg Fomenko and Anton Levochko

工具/实现

• 将扩展雅可比坐标用于 SW MSM | arkworks::algebra

• 当标量较小时，提高 VariableBaseMSM 的性能 | arkworks::algebra

• 常用首字母缩略词列表 | ZK Jargon Decoder

• 在 Groth 中实现查找：减少 Bionetta 约束的第二个秘密成分 | Rarimo

• 通用可组合简洁向量承诺和应用 | Ran Canetti and Megan Chen

Bootcamp/教育/实习

• zkForge Bootcamp 2025，由 ZK Monk 提供

• 现在接受实习生 - 加入以太坊实习季 | Ethereum Foundation

漏洞

• 揭示 Solana 的 ZK ElGamal 证明程序中的幻影挑战健全性错误 | zkSecurity

项目更新

• 推出 ZisK — 零知识证明系统的新时代 | ziskvm

• 加密治理的可验证 AI：与 Sentient 的研究合作 | EigenLayer

• NockVM：用于通用可验证计算的最小 ZKVM | Nockchain

• 推出 ZKsync Airbender：世界上最快的开源 RISC-V zkVM | ZKsync

• 证明聚合 | Fermah

• 通用证明市场：ZK 终局的关键要素 | Fermah

• Linea 现在已 100% 证明 | Linea

• 深度探讨：Hyli 钱包抽象了你的身份 | Hyli

• Hyli 测试网已上线！ | Hyli

• 深度探讨：eZKasino，完全证明的 Blackjack | Hyli

• Succinct 和 Hibachi 正在构建 Endgame Exchange | Succinct

• 推出 EigenCloud，一个解锁加密应用程序时代的开发者平台 | EigenLayer

• EigenCloud：云规模可编程性，加密级可验证性 | EigenLayer

• 宣布 Zama 机密区块链协议和我们的 B 轮融资 | Zama

• StealthNote：Web3 的去中心化、私有 Glassdoor | Aztec

• Clementine V2 的研发：使用 Garbled Circuits 和 TOOP 消除抵押品和流动性要求 | Citrea

• 以太坊隐私：私有信息检索 | PSE

• 原生 ZK 验证解锁超可扩展执行 | Avail

活动/黑客马拉松

• ETHCC | 法国戛纳。 2025 年 6 月 30 日 - 7 月 3 日

• NapulETH | 意大利那不勒斯。 2025 年 7 月 17 - 19 日

• Edcon 2025 | 日本大阪。 2025 年 7 月 31 日 - 8 月 1 日

• 区块链科学会议 (SBC) 2025 | 美国加利福尼亚州伯克利。 2025 年 8 月 4 - 6 日

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

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

• 伊斯坦布尔建设者周 | 土耳其伊斯坦布尔。 2025 年 9 月 1 - 7 日

————

就是这样！ 希望你喜欢这期 ZK Mesh。 请务必订阅以在你的收件箱中获取下一期。

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