歡迎來到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
