zkMesh：2026年4月月报

欢迎阅读 ZK Mesh，这是一份每月人工精选的通讯，涵盖最新的高级隐私增强密码学、分布式协议开发和零知识系统研究。以下是我们分享的 ZK 领域及其他方面的最新研究、实用文章、视频、播客、推文、工具、项目更新和活动！

研究

• VEIL: 基于哈希的多线性证明系统的轻量级零知识 | Rahul Dalal、Tamir Hemo、Eugene Rabinovich 和 Ron Rothblum
• 临近签名 | Guillermo Angeris 和 Kobi Gurkan
• 列表解码和相关一致性的开放问题 | Gal Arnon、Dan Boneh 和 Giacomo Fenzi
• ZK-VSA: 利用相位声码器与时间尺度修改的可验证零知识说话人匿名化 | Shuang Liang、Yang Hua、Peishen Yan、Linshan Jiang、Tao Song 和 Bin Yao
• 单项式基上的 Sum-Check 协议及其他优化 | Quang Dao、Ari Biswas、Liam Eagen、Andrew Milson、Shahar Papini 和 Justin Thaler
• 使用部分分式技术的高效批量阈值加密 | Dan Boneh、Rohit Nema、Arnab Roy 和 Ertem Nusret Tas
• HyperVerITAS: 在布尔超立方体上大规模验证图像变换 | Garrett Greiner、Toshi Mowery 和 Pratik Soni
• VeriRAG: 可验证检索增强生成的高效零知识证明 | Chenqi Lin、Yubo Cui、Zhelei Zhou、Cheng Hong、Yufei Wang、Zhaohui Chen 和 Meng Li
• PlasmaBlind: 具有即时客户端证明的私有第二层 | Pierre Daix-Moreux 和 Chengru Zhang
• 可验证的分治 | Omer Paneth 和 Rafael Pass
• PipeSC: 面向 Sumcheck 协议的资源高效流水线硬件加速器 | Kaixuan Wang、Yifan Yanggong、Xiaoyu Yang、Chenti Baixiao 和 Lei Wang
• 用于零知识证明生成的安全 MSM 外包计算 | Wujie Xiong、Arefeh Rahaei、Sangwon Shin、Xinxin Fan、Taeweon Suh、Veronika Kuchta、Sica Francesco、Weidong Shi 和 Lei Xu
• 临近间隙接近容量的失效 | Dmitry Krachun、Stepan Kazanin 和 Ulrich Habök
• zkRAG: 在零知识中高效证明 RAG 检索 | Yanze Jiang、Xinyang Yang、Xuanming Liu、Yanpei Guo 和 Jiaheng Zhang
• 进度零知识证明: 安全的多阶段 CTF 竞赛 | Salam Khanji、Behzad Abdolmaleki、John Clark 和 Aryan Pasikhani
• 基于编码的可扩展协作 SNARK | Christodoulos Pappas、Dimitrios Papadopoulos 和 Charalampos Papamanthou
• ACTS: TLS 会话中的内容认证 | Pierpaolo Della Monica、Ivan Visconti、Andrea Vitaletti 和 Marco Zecchini
• 面向零知识证明优化的秘密携带拼图与混淆电路 | Debasish Ray Chawdhuri 和 Manoj Prabhakaran

文章/帖子

• Sum-Check 作为代数张量约简：第一部分 | ZK Security
• 比特币上的 ZK — 布丁里的证明 #9 | ZK Security
• 帧交易与隐私的三扇门 | Nero_eth
• 来自 Tachyon 的 Shielded CSV 洞见 | Gus Gutoski
• 协调三难困境中的可验证性 | The Interfold
• Scott Aaronson：关于谷歌量子计算论文 | Scott Aaronson
• 我们击败了谷歌的量子密码分析零知识证明 | Trail of Bits
• 格密码学的数学导论：量子安全解决方案 | CalBlockchain
• ERC：FHE 计算验证标准 — 通过递归 ZK 证明对加密计算进行无信任验证 | Valisthea
• 理解 Ultrahonk 验证器 | HashCloak

视频/播客

• 布丁里的证明 #9 — 比特币上的 ZK（与 Archetype 合作） | zksecurityXYZ
• 与 Provably 的 Shyam 和 Emanuele 探讨可验证数据库 | ZK Podcast
• ZK 已死？还是刚刚开始？与 ZK Pod 联合主持人对话 | ZK Podcast
• Dev Ojha 谈 Osmosis 故事及其回归隐私 | ZK Podcast
• 与 Jordi 的炉边谈话：EEZ I Jordi Baylina 和 Kartik Talwar | EthGlobal
• 如何在 Aztec 上为 Solidity 开发者构建私有智能合约 | Aztec
• Guardian 直播：当前与未来用例 | Miden

指南与资源

• 逆数论变换 | RareSkills
• 在 Plonky3 中构建默克尔树 AIR 脚本的教程 | HashCloak
• 终极比较：每个 ZKP 系统、每个维度 — ZKP 系统系列 | Ümit Aygül
• 协议学习系列：Zcash 协议规范 12 次指导阅读 | Mark H

工具/实现

• 发布新的后量子签名测试网 — Falcon + 临时 PQ 方案 | asanso
• 介绍 Spawned：Rust 的 Erlang 风格 Actor | Lambda Class
• 为受限嵌入式系统构建开源 Zcash 硬件钱包 SDK | ZecVault
• ZecVault：基于 Zcash 屏蔽交易的目标导向储蓄钱包 | Gorusys
• zk-autoresearch — 优化生产级 ZK 证明器的自主 LLM 代理 | Barnadrot
• 欧盟 ZK ID 项目选用 Noir | eu-digital-identity-wallet
• UltrafastSecp256k1：面向钱包、ZK 和高吞吐量以太坊工具的多后端 secp256k1 执行引擎 | Vano Chkheidze

漏洞

• Zebra 4.3.1：关键安全修复、Docker 化挖矿与 CI 加固 | Zcash 基金会
• Jolt zkVM 中的关键可靠性缺陷 | Minsun Kim
• 临近间隙猜想在素数域上接近容量时失败 | Antonio Kambiré
• 来自 NTT 友好环的 LaBRADOR 实现中的可靠性失败 | zkSecurity
• 新的 Circom 缺陷 | Stefanos Chaliasos

项目更新

• 所有区块链都应有一条通往后量子安全的清晰路径 | Starknet
• 人们不了解 Zcash 2026 年所推出内容的庞大数量 | Zcash
• Zcash 成为后量子的路线图 | Zcash
• 介绍 Guardian：机构隐私缺失的一环 | Miden
• Miden 上的私有状态管理 | OpenZeppelin
• SP1 验证器：兼容 WASM 的 PLONK 和 GROTH16 验证 | Succinct
• Zcam：一款 iPhone 相机应用，用于证明何为真实 | Succinct
• 谷歌使用 SP1 证明量子安全威胁 | Succinct
• 后量子 Citrea | Citrea
• Leanconsensus 中的最终性：Ethlambda 如何实现 3SF-mini | Lambda Class
• Aptos 保密资产审计 | Aptos 和 zkSecurity
• 只需写 'if'：为什么 Payy 离开 Halo2 转向 Noir | Aztec / Payy

活动/黑客松

• zkSummit14 | 意大利罗马 — 5月7日
• Zcash 开发者峰会 | 意大利罗马 — 5月8日
• Zkproof 8 | 意大利罗马 — 5月9日-10日
• ETHDam | 荷兰阿姆斯特丹 — 5月9日-10日
• 隐私增强技术研讨会 | 加拿大卡尔加里 — 7月20日-25日
• Common S3nse | 荷兰阿姆斯特丹 — 9月4日
• Devcon India | 印度孟买 — 2026年第四季度

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