欢迎来到 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！免费订阅以接收新帖子并支持我的工作。
