ZK Mesh：2025 年 4 月回顾

ZK Mesh 是一本由 ZK Hack 出品并每月发布的通讯，涵盖最新的隐私增强密码学、分布式协议开发和零知识系统研究内容。

ZK Mesh: April 2025 Recap

ZK Mesh 是一本由 ZK Hack 出品并每月发布的通讯，涵盖最新的隐私增强密码学、分布式协议开发和零知识系统研究内容。

研究论文精选

• Need for Zkspeed：加速 HyperPlonk 用于零知识证明 | Alhad Daftardar 等 https://eprint.iacr.org/2025/620

• 线性时间累积方案 | Benedikt Bünz 等

  https://eprint.iacr.org/2025/753

• GIGA 协议：在区块链中实现无需信任的并行计算 | Alberto Garoffolo 等

  https://eprint.iacr.org/2025/645

• FICS 和 FACS：通过代码切换实现快速 IOPPs 和累积 | Anubhav Baweja 等

  https://eprint.iacr.org/2025/737

• 来自格密码学的高效可验证混合网络（Mixnets）再探 | Jonathan Bootle 等

  https://eprint.iacr.org/2025/658

• ColliderVM：无需欺诈证明的比特币有状态计算 | Victor I. Kolobov 等

  https://eprint.iacr.org/2025/591

• 通过塔域求和检查实现布尔电路的高效 SNARK | Tianyi Liu 和 Yupeng Zhang

  https://eprint.iacr.org/2025/594

• 小空间证明 CPU 执行过程 | Vineet Nair 等

  https://eprint.iacr.org/2025/611

• 基于属性的公开可验证秘密共享 | Liang Zhang 等

  https://eprint.iacr.org/2025/662

• MProve-Nova：用于门罗币的隐私保护储备证明协议 | Varun Thakore 等

  https://eprint.iacr.org/2025/665

• 公开可验证的通用秘密共享方案及其应用 | Liang Zhang 等

  https://eprint.iacr.org/2025/664

• PLONK 中的高效外域运算 | Miguel Ambrona 等

  https://eprint.iacr.org/2025/695

• 已知离散对数知识的零知识协议：应用于环机密交易与匿名 Zether | Li Lin 等

  https://eprint.iacr.org/2025/690

• 门限（完全）同态加密 | Carl Bootland 等

  https://eprint.iacr.org/2025/699

• 支持高效异步解密的门限 FHE | Zvika Brakerski 等

  https://eprint.iacr.org/2025/712

• 用于布尔电路的 GKR，支持次线性 RAM 操作 | Yuncong Hu 等

  https://eprint.iacr.org/2025/717

• 在小特征域上进行打包求和检查并应用于可验证的 FHE | Yuanju Wei 等

  https://eprint.iacr.org/2025/719

• Myco：在元数据私密消息传递中实现多对数访问 | Darya Kaviani 等

  https://eprint.iacr.org/2025/687

文章与推文精选

• HyperPlonk 的硬件友好性，第 2 部分 | Ingonyama

  https://medium.com/@ingonyama/hardware-friendliness-of-hyperplonk-part2-9799518ab733

• 后量子密码学中的代码优化 | PSE

  https://mirror.xyz/privacy-scaling-explorations.eth/BKI3tyauHIiUCYHgma-EHeSRXNTNDtLUQV9VNGQWLUg

• Iroh 的智慧 | Lambda Class

  https://blog.lambdaclass.com/the-wisdom-of-iroh/

• 长期 L1 执行层提案：用 RISC-V 替代 EVM | Vitalik Buterin

  https://ethereum-magicians.org/t/long-term-l1-execution-layer-proposal-replace-the-evm-with-risc-v/23617

• 10 大零知识应用场景 | Hyle

  https://x.com/hyle_org/status/1914695449409470872

• Spartan 协议解读 | Srinath Setty

  https://hackmd.io/@srinathsetty/spartan

• zkTLS 的演进：来自去中心化预言机的隐私计算 | Nillion

  https://nillion.com/news/evolving-zktls-privacy-preserving-computation-from-decentralized-oracles/

• 智能合约只是开始：以太坊的未来是 ZK 驱动的执行 | Kakarot

  https://blog.kakarot.org/smart-contracts-were-just-the-beginning-why-ethereums-future-is-zk-proven-execution-3ffc7197a8ed

• 机密余额：在 Solana 生态中赋能隐私 | Helius

  https://www.helius.dev/blog/confidential-balances

• WHIR | @tcoratger

  https://x.com/tcoratger/status/1908634724500713925

• 为闭源 AI 模型证明性能 | EZKL

  https://x.com/CamutoDante/status/1909968201636892908

• Ethproofs Call #1：三款新 zkVM 发布 | @eth_proofs

  https://x.com/eth_proofs/status/1915801013102968865

视频与播客

• 与 ZkCloud 的 Norbert 协调证明者 | Zero Knowledge 播客

  https://zeroknowledge.fm/podcast/355/

• 与 Conner Swann 探讨 ZK 性能基准 | Zero Knowledge 播客

  https://zeroknowledge.fm/podcast/356/

• 在链上构建 ZK 注册系统（ZK Registry）| Rarimo | Zero Knowledge 播客

  https://zeroknowledge.fm/podcast/358/

• Ethproofs Call #1 | zkVMs | Ethereum

• ZK Hack Meetup 录播播放列表 | ZK Hack

  https://www.youtube.com/playlist?list=PLzdJdAunCammoQoDFKFoK5uZZxhubzyf5

指南与资源

• 基于格的零知识详解 | ZKV

  https://zkv.xyz/lattice-based-zk-explained/

• Halo2 声音性问题指南 | @0xteddav

  https://github.com/teddav/halo2-soundness-bugs

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

  https://blog.zksecurity.xyz/posts/kzg-1/

• 使用 WebGPU 加速 ZK 证明：技术与挑战 | zkSecurity

  https://blog.zksecurity.xyz/posts/webgpu/

• Hypercube IR：零知识证明系统的基础 | Cysic

  https://hackmd.io/@Cysic/ByY3_L5hkl

工具与实现

• Micro zk-proofs JS 库 | Paul Miller

  https://github.com/paulmillr/micro-zk-proofs

项目更新

• R0VM 2.0 发布 | RISC Zero

  https://risczero.com/blog/introducing-R0VM-2.0

• Kakarot 下一站：可证明的未来 | Kakarot

  https://blog.kakarot.org/kakarots-next-stop-a-provable-future-b9f09b2dc710

• Ingonyama 研究资助 2025 更新 | Ingonyama

  https://medium.com/@ingonyama/updated-ingonyama-research-grants-2025-455984201f3a

• BaseFold±：改进多线性多项式承诺方案 | Ingonyama

  https://medium.com/@ingonyama/basefold-a-simple-improvement-to-basefolds-multilinear-polynomial-commitment-scheme-using-e150e0f13d85

• Usual Money 启动收入开关，使用 Brevis 支持 | Brevis

  https://blog.brevis.network/2025/04/07/usual-money-activates-revenue-switch-powered-by-brevis/

• 推出 CoFHE：一句代码实现 FHE 加密 | Fhenix

  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

• Miden：边缘区块链 | @0xMiden

  https://miden.xyz/resource/blog/vision

• Brave 钱包中支持保护隐私的 ZEC | ZCash / Electric Coin Company

  https://electriccoin.co/blog/shielded-zec-in-brave-wallet/

• ZKsync Era 现已兼容 EVM 字节码 | ZKsync

  https://zksync.mirror.xyz/a_fFyNZJDa8Amuk9puDLVtKFbjQf8Ad1WuFWBx_tRVY

• Succinct 连接 120 条 Cosmos 链与以太坊 | Succinct

  https://blog.succinct.xyz/ibc/

• 隐私保护住房应用 | Hylé

  https://blog.hyle.eu/privacy-preserving-housing-applications-with-david/

• Bionetta zkML 客户端框架性能基准测试 | Rarimo

  https://mirror.xyz/0x90699B5A52BccbdFe73d5c9F3d039a33fb2D1AF6/7pA95u4PvLyoNQ6F_X_rkN4OTmfsO_cbmm5KzbamGIo

• Vapps：互联网规模的可验证应用 | Succinct

  https://blog.succinct.xyz/vapps-verifiable-applications-at-internet-scale/

• Tangerine 升级：BitVM 激活与协议核心更新 | Citrea

  https://www.blog.citrea.xyz/tangerine-upgrade-bitvm-activation-on-clementine/

• Aztec 的隐私创新之路 | Aztec

  https://aztec.network/blog/history-of-aztec-pioneering-privacy-in-web3

• 炉边对话：Jacob Weightman 详谈 RISC Zero 的 zkVM 安全性 | Veridise

  https://medium.com/veridise/fireside-chat-with-jacob-weightman-how-risc-zero-achieves-provable-continuous-zkvm-security-with-98edae2904c3

• DeFi 3.0：无需信任、自适应、实时 | EZKL

  https://blog.ezkl.xyz/post/defi3dot0/

• 首个确认阶段 1 的 zk-rollup：Scroll 发布解析 | Scroll

  https://scroll.io/blog/stage-1-confirmed

• Mina 社区电话：战略调整与生态更新 | Mina

  https://minaprotocol.com/blog/mina-community-call-recap

活动与黑客松

• Invisible Garden | 哥斯达黎加，2025 年 4 月 21 日至 5 月 31 日

  https://invisible.garden/

• zkSummit13 | 加拿大多伦多，2025 年 5 月 12 日

  https://www.zksummit.com/

• ZK Hack Meetup #13 | 捷克布拉格，2025 年 5 月 28 日

  https://lu.ma/wjj4bvau

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

  https://ethglobal.com/events/prague

• DappCon 25 | 德国柏林，2025 年 6 月 16-18 日

  https://dappcon.io/

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

  https://www.zkberlin.com/

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

  https://ethcc.io/