欢迎来到ZK Mesh，这是一份每月通讯，涵盖了先进隐私增强密码学、分布式协议开发和零知识系统研究的最新进展。
ZK Mesh由ZK Hack制作。
感谢阅读ZK Mesh！免费订阅以接收新帖并支持我们的工作。
我们为您带来最新研究、实用文章、视频、播客、推文、工具、项目更新和活动。每月都会推出新版本。请务必分享并订阅！
研究
MERCURY：一种具有恒定证明大小且无证明者FFT的多线性多项式承诺方案 | Liam Eagen和Ariel Gabizon
来自双工海绵的Fiat-Shamir变换 | Alessandro Chiesa和Michele Orrù
具有一个群元素的指定验证者SNARGs | Gal Arnon、Jesko Dujmovic和Yuval Ishai
撒玛利亚人：来自新型多线性多项式承诺的线性时间证明者SNARK | Chaya Ganesh、Sikhar Patranabis和Nitin Singh
攻击Gemini多项式承诺方案优化的可靠性 | Lydia Garms和Michael Livesey
针对认证数据上有状态计算的SNARKs | Johannes Reinhart、Erik-Oliver Blass和Bjoern Annighoefer
细粒度验证者NIZK及其应用 | Shuai Han、Shengli Liu、Xiangyu Liu和Dawu Gu
椭圆曲线密码学的PMNS算术 | Fangan Yssouf Dosso、Sylvain Duquesne、Nadia El Mrabet和Emma Gautier
zkAML：使用白名单方法在智能合约中进行零知识反洗钱 | Donghwan Oh、Semin Han、Jihye Kim、Hyunok Oh、Jiyeal Chung、Jieun Lee、Hee-jun Yoo和Tae wan Kim
机器学习中非线性函数的可扩展零知识证明 | Meng Hao、Hanxiao Chen、Hongwei Li、Chenkai Weng、Yuan Zhang、Haomiao Yang和Tianwei Zhang
关于KZG多项式承诺方案家族的可提取性 | Juraj Belohorec、Pavel Dvořák、Charlotte Hoffmann、Pavel Hubáček、Kristýna Mašková和Martin Pastyřík
VeRange：针对区块链应用的高效验证零知识范围参数，具有透明设置 | Yue Zhou和Sid Chi-Kin Chau
zkPyTorch：用于零知识机器学习的分层优化编译器 | Tiancheng Xie、Tao Lu、Zhiyong Fang、Siqi Wang、Zhenfei Zhang、Yongzheng Jia、Dawn Song和Jiaheng Zhang
Plonkify：R1CS到Plonk的转换器 | Pengfei Zhu
JesseQ：任意域上电路的高效零知识证明 | Mengling Liu、Yang Heng、Xingye Lu和Man Ho Au
传统签名的高效拥有权证明 | Anna P. Y. Woo、Alex Ozdemir、Chad Sharp、Thomas Pornin和Paul Grubbs
Soloist：用于一阶约束系统的分布式SNARKs | Weihan Li、Zongyang Zhang、Yun Li、Pengfei Zhu、Cheng Hong和Jianwei Liu
攻击隐私链：大规模和本地 | 桑迪亚尔
工具/实现
Noir中的信号量 | 分布式实验室
zkVM中的Agglayer悲观证明和基准测试 | 布莱恩·宋 (@BrianSeong99)
libZK：零知识证明库 | 谷歌
项目更新
任何计算都可以通过廉价的链上折叠验证器进行验证 | 新星网络
Rarimo推出ZK Roll-up | Rarimo
宣布DeepProve：zkML以控制人工智能 | 拉格朗日
平方白皮书 | 平方
使用Valida进行客户端证明和验证 | Lita
OP Kailua将OP链转变为ZK Rollup | RISC Zero
案例研究：使用ICICLE加速Zircuit的零知识证明 | Ingonyama
ICICLE-Snark：世界上最快的Groth16实现 | Ingonyama
Nexus运行时：支持互操作性的ZK状态验证 | Avail
Scroll路线图2025：安全、扩展和更好的用户体验 | Scroll
LLZK：ZK语言的新中间表示（IR） | Veridise
zkVerify：大规模优化ZK证明验证 | Delphi Digital
推出Sindri浏览器：ZK应用的拥抱面 | Sindri
Leo编程语言：快速、安全且值得等待！🦁 | Aleo
活动/黑客马拉松
ZK Hack见面会 #11 | 台湾台北。2025年4月1日
ETHGlobal台北 | 台湾台北。2025年4月4-6日
BUIDL亚洲 | 韩国首尔。2025年4月15-16日
隐形花园 | 哥斯达黎加。2025年4月21日-5月31日
zkSummit13 | 多伦多。2025年5月12日
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__！
