欢迎来到ZK Mesh,这是一份每月通讯,涵盖最新的隐私增强型密码学、分布式协议开发和零知识系统研究。
ZK Mesh由ZK Hack制作。
感谢您阅读ZK Mesh!免费订阅即可收到新帖并支持我的工作。
我们为您带来最新研究、有用的文章、视频、播客、推文、工具、项目更新和活动。每月都会有新版本发布。请务必分享并订阅!
研究
如何证明虚假陈述:Fiat-Shamir的实际攻击 | Dmitry Khovratovich, Ron D. Rothblum和Lev Soukhanov
扭曲和呼喊:通过一次性寻址和增量实现更快的内存检查论证 | Srinath Setty和Justin Thaler
MicroNova:基于折叠的论证,具有高效(链上)验证 | Jiaxing Zhao, Srinath Setty和Weidong Cui
Skyscraper:在大素数上快速哈希 | Clémence Bouvier, Lorenzo Grassi, Dmitry Khovratovich, Katharina Koschatko, Christian Rechberger, Fabian Schmid和Markus Schofnegger
完整Skyscraper置换的实用区分器 | Antoine Bak
DewTwo:一种透明的PCS,具有准线性证明者、对数验证者和4.5KB来自可伪造假设的证明 | Benedikt Bünz, Tushar Mopuri, Alireza Shirzad和Sriram Sridhar
用于后量子以太坊的基于哈希的多重签名 | Justin Drake, Dmitry Khovratovich, Mikhail Kudinov和Benedikt Wagner
Morgana:一个简洁的电路构建器 | Lev Soukhanov和Yaroslav Rebenko
Shielded CSV:私密高效的客户端侧验证 | Jonas Nick, Liam Eagen和Robin Linus
ZKLoRA:用于LoRA验证的高效零知识证明 | Bidhan Roy, Peter Potash和Marcos Villagra
KZH-Fold:基于亚线性累积的可问责投票 | George Kadianakis, Arantxa Zapico, Hossein Hafezi和Benedikt Bünz
如何在没有可信机器的情况下使用大脑进行密码学 | Wakaha Ogata, Toi Tomita, Kenta Takahashi和Masakatsu Nishigaki
分叉RANDAO:操纵以太坊的分布式随机性信标 | Ábel Nagy, János Tapolcai, István András Seres和Bence Ladóczki
poqeth:以太坊上高效的后量子签名验证 | Ruslan Kysil, István András Seres, Péter Kutas和Nándor Kelecsényi
扩展Groth16以支持析取语句 | Xudong Zhu, Xinxuan Zhang, Xuyang Song, Yi Deng, Yuanju Wei和Liuyu Yang
VDORAM:向具有公共可验证性和分布式隐蔽性的随机访问机器发展 | Huayi Qi, Minghui Xu, Xiaohua Jia和Xiuzhen Cheng
基于最优邻域的零知识训练证明 | Gefei Tan, Adrià Gascón, Sarah Meiklejohn, Mariana Raykova, Xiao Wang和Ning Luo
CAPSS:一个面向SNARK的后量子签名框架 | Thibauld Feneuil和Matthieu Rivain
系统综述:用于幂次tau字符串的可信设置 | Faxing Wang, Shaanan Cohney和Joseph Bonneau
用于可验证数据流计算的高效同态签名 | Gaspard Anthoine, Daniele Cozzo和Dario Fiore
Qelect:基于格的单一秘密领导者选举实用化 | Yunhao Wang和Fan Zhang
对称感知器、数字分区和格 | Neekon Vafa和Vinod Vaikuntanathan
CROSS安全性的修订:多轮Fiat-Shamir签名的证明和攻击 | Michele Battagliola, Riccardo Longo, Federico Pintore, Edoardo Signorini和Giovanni Tognolini
量子性的零知识证明 | Duong Hieu Phan, Weiqiang Wen, Xingyu Yan和Jinwei Zheng
基于VOLE-in-the-Head的后量子阈值环签名应用 | James Hsin-Yu Chiang, Ivan Damgård, William R. Duro, Sunniva Engan, Sebastian Kolby和Peter Scholl
文章/讨论
分解ZK Hack V中的难题 | Zellic
ZK Hack V线上回顾 | ZK Hack
D/acc:一年后 | Vitalik Buterin
在Metamath证明检查上对zkVMs进行基准测试 | Pi Squared
2025年及以后以太坊L1和L2的扩展 | Vitalik Buterin
使用零知识密码学打败欺诈性AI代理 | Inference Labs
解决假网站攻击 | Reclaim Protocol
隐私的诸圣:o1js中的Nullifiers | o1Labs
为什么我们还无法构建完全安全的多方应用程序 | PSE
私密搜索算法 | Dev (@valargragon)
Mopro:Circom证明者比较 | PSE
zkVM:Web3计算的新范式 | Four Pillars
回顾:可信设置和P0tion项目 | PSE
ZODA、FRIDA、Danksharding、AVID和分散账本 | Espresso
自主身份和可编程密码学:未来挑战 | PSE
为什么要验证? | EZKL
使用NewtonPIR的证书透明度 | PSE
AI对手方信任 | Reclaim Protocol
ZkNoid如何利用ZK证明确保在线游戏的公平性和透明度 | Mina Protocol
为什么零知识证明对AI代理至关重要 | Sindri
ZK
文章声明：以上内容(如有图片或视频亦包括在内)除非注明，否则均为谈天说币原创文章，转载或复制请以超链接形式并注明出处。