欢迎来到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__!



