ZK Mesh：2025 年 4 月回顾

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

ZK Mesh 由ZK Hack制作。

我们为您带来最新的研究、有用的文章、影片、播客、推文、工具、专案更新和活动。预计每月都会有新版本。请务必分享和订阅！

研究

• ColliderVM：无需欺诈证明的比特币状态计算|维克多·科洛博夫 (Victor I. Kolobov)、阿维胡·M·利维 (Avihu M. Levy) 和莫尼·纳尔 (Moni Naor)

• 透过塔场和校验实现布尔电路的高效 SNARK |刘天一和张宇鹏

• 在小空间内证明 CPU 执行| Vineet Nair、Justin Thaler 和 Michael Zhu

• 需要 Zkspeed：加速 HyperPlonk 以实现零知识证明| Alhad Daftardar、Jianqiao Mo、Joey Ah-kiow、Benedikt Bünz、Ramesh Karri、Siddharth Garg 和 Brandon Reagen

• GIGA 协议：解锁区块链中的无信任并行计算|阿尔贝托·加罗弗洛、德米特罗·凯达洛夫、罗曼·奥利尼科夫、丹尼尔·迪·图利奥和玛丽亚·罗丁科

• 重新审视来自格子的高效可验证混合网络|乔纳森·布特尔、瓦迪姆·柳巴舍夫斯基和安东尼奥·梅里诺-加拉多

• 基于属性的公开可验证秘密共享|张亮、吴星宇、岳秋岭、阚海滨、张继恒

• MProve-Nova：Monero的隐私保护储备证明协议|瓦伦·塔科雷和萨拉瓦南·维贾亚库玛兰

• 公开可验证的广义秘密共享方案及其应用|张亮、蔡东亮、刘涛、闵海滨、张继恒

• PLONK 中的高效外部字段演算法|米格尔·安布罗纳、丹尼斯·菲尔索夫和伊尼戈·奎雷杰塔-阿苏门迪

• 已知离散对数知识的零知识协议：应用于环形机密交易和匿名 Zether |李林、田秋、王鑫、王海龙、魏长征、颜颖、王伟、赵文标

• Threshold（完全）同态加密| Carl Bootland、Kelong Cong、Daniel Demmler、Tore Kasper Frederiksen、Benoit Libert、Jean-Baptiste Orfila、Dragos Rotaru、Nigel P. Smart、Titouan Tanguy、Samuel Tap 和 Michael Walter

• 具有高效非同步解密的ThresholdFHE | Zvika Brakerski、Offir Friedman、Avichai Marmor、Dolev Mutzari、Yuval Spiizer 和 Ni Trieu

• 具有亚线性 RAM 操作的布林电路的 GKR |胡云从、李崇荣、邱志、谢天谢地、应悦、张家恒、张振飞

• 小特征域的打包与校验及其在可验证FHE中的应用| 知网魏元举、王凯旋、项斌武、张新旋、邓一、王海龙、朱旭东

• 线性时间累积方案| Benedikt Bünz、Alessandro Chiesa、Giacomo Fenzi、William Wang

• FICS 和 FACS：快速 IOPP 和透过程式码转换的累积| Anubhav Baweja、Pratyush Mishra、Tushar Mopuri、Matan Shtepel

• Myco：解锁元资料私人讯息中的多对数存取| Darya Kaviani、Deevashwer Rathee、Bhargav Annem、Raluca ADA Popa

文章/主题

• HyperPlonk 的硬体友善性，第 2 部分|因戈尼亚马

• 扩展到 10GB 无限区块：Avail 的水平可扩展性|可用

• 后量子密码学领域的程式码最佳化|隐私和扩展探索（PSE）

• Brave 钱包中的屏蔽ZEC | Zcash |电coin公司

• EVM 字节码相容性现已在 ZKsync 时代上线| ZKsync

• 介绍 SP1-2FA：使用 TEE 为 zkVM 添加第二层安全性|简洁

• Lens Chain 上线：使用 Avail 和 ZKsync 扩充 SocialFi |可用

• 智慧合约只是个开始：为什么以太坊的未来是 ZK 证明的执行|卡卡洛特

• ZK-EVM 证明器输入标准化|卡卡洛特

• 卡卡罗特的下一站：可证明的未来|卡卡洛特

• 已更新！ 2025 年 Ingonyama 研究补助金|因戈尼亚马

• BaseFold±：使用...对 BaseFold 的多线性多项式承诺方案进行简单改进|因戈尼亚马

• Usual Money 启动由 Brevis 提供支援的收入开关|短小

• 介绍 CoFHE：仅需一行程式码即可实现基于 FHE 的加密|菲尼克斯

• 水平扩充：具有轻客户端和多重证明的 10GB 区块|可用

• 艾洛的智慧| Lambda 类

• 与 David 一起保护隐私的住房申请|海莱

• 多样性中的安全：Kakarot 如何让以太坊更安全 2 倍|卡卡洛特

• Avail 如何透过 Lens Chain 为 SocialFi 提供支援|可用

• 对客户端 zkML 框架 Bionetta 进行基准测试|拉里莫

• Succinct 将 120 个Cosmos链与以太坊联合起来|简洁

• 无需信任且由 ZK 提供支援的 USUAL 奖励现已在主网|短小

• Tangerine 升级：Clementine 上的 BitVM 启动和核心协议升级|柠檬属

• Aztec 的历史：Web3 中的隐私先驱|阿兹特克

• 使用 Avail 的轻量级客户端建立一个简单的 Next.js 应用程式|可用

• 与 Jacob Weightman 的炉边谈话：RISC Zero 如何通过…实现可证明和持续的 zkVM 安全性|验证

• Vapps：互联网规模的可验证应用程式|简洁

• 长期 l1 执行层提案以 risc-v 取代 evm |维塔利克·布特林

• 10 个 ZK 用例|海尔

• Spartan 协议详解|斯里纳特·塞蒂

• 不断发展的 zkTLS：来自分散式 Oracles 的隐私保护运算|尼利昂

• 机密平衡：增强Solana生态系统的机密性|赫利厄斯

• 呼呼| @tcoratger

• 证明闭源 AI 模型的性能|易兹克兰

• Ethproofs 电话会议#1 上发布了三款新的 zkVM | @eth_proofs

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

视讯/播客

• 与 ZkCloud 的 Norbert 协调证明者|零知识播客

• Conner Swann 的 ZK 基准测试|零知识播客

• 使用 Rarimo 在链上建立 ZK 注册表|零知识播客

• Ethproofs 通话 #1 | zkVMs |以太坊

• ZK Hack 聚会录音播放清单| ZK骇客

指南和资源

• 基于 Lattice 的 ZK 解释|零度电压

• Halo2 健全性问题指南| @0xteddav

• KZG 的变体：第一部分，单变数| zk安全

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

• 超立方体 IR：零知识证明系统的基础|囊性

工具/实现

• 微型 zk-proofs JS 库|保罗·米勒

专案更新

• 介绍 R0VM 2.0 | RISC零

• DeFi 3.0：无需信任、自适应且即时|易兹克兰

• 第一个 zk-rollup 第一阶段已确认：它是什么以及为什么重要|滚动

• MINA社群呼吁：策略变革与生态系统更新|MINA

活动/黑客马拉松

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

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

• ZK Hack 聚会#13 |捷克共和国布拉格。 2025年5月28日

• 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__ ！