ZK Mesh：2025 年 3 月回顧

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

ZK Mesh由ZK Hack製作。

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

研究

• MERCURY：一種具有恆定證明大小且無證明者FFT的多線性多項式承諾方案 | Liam Eagen和Ariel Gabizon

• 來自雙工海綿的Fiat-Shamir變換 | Alessandro Chiesa和Michele Orrù

• 具有一個群元素的指定驗證者SNARGs | Gal Arnon、Jesko Dujmovic和Yuval Ishai

• 撒瑪利亞人：來自新型多線性多項式承諾的線性時間證明者SNARK | Chaya Ganesh、Sikhar Patranabis和Nitin Singh

• 攻擊Gemini多項式承諾方案最佳化的可靠性 | Lydia Garms和Michael Livesey

• 針對認證資料上有狀態計算的SNARKs | Johannes Reinhart、Erik-Oliver Blass和Bjoern Annighoefer

• 細粒度驗證者NIZK及其應用 | Shuai Han、Shengli Liu、Xiangyu Liu和Dawu Gu

• 橢圓曲線密碼學的PMNS算術 | Fangan Yssouf Dosso、Sylvain Duquesne、Nadia El Mrabet和Emma Gautier

• zkAML：使用白名單方法在智慧合約中進行零知識反洗錢 | Donghwan Oh、Semin Han、Jihye Kim、Hyunok Oh、Jiyeal Chung、Jieun Lee、Hee-jun Yoo和Tae wan Kim

• 機器學習中非線性函式的可擴充套件零知識證明 | Meng Hao、Hanxiao Chen、Hongwei Li、Chenkai Weng、Yuan Zhang、Haomiao Yang和Tianwei Zhang

• 關於KZG多項式承諾方案家族的可提取性 | Juraj Belohorec、Pavel Dvořák、Charlotte Hoffmann、Pavel Hubáček、Kristýna Mašková和Martin Pastyřík

• VeRange：針對區塊鏈應用的高效驗證零知識範圍引數，具有透明設定 | Yue Zhou和Sid Chi-Kin Chau

• zkPyTorch：用於零知識機器學習的分層最佳化編譯器 | Tiancheng Xie、Tao Lu、Zhiyong Fang、Siqi Wang、Zhenfei Zhang、Yongzheng Jia、Dawn Song和Jiaheng Zhang

• Plonkify：R1CS到Plonk的轉換器 | Pengfei Zhu

• JesseQ：任意域上電路的高效零知識證明 | Mengling Liu、Yang Heng、Xingye Lu和Man Ho Au

• 傳統簽名的高效擁有權證明 | Anna P. Y. Woo、Alex Ozdemir、Chad Sharp、Thomas Pornin和Paul Grubbs

• Soloist：用於一階約束系統的分散式SNARKs | Weihan Li、Zongyang Zhang、Yun Li、Pengfei Zhu、Cheng Hong和Jianwei Liu

工具/實現

• Noir中的訊號量 | 分散式實驗室

• zkVM中的Agglayer悲觀證明和基準測試 | 布萊恩·宋 (@BrianSeong99)

• libZK：零知識證明庫 | 谷歌

專案更新

• 任何計算都可以透過廉價的鏈上摺疊驗證器進行驗證 | 新星網路

• Rarimo推出ZK Roll-up | Rarimo

• 宣佈DeepProve：zkML以控制人工智慧 | 拉格朗日

• 平方白皮書 | 平方

• 推出clean，一種用於Lean4中zk電路的形式化驗證領域特定語言 | ZK安全

• 使用Valida進行客戶端證明和驗證 | Lita

• OP Kailua將OP鏈轉變為ZK Rollup | RISC Zero

• 案例研究：使用ICICLE加速Zircuit的零知識證明 | Ingonyama

• ICICLE-Snark：世界上最快的Groth16實現 | Ingonyama

• Nexus執行時：支援互操作性的ZK狀態驗證 | Avail

• Scroll路線圖2025：安全、擴充套件和更好的使用者體驗 | Scroll

• LLZK：ZK語言的新中間表示（IR） | Veridise

• zkVerify：大規模最佳化ZK證明驗證 | Delphi Digital

• Matter Labs使用Lagrange跨彈性鏈去中心化證明 | 拉格朗日

• 推出Sindri瀏覽器：ZK應用的擁抱面 | Sindri

• Leo程式語言：快速、安全且值得等待！🦁 | Aleo

活動/駭客馬拉松

• ZK Hack見面會 #11 | 臺灣台北。2025年4月1日

• ETHGlobal臺北 | 臺灣台北。2025年4月4-6日

• BUIDL亞洲 | 韓國首爾。2025年4月15-16日

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

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

• 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__！