歡迎來到 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！免費訂閱以接收新帖子並支持我的工作。
