2025/05 ZK 技术进展 by ZK Mesh

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

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

研究

• Jagged Polynomial Commitments (或：如何堆叠多线性) | Tamir Hemo, Kevin Jue, Eugene Rabinovich, Gyumin Roh 和 Ron D. Rothblum

• Poseidon and Neptune：利用子空间轨迹的 Gröbner Basis 密码分析 | Lorenzo Grassi, Katharina Koschatko 和 Christian Rechberger

• Ligerito：一种小型且具体快速的多项式承诺方案 | Andrija Novakovic 和 Guillermo Angeris

• Logup*：用于小表索引查找的更快、更便宜的 logup 参数 | Lev Soukhanov

• 通过基于Graeffe的NTT友好域上的求根攻击Poseidon | Antonio Sanso 和 Giuseppe Vitto

• 基于IOP的简洁论证的量子重绕 | Alessandro Chiesa, Marcel Dall'Agnol, Zijing Di, Ziyi Guan 和 Nicholas Spooner

• Polocolo：一种基于使用幂剩余 S 盒的 ZK 友好哈希函数（完整版） | Jincheol Ha, Seongha Hwang, Jooyoung Lee, Seungmin Park 和 Mincheol Son

• 区块链的零知识验证器：策略私有且可遗忘地更新 | Kostas Kryptos Chalkias, Deepak Maram, Arnab Roy, Joy Wang 和 Aayush Yadav

• SN(T)ARK 电路中快速椭圆曲线标量乘法 | Liam Eagen, Youssef El Housni, Simon Masson 和 Thomas Piellard

• 关于来自函数承诺的简洁论证的Fiat–Shamir安全性 | Alessandro Chiesa, Ziyi Guan, Christian Knabenhans 和 Zihan Yu

• Clementine：一种具有抵押效率、信任最小化和可扩展的比特币桥 | Ekrem Bal, Lukas Aumayr, Atacan İyidoğan, Giulia Scaffino, Hakan Karakuş, Cengiz Eray Aslan 和 Orfeas Stefanos Thyfronitis Litos

• HyperWolf：来自格的高效多项式承诺方案 | Lizhen Zhang, Shang Gao 和 Bin Xiao

• 零知识证明电路中一致性的自动验证 | Jon Stephens, Shankara Pailoor 和 Isil Dillig

• HydraProofs：最优计算向量承诺中的所有证明（应用于来自多个用户的有效 zkSNARKs） | Christodoulos Pappas, Dimitris Papadopoulos 和 Charalampos Papamanthou

• 在超立方体的顶部 - 基于哈希签名的更好的大小-时间权衡 | Dmitry Khovratovich, Mikhail Kudinov 和 Benedikt Wagner

• 来自压缩和校验的亚对数线性时间 SNARK | Nitin Singh 和 Sikhar Patranabis

文章/帖子

• 发生在 AI 上的事情也发生在 ZK 上 | Conner Swann

• 比较 Ligerito 和 WHIR | Nico Mohnblatt

• zkTLS 公司和用例 | Reflexical (@reflexical)

• 基于格的签名聚合 | EthResearch，作者：David Nevado、Dohoon Kim 和 Miha Stopar

• Google 钱包 ZK 系统更新 | Wei Dai (@_weidai)

• 我们的证明者的谎言 | Kobi Gurkan

• 今天如何使用零知识证明在互联网上启用年龄验证 | Aztec

• 未来的zk实时证明 | Orest Tarasiuk (@OrestTa)

• libZK亮点，Google 钱包 ZKP | Nicolas Mohnblatt

视频/播客

• 与 Michael Klein 的炉边谈话：深入了解 Noir——Aztec 的 ZK 语言、安全性和工具详解 | Veridise

• 与 Nethermind 的 Matthew 和 Albert 一起实施 LatticeFold | Zero Knowledge Podcast

• 基于格的 ZK 系统与 Vadim Lyubashevsky | Zero Knowledge Podcast

• zkSummit 13 多伦多录音播放列表 | Zero Knowledge Podcast

• Prover 杀手 Rap | Conner Swann

• 我们需要有可编程隐私 | ZkCloud

• Ethproofs Call #2：实时证明 | Ethereum

• Miden 区块链：边缘优先，ZK 原生 | Snark Chocolate

指南和资源

• Private Proof API | explainers-by-googlers

• 实时以太坊证明 | Succinct

• KZG 的变体：第一部分，单变量 | zkSecurity

• R1CS 与 Plonk：零约束线性 | Rarimo

• 基于 TEE 的私有证明委托 | PSE

工具/实现

• Plonkify：R1CS-to-Plonk 转译器 | Pengfei Zhu

• 作为私钥的物理对象 | Dr. Z (@dr_zircuit)

• 匿名积分代币 | Jonathan Katz 和 Samuel Schlesinger

• Ix：一个零知识证明携带代码平台 | Argument

• 跨移动平台集成 Mopro 本机包 | PSE

漏洞

• 事后分析：ZK ElGamal 证明程序错误 | Solana Foundation

• Google 研究人员降低量子门槛以破解 RSA 加密 | Matt Swayne

项目更新

• 现在使用 Google 钱包证明年龄和身份更容易了 | Google

• Web3 的新时代：推出 Aztec 公共测试网 | Aztec

• ZEROBASE X ICICLE：加速大规模实时 ZK 应用 | Ingonyama

• Lambda 与 Miden 的新战略合作伙伴关系：边缘区块链 | Lambda Class

• S-two Prover | Starkware

• Valida ISA Spec，版本 1.0：一种 zk 优化的指令集架构 | Lita

• SP1 Hypercube：实时证明以太坊 | Succinct

• SP1 已准备好比特币：比特币上的 ZK 时代已经开始 | Succinct

• vlayer 启动主网：使智能合约对数十亿人有用的下一步 | vlayer

• 使用 Picus 验证 SP1 电路的确定性：Veridise 和 Succinct 之间的合作 | Veridise

• powdr-OpenVM：端到端自动预编译 | powdr

• Bionetta：终极客户端 ZKML。技术概述 | Rarimo

• PetraVM，一个基于 Binius 的可验证 VM | Irreducible 和 Polygon

• 机密证明委托 | Fermah

• 推出 ICICLE-Stwo：GPU 加速的 Stwo Prover | Ingonyama

• Boundless 背后的架构 | Boundless

活动/黑客松

• W3PN_Hacks | 德国柏林。2025 年 6 月 13 日

• DappCon 25 | 德国柏林。2025 年 6 月 16 日至 18 日

• ZuBerlin 2025 | 德国柏林。2025 年 6 月 14 日至 22 日

• ZK Hack Berlin 黑客松 | 德国柏林。2025 年 6 月 20 日至 22 日

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

————

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