ZK Mesh：2025年4月回顾

zkmesh
发布于 2025-05-01 21:40
阅读 35

ZK Mesh是关于隐私增强密码学、分布式协议开发和零知识系统研究的月度新闻通讯，涵盖了最新的研究、文章、视频、播客、推文、工具、项目更新和活动。本期内容包括了zkSpeed、线性时间累积方案、GIGA协议等研究，以及硬件友好的HyperPlonk、后量子密码学代码优化等文章，以及多个零知识证明相关的视频和项目更新。

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

ZK Mesh 由 [ZK Hack](https://www.zkhack.dev/) 制作。

我们为你带来最近的研究、有用的文章、视频、播客、推文、工具、项目更新和活动。 预计每个月都会有新版本。 请务必分享和[订阅](https://zkmesh.substack.com/)！

### 研究

* [Zkspeed 的必要性：加速 HyperPlonk 以支持零知识证明](https://eprint.iacr.org/2025/620) | Alhad Daftardar, Jianqiao Mo, Joey Ah-kiow, Benedikt Bünz, Ramesh Karri, Siddharth Garg and Brandon Reagen
* [线性时间的累加方案](https://eprint.iacr.org/2025/753) | Benedikt Bünz, Alessandro Chiesa, Giacomo Fenzi, William Wang
* [GIGA 协议：在区块链中解锁无需信任的并行计算](https://eprint.iacr.org/2025/645) | Alberto Garoffolo, Dmytro Kaidalov, Roman Oliynykov, Daniele Di Tullio and Mariia Rodinko
* [FICS 与 FACS：通过码切换实现快速 IOPP 与累加](https://eprint.iacr.org/2025/737) | Anubhav Baweja, Pratyush Mishra, Tushar Mopuri, Matan Shtepel
* [来自格的高效可验证混合网络，再探](https://eprint.iacr.org/2025/658) | Jonathan Bootle, Vadim Lyubashevsky and Antonio Merino-Gallardo
* [ColliderVM：在比特币上进行有状态计算，无需欺诈证明](https://eprint.iacr.org/2025/591) | Victor I. Kolobov, Avihu M. Levy and Moni Naor
* [通过塔域上的 Sumcheck 实现布尔电路的高效 SNARK](https://eprint.iacr.org/2025/594) | Tianyi Liu and Yupeng Zhang
* [在小空间中证明 CPU 执行](https://eprint.iacr.org/2025/611) | Vineet Nair, Justin Thaler and Michael Zhu
* [基于属性的公开可验证秘密共享](https://eprint.iacr.org/2025/662) | Liang Zhang, Xingyu Wu, Qiuling Yue, Haibin Kan and Jiheng Zhang
* [MProve-Nova：面向 Monero 的隐私保护储备证明协议](https://eprint.iacr.org/2025/665) | Varun Thakore and Saravanan Vijayakumaran
* [公开可验证的广义秘密共享方案及其应用](https://eprint.iacr.org/2025/664) | Liang Zhang, Dongliang Cai, Tao Liu, Haibin Kan and Jiheng Zhang
* [在 PLONK 中实现高效的外域算术](https://eprint.iacr.org/2025/695) | Miguel Ambrona, Denis Firsov and Inigo Querejeta-Azurmendi
* [已知离散对数知识的零知识协议：应用于环形保密交易与匿名 Zether](https://eprint.iacr.org/2025/690) | Li Lin, Tian Qiu, Xin Wang, Hailong Wang, Changzheng Wei, Ying Yan, Wei Wang and Wenbiao Zhao
* [门限（全）同态加密](https://eprint.iacr.org/2025/699) | Carl Bootland, Kelong Cong, Daniel Demmler, Tore Kasper Frederiksen, Benoit Libert, Jean-Baptiste Orfila, Dragos Rotaru, Nigel P. Smart, Titouan Tanguy, Samuel Tap and Michael Walter
* [具有高效异步解密的门限 FHE](https://eprint.iacr.org/2025/712) | Zvika Brakerski, Offir Friedman, Avichai Marmor, Dolev Mutzari, Yuval Spiizer and Ni Trieu
* [面向布尔电路的 GKR，支持子线性 RAM 操作](https://eprint.iacr.org/2025/717) | Yuncong Hu, Chongrong Li, Zhi Qiu, Tiancheng Xie, Yue Ying, Jiaheng Zhang and Zhenfei Zhang
* [在小特征域上使用打包 Sumcheck，应用于可验证同态加密](https://eprint.iacr.org/2025/719) | Yuanju Wei, Kaixuan Wang, Binwu Xiang, Xinxuan Zhang, Yi Deng, Hailong Wang and Xudong Zhu
* [Myco：在元数据私密消息中实现对数级别的数据访问](https://eprint.iacr.org/2025/687) | Darya Kaviani, Deevashwer Rathee, Bhargav Annem, Raluca Ada Popa

### 文章/帖子

* [HyperPlonk 的硬件友好性，第 2 部分](https://medium.com/@ingonyama/hardware-friendliness-of-hyperplonk-part2-9799518ab733?source=rss-c8015c09c44------2) | Ingonyama
* [后量子密码体系中的代码优化探索](https://mirror.xyz/privacy-scaling-explorations.eth/BKI3tyauHIiUCYHgma-EHeSRXNTNDtLUQV9VNGQWLUg) | Privacy and Scaling Explorations (PSE)
* [艾洛的智慧](https://learnblockchain.cn/article/14459/) | Lambda Class
* [长期 L1 执行层提案：用 RISC-V 替代 EVM](https://learnblockchain.cn/article/14437) | Vitalik Buterin
* [10 个零知识用例](https://x.com/hyle_org/status/1914695449409470872) | Hyle
* [Spartan 协议解析](https://learnblockchain.cn/article/15537) | Srinath Setty
* [zkTLS 的演进：来自去中心化预言机的隐私计算](https://nillion.com/news/evolving-zktls-privacy-preserving-computation-from-decentralized-oracles/) | Nillion
* [智能合约只是开始：为什么以太坊的未来是 ZK 证明的执行](https://blog.kakarot.org/smart-contracts-were-just-the-beginning-why-ethereums-future-is-zk-proven-execution-3ffc7197a8ed?source=rss----b01b36446f27---4) | Kakarot
* [保密余额：为 Solana 生态注入隐私能力](https://learnblockchain.cn/article/14123) | Helius
* [WHIR](https://x.com/tcoratger/status/1908634724500713925) | @tcoratger
* [证明闭源 AI 模型的性能](https://x.com/CamutoDante/status/1909968201636892908) | EZKL
* [Ethproofs 第 1 次社区通话中发布的三款新 zkVM](https://x.com/eth_proofs/status/1915801013102968865) | @eth_proofs

### 视频/播客

* [与 ZkCloud 的 Norbert 探讨证明者协调](https://zeroknowledge.fm/podcast/355/) | Zero Knowledge Podcast
* [与 Conner Swann 一起探讨 ZK 性能基准](https://zeroknowledge.fm/podcast/356/) | Zero Knowledge Podcast
* [与 Rarimo 一起在链上构建 ZK 注册系统](https://zeroknowledge.fm/podcast/358/) | Zero Knowledge Podcast
* [Ethproofs 第一次会议 | zkVMs](https://www.youtube.com/watch?v=4E-yaX-F7Qw) | Ethereum
* [ZK Hack 线下聚会录像合集](https://youtube.com/playlist?list=PLzdJdAunCammoQoDFKFoK5uZZxhubzyf5\&si=HOJDkoQErvWasrwL) | ZK Hack

### 指南和资源

* [基于格的零知识简析](https://zkv.xyz/lattice-based-zk-explained/) | ZKV
* [Halo2 的完备性问题指南](https://github.com/teddav/halo2-soundness-bugs) | @0xteddav
* [KZG 的变体：第一部分，单变量](https://blog.zksecurity.xyz/posts/kzg-1/) | zkSecurity
* [使用 WebGPU 加速 ZK 证明：技术与挑战](https://blog.zksecurity.xyz/posts/webgpu/) | zkSecurity
* [Hypercube IR：零知识证明系统的基础](https://learnblockchain.cn/article/15536) | Cysic

### 🔧 工具 / 实现

* [Micro zk-proofs JavaScript 库](https://github.com/paulmillr/micro-zk-proofs) | Paul Miller

### 🚀 项目更新

* [R0VM 2.0 介绍](https://learnblockchain.cn/article/15538) | RISC Zero
* [Kakarot 的下一站：一个可证明的未来](https://blog.kakarot.org/kakarots-next-stop-a-provable-future-b9f09b2dc710?source=rss----b01b36446f27---4) | Kakarot
* [更新！Ingonyama 2025 研究资助](https://learnblockchain.cn/article/14675?source=rss-c8015c09c44------2) | Ingonyama
* [BaseFold±：对 BaseFold 多项式承诺方案的简单改进](https://medium.com/@ingonyama/basefold-a-simple-improvement-to-basefolds-multilinear-polynomial-commitment-scheme-using-e150e0f13d85?source=rss-c8015c09c44------2) | Ingonyama
* [Usual Money 启动收入开关，由 Brevis 提供支持](https://blog.brevis.network/2025/04/07/usual-money-activates-revenue-switch-powered-by-brevis/) | Brevis
* [介绍 CoFHE：一行代码实现的同态加密方案](https://www.fhenix.io/introducing-cofhe-fhe-based-encryption-everywhere-with-a-single-line-of-code/?utm_source=rss\&utm_medium=rss\&utm_campaign=introducing-cofhe-fhe-based-encryption-everywhere-with-a-single-line-of-code) | Fhenix
* [Miden：边缘区块链](https://miden.xyz/resource/blog/vision) | @0xMiden
* [Brave 钱包集成 ZEC 隐私交易](https://electriccoin.co/blog/shielded-zec-in-brave-wallet/) | ZCash | Electric Coin Company
* [ZKsync Era 正式支持 EVM 字节码兼容性](https://zksync.mirror.xyz/a_fFyNZJDa8Amuk9puDLVtKFbjQf8Ad1WuFWBx_tRVY) | ZKsync
* [Succinct 实现以太坊与 120 条 Cosmos 链的连接](https://blog.succinct.xyz/ibc/) | Succinct
* [基于隐私保护的住房应用，与 David 的合作](https://blog.hyle.eu/privacy-preserving-housing-applications-with-david/) | Hylé
* [Bionetta：客户端 zkML 框架的性能测试](https://mirror.xyz/0x90699B5A52BccbdFe73d5c9F3d039a33fb2D1AF6/7pA95u4PvLyoNQ6F_X_rkN4OTmfsO_cbmm5KzbamGIo) | Rarimo
* [Vapps：支持互联网规模的可验证应用](https://blog.succinct.xyz/vapps-verifiable-applications-at-internet-scale/) | Succinct
* [Tangerine 升级：Clementine 上激活 BitVM 与核心协议升级](https://www.blog.citrea.xyz/tangerine-upgrade-bitvm-activation-on-clementine/) | Citrea
* [Aztec 的发展史：Web3 隐私的先行者](https://aztec.network/blog/history-of-aztec-pioneering-privacy-in-web3) | Aztec
* [炉边谈话：Jacob Weightman 讲述 RISC Zero 如何实现可证明且持续的 zkVM 安全](https://medium.com/veridise/fireside-chat-with-jacob-weightman-how-risc-zero-achieves-provable-continuous-zkvm-security-with-98edae2904c3?source=rss-d54583b14487------2) | Veridise
* [DeFi 3.0：无需信任、自适应、实时性](https://blog.ezkl.xyz/post/defi3dot0/) | EZKL
* [第一个通过 Stage 1 验证的 zk-rollup：其意义何在](https://scroll.io/blog/stage-1-confirmed) | Scroll
* [Mina 社区通话：战略调整与生态更新](https://minaprotocol.com/blog/mina-community-call-recap) | Mina

##### 活动/黑客马拉松

- [Invisible Garden](https://invisible.garden/) \| 哥斯达黎加。 2025 年 4 月 21 日 - 5 月 31 日

- **[zkSummit13](https://www.zksummit.com/) \| 多伦多。 2025 年 5 月 12 日**

- **[ZK Hack Meetup #13](https://lu.ma/wjj4bvau) \| 捷克共和国布拉格。 2025 年 5 月 28 日**

- [ETHGlobal Prague](https://ethglobal.com/events/prague) \| 捷克共和国布拉格。 2025 年 5 月 30 日 - 6 月 1 日

- [DappCon 25](https://dappcon.io/) \| 德国柏林。 2025 年 6 月 16 日 - 18 日

- **[ZK Hack Berlin hackathon](https://zkberlin.com/) \| 德国柏林。 2025 年 6 月 20 日 - 22 日**

- [ETHCC](https://ethcc.io/) \| 法国戛纳。 2025 年 6 月 30 日 - 7 月 3 日

就是这样！ 希望你喜欢这期 ZK Mesh。 请务必[订阅](https://zkmesh.substack.com/)，以便在你的收件箱中收到下一期。

最后，如果你认为有任何应该包含在下一期中的内容或对格式的建议，请在推特上@我们 [@\_\_zkhack\_\_](https://twitter.com/__zkhack__)！

感谢阅读 ZK Mesh！免费订阅以接收新帖子并支持我的工作。

>- 原文链接： [zkmesh.substack.com/p/zk...](https://zkmesh.substack.com/p/zk-mesh-april-2025-recap)
>- 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～

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

ZK Mesh 由 ZK Hack 制作。

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

研究

Zkspeed 的必要性：加速 HyperPlonk 以支持零知识证明 | Alhad Daftardar, Jianqiao Mo, Joey Ah-kiow, Benedikt Bünz, Ramesh Karri, Siddharth Garg and Brandon Reagen
线性时间的累加方案 | Benedikt Bünz, Alessandro Chiesa, Giacomo Fenzi, William Wang
GIGA 协议：在区块链中解锁无需信任的并行计算 | Alberto Garoffolo, Dmytro Kaidalov, Roman Oliynykov, Daniele Di Tullio and Mariia Rodinko
FICS 与 FACS：通过码切换实现快速 IOPP 与累加 | Anubhav Baweja, Pratyush Mishra, Tushar Mopuri, Matan Shtepel
来自格的高效可验证混合网络，再探 | Jonathan Bootle, Vadim Lyubashevsky and Antonio Merino-Gallardo
ColliderVM：在比特币上进行有状态计算，无需欺诈证明 | Victor I. Kolobov, Avihu M. Levy and Moni Naor
通过塔域上的 Sumcheck 实现布尔电路的高效 SNARK | Tianyi Liu and Yupeng Zhang
在小空间中证明 CPU 执行 | Vineet Nair, Justin Thaler and Michael Zhu
基于属性的公开可验证秘密共享 | Liang Zhang, Xingyu Wu, Qiuling Yue, Haibin Kan and Jiheng Zhang
MProve-Nova：面向 Monero 的隐私保护储备证明协议 | Varun Thakore and Saravanan Vijayakumaran
公开可验证的广义秘密共享方案及其应用 | Liang Zhang, Dongliang Cai, Tao Liu, Haibin Kan and Jiheng Zhang
在 PLONK 中实现高效的外域算术 | Miguel Ambrona, Denis Firsov and Inigo Querejeta-Azurmendi
已知离散对数知识的零知识协议：应用于环形保密交易与匿名 Zether | Li Lin, Tian Qiu, Xin Wang, Hailong Wang, Changzheng Wei, Ying Yan, Wei Wang and Wenbiao Zhao
门限（全）同态加密 | Carl Bootland, Kelong Cong, Daniel Demmler, Tore Kasper Frederiksen, Benoit Libert, Jean-Baptiste Orfila, Dragos Rotaru, Nigel P. Smart, Titouan Tanguy, Samuel Tap and Michael Walter
具有高效异步解密的门限 FHE | Zvika Brakerski, Offir Friedman, Avichai Marmor, Dolev Mutzari, Yuval Spiizer and Ni Trieu
面向布尔电路的 GKR，支持子线性 RAM 操作 | Yuncong Hu, Chongrong Li, Zhi Qiu, Tiancheng Xie, Yue Ying, Jiaheng Zhang and Zhenfei Zhang
在小特征域上使用打包 Sumcheck，应用于可验证同态加密 | Yuanju Wei, Kaixuan Wang, Binwu Xiang, Xinxuan Zhang, Yi Deng, Hailong Wang and Xudong Zhu
Myco：在元数据私密消息中实现对数级别的数据访问 | Darya Kaviani, Deevashwer Rathee, Bhargav Annem, Raluca Ada Popa

文章/帖子

HyperPlonk 的硬件友好性，第 2 部分 | Ingonyama
后量子密码体系中的代码优化探索 | Privacy and Scaling Explorations (PSE)
艾洛的智慧 | Lambda Class
长期 L1 执行层提案：用 RISC-V 替代 EVM | Vitalik Buterin
10 个零知识用例 | Hyle
Spartan 协议解析 | Srinath Setty
zkTLS 的演进：来自去中心化预言机的隐私计算 | Nillion
智能合约只是开始：为什么以太坊的未来是 ZK 证明的执行 | Kakarot
保密余额：为 Solana 生态注入隐私能力 | Helius
WHIR | @tcoratger
证明闭源 AI 模型的性能 | EZKL
Ethproofs 第 1 次社区通话中发布的三款新 zkVM | @eth_proofs

视频/播客

与 ZkCloud 的 Norbert 探讨证明者协调 | Zero Knowledge Podcast
与 Conner Swann 一起探讨 ZK 性能基准 | Zero Knowledge Podcast
与 Rarimo 一起在链上构建 ZK 注册系统 | Zero Knowledge Podcast
Ethproofs 第一次会议 | zkVMs | Ethereum
ZK Hack 线下聚会录像合集 | ZK Hack

指南和资源

🔧 工具 / 实现

Micro zk-proofs JavaScript 库 | Paul Miller

🚀 项目更新

R0VM 2.0 介绍 | RISC Zero
Kakarot 的下一站：一个可证明的未来 | Kakarot
更新！Ingonyama 2025 研究资助 | Ingonyama
BaseFold±：对 BaseFold 多项式承诺方案的简单改进 | Ingonyama
Usual Money 启动收入开关，由 Brevis 提供支持 | Brevis
介绍 CoFHE：一行代码实现的同态加密方案 | Fhenix
Miden：边缘区块链 | @0xMiden
Brave 钱包集成 ZEC 隐私交易 | ZCash | Electric Coin Company
ZKsync Era 正式支持 EVM 字节码兼容性 | ZKsync
Succinct 实现以太坊与 120 条 Cosmos 链的连接 | Succinct
基于隐私保护的住房应用，与 David 的合作 | Hylé
Bionetta：客户端 zkML 框架的性能测试 | Rarimo
Vapps：支持互联网规模的可验证应用 | Succinct
Tangerine 升级：Clementine 上激活 BitVM 与核心协议升级 | Citrea
Aztec 的发展史：Web3 隐私的先行者 | Aztec
炉边谈话：Jacob Weightman 讲述 RISC Zero 如何实现可证明且持续的 zkVM 安全 | Veridise
DeFi 3.0：无需信任、自适应、实时性 | EZKL
第一个通过 Stage 1 验证的 zk-rollup：其意义何在 | Scroll
Mina 社区通话：战略调整与生态更新 | Mina

活动/黑客马拉松

Invisible Garden | 哥斯达黎加。 2025 年 4 月 21 日 - 5 月 31 日
zkSummit13 | 多伦多。 2025 年 5 月 12 日
ZK Hack Meetup #13 | 捷克共和国布拉格。 2025 年 5 月 28 日
ETHGlobal Prague | 捷克共和国布拉格。 2025 年 5 月 30 日 - 6 月 1 日
DappCon 25 | 德国柏林。 2025 年 6 月 16 日 - 18 日
ZK Hack Berlin hackathon | 德国柏林。 2025 年 6 月 20 日 - 22 日
ETHCC | 法国戛纳。 2025 年 6 月 30 日 - 7 月 3 日

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

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

感谢阅读 ZK Mesh！免费订阅以接收新帖子并支持我的工作。

原文链接： zkmesh.substack.com/p/zk...

登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～

本文参与登链社区写作激励计划，好文好收益，欢迎正在阅读的你也加入。