ZK Mesh：2024 年 12 月回顾

欢迎来到ZK Mesh,这是一份每月一期的时事通讯,涵盖了最新的隐私增强型密码学、分布式协议开发和零知识系统研究。

ZK Mesh由ZK Hack制作。

我们为您带来最新的研究成果、有用的文章、视频、播客、推文、工具、项目更新和活动。每月都会有新的版本发布,欢迎分享并订阅!

研究

• ZODA: 零开销数据可用性 | Alex Evans, Nicolas Mohnblatt和Guillermo Angeris

• Lova: 基于无结构格的折叠方案 | Giacomo Fenzi, Christian Knabenhans, Ngoc Khanh Nguyen和Duc Tu Pham

• Scribe: 通过读写流式传输实现低内存SNARKs | Anubhav Baweja, Pratyush Mishra, Tushar Mopuri, Karan Newatia和Steve Wang

• Mira: 配对型论证的高效折叠 | Josh Beal和Ben Fisch

• Orbweaver: 基于格的简洁线性函数承诺 | Ben Fisch, Zeyu Liu和Psi Vesely

• PoneglyphDB: 用于任意SQL查询验证的高效非交互式零知识证明 | Binbin Gu, Juncheng Fang和Faisal Nawab

• BOIL: 基于相关全息IOP累积的可携带数据证明 | Tohru Kohrita, Maksim Nikolaev和Javier Silva

• 用于中等CM判别式椭圆曲线上更快密码学的内射 | Dimitri Koshelev和Antonio Sanso

• 以1 OLE的代价实现两轮2PC ECDSA | Michael Adjedj, Constantin Blokh, Geoffroy Couteau, Antoine Joux和Nikolaos Makriyannis

• CL框架下高效简洁零知识论证 | Agathe Beaugrand, Guilhem Castagnos和Fabien Laguillaumie

• 时间证明:一种无需时间戳披露的可验证临时承诺方法 | Alexander John Lee

• Xiezhi: 向简洁的偿付能力证明迈进 | Youwei Deng和Jeremy Clark

• 基于ECDSA的匿名凭证 | Matteo Frigo和Abhi Shelat

• PrivCirNet: 通过块循环变换实现高效的私有推理 | Tianshi Xu, Lemeng Wu, Runsheng Wang和Meng Li

• 关于群签名的可追踪性:未被腐败的用户必须存在 | Keita Emura

• Crescent: 为现有凭证提供更强的隐私 | Christian Paquin, Guru-Vamsi Policharla和Greg Zaverucha

• 用于栈和队列的零知识内存检查技术 | Alexander Frolov

• 绕过logUp中的特征界限 | Liam Eagen和Ulrich Haböck

文章/讨论

• 我希望看到的钱包功能 | Vitalik Buterin

• 以隐私为先的CBDC:利用密码学和以太坊实现下一代数字货币 | Aztec

• 零知识技术可定义未来,但需要赢得公众的信任 | Newsweek

• 在TLS 1.3上的承诺和零知识证明:DiStefano协议 | Brave

• ZODA:一个解释 | Bain Capital Crypto

• 具有累积功能的简洁区块链:一条前进之路 | Psycho Virtual

• 持续只读内存约束 | LambdaClass

• 所有Rollups都是应用程序,所有应用程序都是Rollups | Hylé

• 关于WHIR多项式承诺方案的gas效率 | @xyz_pierre & @GiacomoFenzi

• 混合默克尔树入门 | NP Labs

• Groth16一瞥 | @alinush407

• 在WebAssembly中优化蒙哥马利乘法 | Bain Capital Crypto

• Mira:配对型论证的高效折叠 | Josh Beal & Ben Fisch

视频/播客

• ZK白板会议 - S2M6:关于折叠的更新,由Albert Garreta主讲 | ZK Hack

• ZK Hack V Online - 所有录像 | ZK Hack

指南和资源

• Aztec合约从0到100 | @niallinio

• Rust中的算术电路 | NP Labs

• Awesome zkVM | @piapark_eth & @alexanderlhicks

• 开始使用MACI | Benjamin Barahona

• 理解Binius,第一部分 | L2 Iterative Ventures

• 理解Binius,第二部分 | L2 Iterative Ventures

漏洞/披露

• 选择实例攻击 | Bain Capital Crypto

• 针对一类RSA式密码系统的部分暴露攻击

工具/实现

• latticefold:一个用Rust编写的基于格的非交互式折叠方案 | Nethermind

• ZKMPC:用于通用计算的可公开审计的MPC | @sheagrief

• Cosmos ZK投票 | Vitwit

项目更新

• RISC Zero zkVM 1.2:引入应用程序定义的预编译 | RISC Zero

• 简洁网络白皮书 | Succinct

• o1路线图:推进Mina,深化ZK,解决Web3最大问题 | o1Labs

• Namada主网上线! | Namada

• Kakarot的下一站:可证明的未来 | Kakarot ZK-EVM

• 加入Tools For Humanity,共建更美好的世界 | Modulus Labs

ZK发展的未来已来:宣布Noir 1.0预发布 | Aztec 介绍zkBasename:利用零知识证明在Base上提升您的隐私 | NovaNet Gevulot Firestarter正式上线 | Gevulot 【项目未命名】的技术基础 | o1Labs 在Solana上使用SP1 Solana验证器进行ZKP | Succinct Mina和以太坊的未来:收敛演化 | Psycho Virtual ZKsync SSO:为更好的用户体验而设计的开发者工具包 | ZKsync ZK Accelerate Bangkok:视频、照片和回顾 | Ingonyama ZKsync 2025路线图:无妥协的Web3 | ZKsync 开源Polygon Plonky3再次成为最快的ZK证明系统 | Polygon 2024年回顾 | Hylé Soulforge获胜项目($100K开源补助计划用于Plonky3/CIRCOM开发) | zkBankai Citrea的证明器:为比特币而设计 | Citrea 利用Mantle构建世界最大的ZK Rollup | Succinct 研究遇上生态系统:应用密码学团队路线图 | o1Labs 鼓声响起:为隐藏的ZEC引入Zashi-Keystone硬件钱包集成 | ZCash 宣布Valida zkVM 0.7.0 | Lita Foundation 介绍OpenVM | OpenVM Sui中的ZK | ZKV Lagrange引入无限证明层:扩展去中心化证明到ZK Rollups | Lagrange Gevulot现已成为ZkCloud | ZkCloud World回顾:2024年定义的4个里程碑 | World ETHDenver | 美国丹佛,2025年2月23日-3月2日 ZKProof 7 | 保加利亚索非亚,2025年3月23日-25日 Real World Crypto | 保加利亚索非亚,2025年3月26日-28日 ETHGlobal Taipei | 台湾台北,2025年4月4日-6日 BUIDL Asia | 韩国首尔,2025年4月15日-16日 zkSummit 13 | 加拿大多伦多,2025年5月12日 ETHGlobal Prague | 捷克布拉格,2025年5月30日-6月1日 ETHCC | 法国戛纳,2025年6月30日-7月3日