ZK Mesh：2025 年 4 月回顧

歡迎來到 ZK Mesh，這是一份月刊，涵蓋最新的高級隱私增強密碼學、分散式協議開發和零知識系統研究。

ZK Mesh 由ZK Hack製作。

我們為您帶來最新的研究、有用的文章、影片、播客、推文、工具、專案更新和活動。預計每月都會有新版本。請務必分享和訂閱！

研究

• ColliderVM：無需欺詐證明的比特幣狀態計算|維克多·科洛博夫 (Victor I. Kolobov)、阿維胡·M·利維 (Avihu M. Levy) 和莫尼·納爾 (Moni Naor)

• 透過塔場和校驗實現布爾電路的高效 SNARK |劉天一和張宇鵬

• 在小空間內證明 CPU 執行| Vineet Nair、Justin Thaler 和 Michael Zhu

• 需要 Zkspeed：加速 HyperPlonk 以實現零知識證明| Alhad Daftardar、Jianqiao Mo、Joey Ah-kiow、Benedikt Bünz、Ramesh Karri、Siddharth Garg 和 Brandon Reagen

• GIGA 協議：解鎖區塊鏈中的無信任並行計算|阿爾貝托·加羅弗洛、德米特羅·凱達洛夫、羅曼·奧利尼科夫、丹尼爾·迪·圖利奧和瑪麗亞·羅丁科

• 重新審視來自格子的高效可驗證混合網絡|喬納森·布特爾、瓦迪姆·柳巴舍夫斯基和安東尼奧·梅里諾-加拉多

• 基於屬性的公開可驗證秘密共享|張亮、吳星宇、岳秋嶺、闞海濱、張繼恆

• MProve-Nova：Monero的隱私保護儲備證明協議|瓦倫·塔科雷和薩拉瓦南·維賈亞庫瑪蘭

• 公開可驗證的廣義秘密共享方案及其應用|張亮、蔡東亮、劉濤、閔海濱、張繼恆

• PLONK 中的高效外部字段演算法|米格爾·安布羅納、丹尼斯·菲爾索夫和伊尼戈·奎雷傑塔-阿蘇門迪

• 已知離散對數知識的零知識協議：應用於環形機密交易和匿名 Zether |李林、田秋、王鑫、王海龍、魏長徵、顏穎、王偉、趙文標

• Threshold（完全）同態加密| Carl Bootland、Kelong Cong、Daniel Demmler、Tore Kasper Frederiksen、Benoit Libert、Jean-Baptiste Orfila、Dragos Rotaru、Nigel P. Smart、Titouan Tanguy、Samuel Tap 和 Michael Walter

• 具有高效非同步解密的ThresholdFHE | Zvika Brakerski、Offir Friedman、Avichai Marmor、Dolev Mutzari、Yuval Spiizer 和 Ni Trieu

• 具有亞線性 RAM 操作的布林電路的 GKR |胡雲從、李崇榮、邱志、謝天謝地、應悅、張家恆、張振飛

• 小特徵域的打包與校驗及其在可驗證FHE中的應用| 知網魏元舉、王凱旋、項斌武、張新旋、鄧一、王海龍、朱旭東

• 線性時間累積方案| Benedikt Bünz、Alessandro Chiesa、Giacomo Fenzi、William Wang

• FICS 和 FACS：快速 IOPP 和透過程式碼轉換的累積| Anubhav Baweja、Pratyush Mishra、Tushar Mopuri、Matan Shtepel

• Myco：解鎖元資料私人訊息中的多對數存取| Darya Kaviani、Deevashwer Rathee、Bhargav Annem、Raluca ADA Popa

文章/主題

• HyperPlonk 的硬體友善性，第 2 部分|因戈尼亞馬

• 擴展到 10GB 無限區塊：Avail 的水平可擴展性|可用

• 後量子密碼學領域的程式碼最佳化|隱私和擴展探索（PSE）

• Brave 錢包中的屏蔽ZEC | Zcash |電coin公司

• EVM 字節碼相容性現已在 ZKsync 時代上線| ZKsync

• 介紹 SP1-2FA：使用 TEE 為 zkVM 添加第二層安全性|簡潔

• Lens Chain 上線：使用 Avail 和 ZKsync 擴充 SocialFi |可用

• 智慧合約只是個開始：為什麼以太坊的未來是 ZK 證明的執行|卡卡洛特

• ZK-EVM 證明器輸入標準化|卡卡洛特

• 卡卡羅特的下一站：可證明的未來|卡卡洛特

• 已更新！ 2025 年 Ingonyama 研究補助金|因戈尼亞馬

• BaseFold±：使用...對 BaseFold 的多線性多項式承諾方案進行簡單改進|因戈尼亞馬

• Usual Money 啟動由 Brevis 提供支援的收入開關|短小

• 介紹 CoFHE：僅需一行程式碼即可實現基於 FHE 的加密|菲尼克斯

• 水平擴充：具有輕客戶端和多重證明的 10GB 區塊|可用

• 艾洛的智慧| Lambda 類

• 與 David 一起保護隱私的住房申請|海萊

• 多樣性中的安全：Kakarot 如何讓以太坊更安全 2 倍|卡卡洛特

• Avail 如何透過 Lens Chain 為 SocialFi 提供支援|可用

• 對客戶端 zkML 框架 Bionetta 進行基準測試|拉里莫

• Succinct 將 120 個Cosmos鏈與以太坊聯合起來|簡潔

• 無需信任且由 ZK 提供支援的 USUAL 獎勵現已在主網|短小

• Tangerine 升級：Clementine 上的 BitVM 啟動和核心協議升級|檸檬屬

• Aztec 的歷史：Web3 中的隱私先驅|阿茲特克

• 使用 Avail 的輕量級客戶端建立一個簡單的 Next.js 應用程式|可用

• 與 Jacob Weightman 的爐邊談話：RISC Zero 如何通過…實現可證明和持續的 zkVM 安全性|驗證

• Vapps：互聯網規模的可驗證應用程式|簡潔

• 長期 l1 執行層提案以 risc-v 取代 evm |維塔利克·布特林

• 10 個 ZK 用例|海爾

• Spartan 協議詳解|斯里納特·塞蒂

• 不斷發展的 zkTLS：來自分散式 Oracles 的隱私保護運算|尼利昂

• 機密平衡：增強Solana生態系統的機密性|赫利厄斯

• 呼呼| @tcoratger

• 證明閉源 AI 模型的性能|易茲克蘭

• Ethproofs 電話會議#1 上發布了三款新的 zkVM | @eth_proofs

• Miden：邊緣區塊鏈| @0xMiden

視訊/播客

• 與 ZkCloud 的 Norbert 協調證明者|零知識播客

• Conner Swann 的 ZK 基準測試|零知識播客

• 使用 Rarimo 在鏈上建立 ZK 註冊表|零知識播客

• Ethproofs 通話 #1 | zkVMs |以太坊

• ZK Hack 聚會錄音播放清單| ZK駭客

指南和資源

• 基於 Lattice 的 ZK 解釋|零度電壓

• Halo2 健全性問題指南| @0xteddav

• KZG 的變體：第一部分，單變數| zk安全

• 使用 WebGPU 加速 ZK 證明：技術與挑戰| zk安全

• 超立方體 IR：零知識證明系統的基礎|囊性

工具/實現

• 微型 zk-proofs JS 庫|保羅·米勒

專案更新

• 介紹 R0VM 2.0 | RISC零

• DeFi 3.0：無需信任、自適應且即時|易茲克蘭

• 第一個 zk-rollup 第一階段已確認：它是什麼以及為什麼重要|滾動

• MINA社群呼籲：策略變革與生態系統更新|MINA

活動/黑客馬拉松

• 隱形花園|哥斯大黎加。 2025年4月21日至5月31日

• zkSummit13 |多倫多。 2025年5月12日

• ZK Hack 聚會#13 |捷克共和國布拉格。 2025年5月28日

• ETHGlobal 布拉格|捷克共和國布拉格。 2025年5月30日至6月1日

• DappCon 25 |德國柏林。 2025年6月16日至18日

• ZK Hack 柏林黑客馬拉松|德國柏林。 2025年6月20日至22日

• ETHCC |法國坎城。 2025年6月30日至7月3日

————

就是這樣！希望您喜歡這個版本的 ZK Mesh。請務必訂閱以便在您的收件匣中收到下一期。

最後，如果您認為下一版應該包含某些內容或對格式有建議，請在推特上@__zkhack__ ！