ZK Mesh：2025年12月回顾

zkmesh
发布于 10小时前
阅读 42

这是一份关于去中心化隐私保护技术、隐私协议开发和零知识系统（ZK）的月度新闻通讯，ZK Mesh 涵盖了最新的隐私增强密码学、分布式协议开发和零知识系统研究，内容包括研究论文、文章、视频、项目更新和活动等。

一份分享去中心化隐私保护技术、隐私协议开发和零知识系统领域最新进展的月刊。

## ZK Mesh：2025 年 12 月回顾

欢迎来到 ZK Mesh，这是一份精选的月刊，涵盖先进的隐私增强密码学、分布式协议开发和 zk 系统研究领域的最新进展。

每个月，我们都会为你带来最新的研究、有用的文章、视频、播客、推文、工具、项目更新和活动。ZK Mesh 由 ZK Hack 制作。

**_从 2026 年 1 月开始，我们将推出一个新的订阅层级，名为 zkMesh+。订阅者将可以访问更多内容和背景信息。在此处了解更多信息 [here](https://zkmesh.substack.com/p/introducing-zkmesh-4cb)!_**

* * *

##### 研究

- [基于小域哈希的 SNARG 的可靠性低于预期](https://eprint.iacr.org/2025/2197) \| Giacomo Fenzi 和 Antonio Sanso

- [基于 LWE 的 NP 的 SNARG](https://eprint.iacr.org/2025/2328) \| Eylon Yogev 和 Ziyi Guan

- [Laminate：简洁的 SIMD 友好型可验证 FHE](https://eprint.iacr.org/2025/2285) \| Kabir Peshawaria、Zeyu Liu、Ben Fisch 和 Eran Tromer

- [电路无关表示的零知识虚拟机的完整性验证](https://eprint.iacr.org/2025/2204) \| Jingyu Ke、Boxuan Liang 和 Guoqiang Li

- [神经网络的架构私有零知识证明](https://eprint.iacr.org/2025/2212) \| Yanpei Guo、Zhanpeng Guo、Wenjie Qu 和 Jiaheng Zhang

- [Rwasm 的 ZK-Prover 的性能改进：用于 32 位除法和余数的可靠且高效的 AIR](https://eprint.iacr.org/2025/2220) \| Suleyman Kardas、Mehmet Sabir Kiraz、Dmitry Savonin、Yao Wang 和 Aliaksei Dziadziuk

- [PIRANHAS：非分层异步蜂群中保护隐私的远程证明](https://eprint.iacr.org/2025/2228) \| Jonas Hofmann、Philipp-Florens Lehwalder、Shahriar Ebrahimi、Parisa Hassanizadeh 和 Sebastian Faust

- [ZeroOS：用于 zkVM 的通用模块化库操作系统](https://eprint.iacr.org/2025/2234) \| Guangxian Zou、Isaac Zhang、Ryan Zarick、Kelvin Wong、Thomas Kim、Daniel L.-K. Wong、Saeid Yazdinejad 和 Dan Boneh

- [基于 Hint-MLWE 的无拒绝零知识证明框架](https://eprint.iacr.org/2025/2239) \| Antoine Douteau 和 Adeline Roux-Langlois

- [arya-STARK：通过 STARK 证明实现的聚合鲁棒且真实的训练](https://eprint.iacr.org/2025/2238) \| Abdoul Ahad FALL

- [用于阈值比较的高效隐私保护蓝图](https://eprint.iacr.org/2025/2253) \| Pratyush Ranjan Tiwari、Harry Eldridge 和 Matthew Green

- [完善基于策略的匿名Token：私有 Bits、公共元数据等...](https://eprint.iacr.org/2025/2263) \| David Kretzler、Yong Li 和 Codrin Ogreanu

- [量子世界中的安全模型和密码协议](https://eprint.iacr.org/2025/2280) \| Céline Chevalier、Paul Hermouet 和 Quoc-Huy Vu

- [FRIVail：基于 FRI Binius 的数据可用性方案](https://eprint.iacr.org/2025/2292) \| Rachit Anand Srivastava

- [提高选票有效性的 zkSNARK 的效率](https://eprint.iacr.org/2025/2286) \| Felix Röhr、Nicolas Huber 和 Ralf Küsters

- [SoK：可验证的联邦学习](https://eprint.iacr.org/2025/2296) \| Francesco Bruschi、Marco Esposito、Tommaso Gagliardoni 和 Andrea Rizzini

- [零知识证明中 Spielman 代码的高性能 SIMD 软件](https://eprint.iacr.org/2025/2301) \| Florian Krieger、Christian Dobrouschek、Florian Hirner 和 Sujoy Sinha Roy

##### 文章/主题

- [Certifying The Fri Protocol](https://app.math.inc/zk-linalg) \| Math Inc

- [Lean Ethereum](http://x.com/drakefjustin/status/1950979137650520514) \| Justin Drake

- [后量子签名聚合：一种折叠方法](https://ethresear.ch/t/post-quantum-signature-aggregation-a-folding-approach/23639/1) \| Thomas Coratger、Srinath Setty

- [ZK Secret Santa](https://ethresear.ch/t/zk-secret-santa-protocol/23582) \| Arvolear

- [2026 年私人投票状况](https://pse.dev/articles/state-of-private-voting-2026/state-of-private-voting-2026-v2.pdf) \| PSE & MACI

- [区块证明的重新定价（第 1 部分：动机）](https://zkevm.ethereum.foundation/blog/repricings-for-block-proving-part-1) \| Ignacio Hagopian

- [区块链准则](https://x.com/Zac_Aztec/status/1996279654446162398) \| Zachary Williamson

- [通往安全高效 zkVM 的道路：如何跟踪进展](https://a16zcrypto.com/posts/article/secure-efficient-zkvms-progress/) \| Justin Thaler

- [私有帐户抽象已经接近现实](https://x.com/BagadSuyash/status/1995648873252225058) \| Suyash Bagad

- [我们对 2026 年加密货币感到兴奋的 17 件事](https://x.com/a16zcrypto/status/2000620915676393599) \| a16z

- [ZK 领域工作 4 年。无需博士学位。这是你实际需要知道的](https://x.com/odin_free/status/1987792282838335787) \| Brother Odin

- [隐私是消费者保护的一种手段](https://x.com/jillgun/status/2001040089909207533) \| Jill Gunter

- [使用 LargeSMT 将稀疏 Merkle 树扩展到数十亿个密钥](https://reilabs.io/blog/scaling-sparse-merkle-trees-to-billions-of-keys-with-largesmt/) \| Reilabs

- [Roman Storm 案件更新](https://x.com/rstormsf/status/2001162811775574476) \| Roman Storm

- [揭秘正式的 zksnark 术语](https://cnode.phd/demystifying_formal_zksnark_jargon/) \| colluding ode

- [从 Aztec 到 Zcash：’务实隐私’扎根的一年](https://www.theblock.co/post/383680/aztec-zcash-year-pragmatic-privacy-root?utm_source=twitter&utm_medium=social) \| The Block

- [zk 电路的形式化验证](https://x.com/NethermindSec/status/2005250384017707354) \| Nethermind

##### 视频/播客

- [数据可用性可以是零知识的吗？](https://x.com/CommonPrefix/status/1999514585775128759) \| Common Prefix

- [Lighter CEO 谈论如何通过零费用 ZK 永续 DEX ’实现金融民主化’](https://x.com/TheBlockPods/status/1993456847383413100) \| The Block

- [Zooko Wilcox 在 SEC](https://x.com/paulbrigner/status/2000657297429672204) \| Paul Brigner

- [ZK Whiteboard Sessions - S3M7: zkID (匿名凭证)，w/ Ying Tong](https://youtu.be/vqBef6XFB4A?si=kUO0CT2lBGra1o_k) \| ZK Hack

- [ZK Whiteboard Sessions - S3M8: ZKML，w/ Jason Morton](https://youtu.be/fp-inljHYGA?si=V0ciCHFfATxrqiYe) \| ZK Hack

- [zkStudyClub：Reed Solomon 接近度差距和反驳现有推测](https://www.youtube.com/watch?v=2OtbOeFDd6g) \| ZK Podcast

- [年度回顾：2025 年及以后的 ZK 播客](https://youtu.be/wpNpAhfKmhY?si=Vod52oKcXJvOP92a) \| ZK Podcast

##### 指南和资源

- [精通 Cairo](https://rareskills.io/cairo-tutorial) \| Rareskills

- [STARK 实验室](https://floatingpragma.io/starklab/) \| Bernhard Mueller

- [Awesome ZKPs](https://floatingpragma.io/awesome-zk-proofs/) \| Bernhard Mueller

- [Miden Playground 教程](https://x.com/blkylimm/status/2001228007730520350) \| blkylimm

- [Cairo 教程](https://rareskills.io/cairo-tutorial) \| RareSkills

- [Goldwasser-Kalai-Rothblum (GKR) 证明](https://alinush.github.io/gkr) \| Alin Tomescu

- [使用 Noir 和 Barretenberg 构建 Web 应用程序](https://noir-lang.org/docs/tutorials/noirjs_app) \| Noir

##### 工具/实现

- [mersenne 31: 优化 aarch64 Neon 的 Poseidon2](https://github.com/Plonky3/Plonky3/pull/1196) \| tcoratger
```
// optimize Poseidon2 for aarch64 Neon
```
- [以 P2P 方式出售 $ZEC 以换取法币，无需信任交易对手](https://github.com/mohammed7s/zec-p2p) \| mohammed7s
```
// Sell $ZEC for fiat P2P without trusting the counterparty
```
- [Zcash 的无需信任桥（ZK Sync <> Zcash）](https://forum.zcashcommunity.com/t/proposal-trustless-bridging-for-zcash/53884) \| ZKSync

##### 项目更新

- [Ethproofs 2025 回顾 & 2026 路线图](https://ethproofs.org/blog/ethproofs-2025-review-2026-roadmap) \| EthProofs

- [为什么用户尚未使用隐私（原因）：来自链上隐私体验的见解](https://pse.dev/blog/privacy-experience-report) \| PSE

- [TACEO 的 Merces](https://merces-demo.taceo.io/arc/introduction/overview) \| TACEO

- [围绕 Zcash 用户进行重组](https://electriccoin.co/blog/reorganizing-around-zcash-user/) \| ZCash \| Electric Coin Company

- [新的 Miden Playground](https://x.com/0xMiden/status/2000924638151582115) \| Miden

- [启动窗口。Zcash 更新](https://x.com/jswihart/status/2002932548838506693) \| Josh Swihart

- [快速、非托管的私有交易所：推出 Hyliquid](https://blog.hyli.org/hyliquid/) \| Hyli

- [Zashi 2.4.9 更快了！](https://electriccoin.co/blog/zashi-2-4-9-is-faster/) \| Electric Coin Company

- [Brevis ProverNet 主网 Beta 版已上线](https://blog.brevis.network/2025/12/08/brevis-provernet-mainnet-beta-is-live/) \| Brevis

- [以太坊隐私黑客松大赛的数据](https://x.com/web3privacy/status/2000590048115212645) \| Web3PrivacyNow

- [以太坊的 zkEVM 形式化验证项目](https://medium.com/veridise/ethereums-zkevm-formal-verification-project-securing-the-ethereum-l1-transition-to-zkvms-with-0abcd346651e?source=rss-d54583b14487------2) \| Veridise

- [Arbitrum 上线](https://x.com/0xprivacypools/status/2001047640042054119) \| Privacy Pools

- [Taiko ZK 证明所有区块](https://x.com/taikoxyz/status/1996781641336082606) \| Taiko

- [Matter Labs 的 ZKsync 托管服务](https://www.zksync.io/blog/zksync-managed-services-raas) ‌‍‍‍‌‍‌‍‌‍‍‌‌‍‌‌‍‍‌‌‍‍‍‍‍‍‍‍‌‌‍‌‌‍‍‌‍‍‌‌‌‌‍‌‍‍‌‍‍‌‌‍‍‍‍‍‍‌‍‍‌‍‌‍‌‌‌‍‌‍‍‍‍‍‍‍‌‍‍‌‍‍‌‌‍‌‌‍‍‌‍‍‌‌‍‌‌‌‍‍‌‌‌‍‌‌‌‍‌‌‍‌‍‍‌‌‌‍‌‌‍‍‌‌‍‌‌‍‍‌‍‍‌‌‌‌‍‌‍‍‌‌‌‌‌‌‌‍‌‌‍‍‌‌‍‍‌‍‍‌‌‍‍‌‌‌‍‌‌‌‍‍‌‌‍‌‍‌‌‌‍‌‌‍‍‌‌‌‍‌‍‌‌‍‌‍‌‌‍‌‌‌‌‌‍‌‍‌‌‌‌‍‌‌‌‍‍‌‌‌‍‌‌‌‌‍‍‌‌‍‌‍‍‍‌‍‍‌‌‍‌‌‌‍‌‍‍‌‌‌‍‍‌‌‍‌‍‌‍‌‌‍‌‍‌‌‍‌‌‌‍‌‍‍‌‍‌‌‍‌‍‍‌‌‍‌‍‍‌‌‍‌‍‌‍‌‍‌‍‌‌‍‌‌‍‌‌‍‌‌‍‌‌‍‌‍‍‌‌‌‍‌‌‌‍‌‌‌‌‍‍‌‍‌‍‌‍‌‍‍‌‌‍‌‌‌‌‍‍‌‌‌‌‍‍‌‌‌‌‍‌‍‌‌

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

一份分享去中心化隐私保护技术、隐私协议开发和零知识系统领域最新进展的月刊。