欢迎来到ZK Mesh,这是一份每月一期的时事通讯,涵盖最新的隐私增强型密码学、分布式协议开发和零知识系统研究。
ZK Mesh由ZK Hack制作。
感谢您阅读ZK Mesh!免费订阅即可收到新帖,支持我们的工作。
我们为您带来最新研究、有用的文章、视频、播客、推文、工具、项目更新和活动。每月都会有新的版本。请务必分享并订阅!
研究
LatticeFold+: 更快、更简单、更短的基于格的折叠用于简洁的证明系统 | Dan Boneh和Binyi Chen
Neo: 基于格的折叠方案用于小域上的CCS和按位付费承诺 | Wilson Nguyen和Srinath Setty
走向白盒安全的Fiat-Shamir变换 | Gal Arnon和Eylon Yogev
DFS: 委托友好的zkSNARK和证明器的私有委托 | Yuncong Hu、Pratyush Mishra、Xiao Wang、Jie Xie、Kang Yang、Yu Yu和Yuwen Zhang
上下文相关的阈值解密及其应用 | Dan Boneh、Benedikt Bünz、Kartik Nayak、Lior Rotem和Victor Shoup
基于嵌套剩余数字系统的大整数同态加密 | Dan Boneh和Jaehyung Kim
可追踪的可验证随机函数 | Dan Boneh、Aditi Partap和Lior Rotem
Zinc: 从整数的邻近性IOP得到的小算术化开销的简洁论证 | Albert Garreta、Hendrik Waldner、Katerina Hristova和Luca Dall'Ava
多项式预处理的力量:在亚线性时间内证明计算,以及更多 | Matteo Campanelli、Mario Carrillo、Ignacio Cascudo、Dario Fiore、Danilo Francati和Rosario Gennaro
FHE-SNARK vs. SNARK-FHE:从分析到实用的可验证计算 | Xinxuan Zhang、Ruida Wang、Zeyu Liu、Binwu Xiang、Yi Deng和Xianhui Lu
如何共享NP陈述或零知识证明的组合器 | Benny Applebaum和Eliran Kachlon
HasteBoots:在几秒钟内证明FHE引导 | Fengrun Liu、Haofei Liang、Tianyu Zhang、Yuncong Hu、Xiang Xie、Haisheng Tan和Yu Yu
Leap:一种快速的基于格的OPRF,应用于私有集合交集 | Lena Heimberger、Daniel Kales、Riccardo Lolato、Omid Mir、Sebastian Ramacher和Christian Rechberger
文章/讨论串
ZKWS S2,完整之旅 | ZK Hack
理解ZKP背后的数学 | @oskarth
在zkVM基准测试中平衡性能和安全性 | Burning Bridges
塑造现代zkVM的项目 — 第1部分 | zkSecurity
证明一个ZK-L2需要什么 | ZkCloud
ZK终局:以太坊的Rollup互操作性 | Conduit
可验证的多指数运算和多标量乘法(MSM) | Decentralized Thoughts
回顾:Summa | Privacy and Scaling Explorations (PSE)
LatticeFold和基于格的操作性能报告 | Nethermind
专注于隐私的Layer 2将改变以太坊的企业未来 | Cryptoslate
如果一个'ZK'-证明网络要求您的数据,请不要给他们。 | ICME
用于zkTLS的多方公证人 | TACEO
为什么以及如何TikTok使用ZK | ZKV
zkTLS和链上娱乐的未来 | Sophon
您不应该使用FHE构建Tornado Cash | Leku
走向首个RISC-V zkVM的形式化验证 | Nethermind
用于高性能数据认证的Merkle山脉 | commonware
基于格的证明系统 | Privacy and Scaling Explorations (PSE)
用zkTLS打开加密的大门 | Sophon
高性能客户端证明线程 | DCBuilder (@DCbuild3r)
视频/播客
回到未来与零知识 | Zero Knowledge Podcast
将ZK带入现实生活与Cursive | Zero Knowledge Podcast
ZODA和意外的计算机 | Zero Knowledge Podcast
Solana中的ZK与Mert Mumtaz | Zero Knowledge Podcast
证明在布丁中:如何证明错误陈述 | Archetype x zkSecurity
指南和资源
zkBugs | zkSecurity
公开可验证和私有协作的机器学习模型训练 | Hashcloak
SoK:理解zk-SNARK:研究与实践之间的差距 | Junkai Liang、Daqi Hu、Pengfei Wu、Yunbo Yang、Qingni Shen和Zhonghai Wu
Jolt和Lasso:给新手的笔记 | backdoor (@backdoor607)
漏洞/披露
Veridise O1js V1审计亮点:三个零知识安全漏洞解释 | Veridise
负责任披露:Cairo VM中的潜在序列器-证明器不一致 | Lambda Class
发现并修复Aleo中的通胀漏洞 | zkSecurity
模糊测试发现Noir中的完整性漏洞 | Valentin Wüstholz (@vwuestholz)
工具/实现
Zirgen电路编译器和RISC Zero电路 | RISC Zero
为Tornado Cash添加匿名性撤销器:实现 | NP Labs
