歡迎來到ZK Mesh,這是一份每月通訊,涵蓋了先進隱私增強密碼學、分散式協議開發和零知識系統研究的最新進展。
ZK Mesh由ZK Hack製作。
感謝閱讀ZK Mesh!免費訂閱以接收新帖並支援我們的工作。
我們為您帶來最新研究、實用文章、影片、播客、推文、工具、專案更新和活動。每月都會推出新版本。請務必分享並訂閱!
研究
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以控制人工智慧 | 拉格朗日
平方白皮書 | 平方
使用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
推出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__!



