欢迎来到 zkMesh,这是一份月刊,涵盖最新的高级隐私增强加密、分布式协议开发和零知识系统研究。
zkMesh 由ZK Hack制作。
感谢阅读 zkMesh!免费订阅以接收新帖子并支持我的工作。
我们为您带来最新研究、实用文章、视频、播客、推文、工具、项目更新和活动。每月都有新版本。请务必分享和订阅!
** ZK Hack Montréal将于 8 月 9 日至 11 日举行(申请加入我们) **
研究
Alessandro Chiesa 和 Giacomo Fenzi 撰写的ROM 中的 zkSNARKs 具有无条件 UC 安全性
Clap:用于 PlonKish 证明系统的 Rust eDSL,具有保留语义的优化编译器,作者:Marco Stronati、Denis Firsov、Antonio Locascio 和 Benjamin Livshits
Vision Mark-32:二进制塔字段上的 ZK 友好哈希函数,作者:Tomer Ashur、Mohammad Mahzoun、Jim Posen 和 Danilo Šijačić
ZK 的衔尾蛇:为什么验证验证者可以解锁长期 ZK 创新(作者:Denis Firsov 和 Benjamin Livshits)
Annalisa Barbara、Alessandro Chiesa 和 Ziyi Guan 撰写的《ROM 中不存在相对简洁论证》
关于基于 FRI 的 SNARK 的摊销技术,作者:Albert Garreta、Hayk Hovhanissyan、Aram Jivanyan、Ignacio Manzur、Isaac Villalobos 和 Michał Zając
SigmaSuite:如何在 ZKP 电路中最小化外部算法,同时保持简洁的最终验证,作者:Wyatt Benno
大规模 MPC:将私有虹膜代码唯一性检查扩展到数百万用户,作者:Remco Bloemen、Daniel Kales、Philipp Sippl 和 Roman Walch
全球通用群组和 UC-Secure 零开销 SNARK 的美丽新世界,作者:Jan Bobolz、Pooya Farshim、Markulf Kohlweiss 和 Akira Takahashi
零知识 IOP 接近见证长度,作者:Noga Ron-Zewi 和 Mor Weiss
Or Keret、 RON D. Rothblum 和 Prashant Nalini Vasudevan 撰写的《统计零知识中的双重高效批量验证》
PERK:基于置换核问题新变体的紧凑签名方案,作者:Slim Bettaieb、Loïc Bidoux、Victor Dyseryn、Andre Esser、Philippe Gaborit、Mukul Kulkarni 和 Marco Palumbi
代理就够了:TLS 预言机中的代理安全性和 AEAD 上下文不可伪造性(作者:罗忠堂、贾燕雪、沈耀斌和 Aniket Kate)
Antonio Faonio、Dario Fiore 和 Luigi Russo 认为现实世界中的通用 zkSNARK 是不可塑的
一种高效且可扩展的神经网络零知识证明框架,作者:陆涛、王浩宇、曲文杰、王宗辉、何金叶、陶天阳、陈文志和张嘉恒
Hoeteck Wee 和 David J. Wu 撰写的《k-Lin 电路的简洁功能承诺》
通过对加法同态加密数据进行简洁可验证计算来保护隐私的蓝图,作者:Scott Griffy、Markulf Kohlweiss、Anna Lysyanskaya 和 Meghna Sengupta
文章/主题
ZK Hack 克拉科夫回顾文章| ZK Hack
ZK 行业领袖在 ZK Ticker 辩论中谴责 Matter Labs 并站在 Polyhedra 一边| Unchained
第 2 层与执行分片有何不同? | Vitalik Buterin
零知识范式:第 1 部分 - 什么是 zk-VM? | Lita
构建基于护照的 ZK 投票| Rarimo
去中心化不是一个meme(第 1 部分) | Aztec
模块化与单体式已死| =nil; Foundation
美国政府针对 Tornado Cash 的虚伪指控| CoinDesk
使用 Epidemic MPC、高效数据结构和高级加密技术优化 ZK-Rollup 可扩展性、安全性和抗审查性| EthResearch 论坛
接近常数:最快零知识证明系统的竞赛| ICME
你应该设计信任基础设施| Tonk
颠覆技术,验证而非信任,SNARK 秘诀| a16z crypto
视频/播客
来自冥王星的 Tracy 提供网络证明| 零知识播客
Ligero 和 Ligetron 中的 MPC 和 ZK | 零知识播客
无同态积累 (Wilson Nguyen - 斯坦福大学,William Wang - 纽约大学) | zkStudyClub
ZK Accelerate 雅典:回顾与链接中心| Ingonyama
L3 峰会 ETHDenver 讨论小组:zkEVM 与 zkVM – 用例、挑战和未来| ETHDenver
Paul Lou:NP ∩ coNP 中的硬语言和非结构化难度的 NIZK 证明| CMU Cylab 加密研讨会
从理论到代码:构建突破性的 zkVM Jolt | a16z crypto
向技术受众解释零知识证明的演讲和小组讨论| 纽约的 ZK Dive
指南和资源
从哈希函数构建加密证明| Alessandro Chiesa 和 Eylon Yogev
MoonMath 学习小组| ZK Hack
WTF-zk 教程| WTFAcademy
BrainSTARK:设计一个图灵完备的 zk-STARK 引擎| @aszepieniec
协作 zk-SNARK 笔记| Leku
使用 zkSNARK 实现 SHA256 哈希的零知识证明| Binod Karunanayake
漏洞/披露
破解 Smartbean 论文| Ariel, Liam
漏洞报告:币安 PoR 虚拟用户攻击| Leku
ETHDam(n) | MACI
认识 Recon,您的 Web3 安全守护者| Web3sec 新闻
ZKP 的高级形式化验证:两个漏洞的故事| CertiK
长度扩展攻击| @0xtiagofneto
工具/实现
使用折叠方案实现可证明的比特币轻客户端| @xyz_pierre
Open-Binius:加速二进制域 ZK 证明的构建模块| Ingonyama
构建 ZK 应用程序| Ligero
项目更新
Taiko 在以太坊主网线! | Taiko
以太坊的 zkSharding | =nil; 基金会
建造真正黑暗的暗池| 防晒霜
使用 zkTLS 探索新世界| Telah
ZK 安全的一年| zkSecurity
利用 ZKP 解决 RWA 代币化中的隐私挑战| NovaNet
Zeth 为 Optimism 的OP Stack 带来有效性证明| RISC Zero
介绍 SNARKnado |阿尔卑斯实验室
验证 RISC Zero 的可信设置仪式| RISC Zero
安全审计摘要:零知识虚拟机 (zkVM) | RISC Zero
介绍钢铁| RISC Zero
介绍 ZaKi | Ingonyama
Linea 上流动性的重要性| Linea
SP1 测试网启动:面向开发人员的最快、功能最齐全的 zkVM | Succinct Labs
ZKThreads:适用于 dApp 的规范 ZK 分片框架| StarkWare
异构证明聚合框架| Rize Labs
通用 zkVM 如何实现网络效应? | ZKM
Horizen如何利用零知识证明重新定义区块链| Horizon Labs
拉格朗日的下一章| 拉格朗日实验室
数字身份:用零知识证明解决隐私问题| MINA协议
活动/黑客马拉松
布拉格ETH| 捷克共和国布拉格。5 月 31 日至 6 月 2 日
EthCC | 比利时布鲁塞尔。7 月 8 日至 11 日
加密日| 比利时布鲁塞尔。7 月 9 日
ZK Hack Meetup #5 | 比利时布鲁塞尔。7 月 9 日
ETHGlobal Brussels | 比利时布鲁塞尔。7 月 12 日至 14 日
ZK Hack Montréal | 加拿大蒙特利尔。8 月 9 日至 11 日(立即申请!)
ETHWarsaw | 波兰华沙。9 月 5 日至 8 日
ETHGlobal Singapore | 新加坡。9 月 20 日至 22 日
zkSummit12 | 葡萄牙里斯本。10 月 8 日(记住这个日期)
ETHGlobal 旧金山| 美国旧金山。10 月 18 日至 20 日
DevCon | 泰国曼谷。11 月 12 日至 15 日
ETHGlobal Bangkok | 泰国曼谷。11 月 15 日至 17 日
————
就是这样!希望你喜欢这期的 zkMesh。请务必订阅以在您的收件箱中收到下一期。
最后,如果您认为下一版中应该包含某些内容或者对格式有建议,请通过推特向我们发送消息@__zkhack__ !
感谢阅读 zkMesh!免费订阅以接收新帖子并支持我的工作。



