ZK Mesh: 2025年3月回顾

欢迎来到 ZK Mesh，月度通讯覆盖最新的隐私增强加密技术、分布式协议开发和零知识系统研究。

ZK Mesh 由 ZK Hack 制作。

我们为你带来最新研究、实用文章、视频、播客、推文、工具、项目更新和事件。请期待每月更新一期。务必分享和 订阅！

研究

• MERCURY: 一种具有恒定证明大小且无证明者 FFT 的多线性多项式承诺方案 | Liam Eagen 和 Ariel Gabizon

• 来自双重海绵的 Fiat-Shamir 转换 | Alessandro Chiesa 和 Michele Orrù

• 拥有一个组元素的指定验证者 SNARGs | Gal Arnon, Jesko Dujmovic 和 Yuval Ishai

• Samaritan: 来自新多线性多项式承诺的线性时间证明 SNARK | Chaya Ganesh, Sikhar Patranabis 和 Nitin Singh

• 攻击 Gemini 多项式承诺方案的可靠性优化 | Lydia Garms 和 Michael Livesey

• 在经过身份验证的数据上进行状态计算的 SNARKs | Johannes Reinhart, Erik-Oliver Blass 和 Bjoern Annighoefer

• 精细化的验证者 NIZK 及其应用 | Shuai Han, Shengli Liu, Xiangyu Liu 和 Dawu Gu

• 针对椭圆曲线密码学的 PMNS 算法 | Fangan Yssouf Dosso, Sylvain Duquesne, Nadia El Mrabet 和 Emma Gautier

• zkAML: 在智能合约中使用白名单方法的零知识反洗钱 | Donghwan Oh, Semin Han, Jihye Kim, Hyunok Oh, Jiyeal Chung, Jieun Lee, Hee-jun Yoo 和 Tae wan Kim

• 针对机器学习中的非线性函数的可扩展零知识证明 | Meng Hao, Hanxiao Chen, Hongwei Li, Chenkai Weng, Yuan Zhang, Haomiao Yang 和 Tianwei Zhang

• 关于 KZG 多项式承诺方案家族的可提取性 | Juraj Belohorec, Pavel Dvořák, Charlotte Hoffmann, Pavel Hubáček, Kristýna Mašková 和 Martin Pastyřík

• VeRange: 针对区块链应用及其他的验证高效的零知识区间论证，具有透明设置 | Yue Zhou 和 Sid Chi-Kin Chau

• zkPyTorch: 一个针对零知识机器学习的分层优化编译器 | Tiancheng Xie, Tao Lu, Zhiyong Fang, Siqi Wang, Zhenfei Zhang, Yongzheng Jia, Dawn Song 和 Jiaheng Zhang

• Plonkify: R1CS 到 Plonk 转译器 | Pengfei Zhu

• JesseQ: 针对任意场的电路的高效零知识证明 | Mengling Liu, Yang Heng, Xingye Lu 和 Man Ho Au

• 传统签名证明所有权的高效方法 | Anna P. Y. Woo, Alex Ozdemir, Chad Sharp, Thomas Pornin 和 Paul Grubbs

• Soloist: 针对 Rank-One contraintes 系统的分布式 SNARKs | Weihan Li, Zongyang Zhang, Yun Li, Pengfei Zhu, Cheng Hong 和 Jianwei Liu

文章/帖子

• 通往安全高效 zkVM 的路径：如何跟踪进展 | Justin Thaler

• 揭开 zkTLS 的现实：基准测试和密码分析报告 | Primus Labs

• 机器学习应该是可验证的 | EZKL

• Intmax: 基于 Plasma 和有效性证明的可扩展支付 L2 | Privacy and Scaling Explorations (PSE)

• 关于后量子 Verkle 探索的简短备注 | CPerezz (@CPerezz19)

• RISC Zero 的 ZK-VM 安全性：Veridise 如何使 RISC Zero 实现可证明和持续的 ZK 安全性 | Veridise

• ZK-MPC-FHE-TEE 是真的存在吗？ | Aztec

• Circom MPC: TL;DR 和回顾 | Privacy and Scaling Explorations (PSE)

• 隐私 2.0: PETs 与隐私共享状态的承诺 | Archetype

• 深入探讨 ZKP2P | ZKP2P

• 基于浏览器的 p256 ECDSA 证明系统性能基准测试 | Hylé

• 黑客之家故事：构建一个经过认证的图像编辑器 | Succinct

• 在 AI 时代的身份 | Zé Pedro (@zkpedrongmi)

• BitVM: 通过电路抽象解锁比特币上的任意计算 | zkSecurity

• zkTLS 设计选择：不透明与索回 | Shivani (@0xShivani)

• 使用比特币构建：对其脚本系统在各项目中使用的调查 | Zellic

• 关于 X 上的 “ZKWS S2: 完整旅程” 主题 | ZK Hack

视频/播客

• 与 RareSkills 的 Jeffrey 学习 ZK | Zero Knowledge Podcast

• 通过 ZK 邮件使 ZK 更人性化 | Zero Knowledge Podcast

• 与 Austin Hill 一起创建零知识系统 | Zero Knowledge Podcast

• Rute 论居民证明 | Hylé

• 与 Sean Bowe 的 Zcash 可扩展性 - ZconVI | Zcash

• 深入 VOLE 基础的零知识 - Xiao Wang | Privacy and Scaling Explorations (PSE)

• ZK Hack 聚会录音播放列表 | ZK Hack

指南和资源

• Cryptomat: 我对各种密码学概念的持续总结努力 | Alin Tomescu (@alinush407)

• GKR 协议：逐步示例 | Lambda Class

• Barrett-Montgomery 对偶性及只需 n^2+1 位乘法的新多精度模约简方案 | Ingonyama

漏洞/披露

• ZKarnage: 通过最大痛苦对 ZK 系统进行压力测试 | Conner Swann (yourbuddyconner)

• 攻击隐私链：在规模与家庭 | Sundial

工具/实现

• Noir 中的 Semaphore | Distributed Lab

• Agglayer 悲观证明与 zkVMs 中基准测试 | Brian Seong (@BrianSeong99)

• libZK: 一个零知识证明库 | Google

项目更新

• 任何计算都是可验证的，使用廉价的链上折叠验证器 | NovaNet

• Rarimo 推出 ZK Roll-up | Rarimo

• 宣布 DeepProve：用于监控 AI 的 zkML | Lagrange

• Pi Squared 白皮书 | Pi Squared

• 介绍 clean，一个用于 zk 电路的形式化验证 DSL 在 Lean4 中 | zkSecurity

• 与 Valida 的客户端证明和验证 | Lita

• OP Kailua 将一个 OP 链转变为 ZK Rollup | RISC Zero

• 案例研究：使用 ICICLE 加速 Zircuit 的零知识证明 | Ingonyama

• ICICLE-Snark：世界上最快的 Groth16 实现 | Ingonyama

• Nexus Runtime: 驱动互操作性的 ZK 状态验证 | Avail

• Scroll 路线图 2025：安全性、扩展性和更好的用户体验 | Scroll

• LLZK: ZK 语言的新中间表示 (IR) | Veridise

• zkVerify: 在规模上优化 ZK 证明验证 | Delphi Digital

• Matter Labs 使用 Lagrange 在弹性链上去中心化证明 | Lagrange

• 介绍 Sindri Explorer: ZK 应用的图灵面具 | Sindri

• Leo 编程语言：快速、安全，值得等待！🦁 | Aleo

事件/黑客马拉松

• ZK Hack 会议 #11 | 台湾台北。2025年4月1日

• ETHGlobal 台北 | 台湾台北。2025年4月4日至6日

• BUIDL 亚洲 | 韩国首尔。2025年4月15日至16日

• 隐形花园 | 哥斯达黎加。2025年4月21日至5月31日

• zkSummit13 | 多伦多。2025年5月12日

• ETHGlobal 布拉格 | 捷克布拉格。2025年5月30日至6月1日

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

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

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

————

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

最后，如果你有什么认为应该包含在下一期的内容或格式建议，请在推特上联系我们 @__zkhack__！

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