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