ZK Mesh：2024 年 12 月回顧

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

ZK Mesh由ZK Hack製作。

我們為您帶來最新的研究成果、有用的文章、影片、播客、推文、工具、專案更新和活動。每月都會有新的版本釋出,歡迎分享並訂閱!

研究

• ZODA: 零開銷資料可用性 | Alex Evans, Nicolas Mohnblatt和Guillermo Angeris

• Lova: 基於無結構格的摺疊方案 | Giacomo Fenzi, Christian Knabenhans, Ngoc Khanh Nguyen和Duc Tu Pham

• Scribe: 透過讀寫流式傳輸實現低記憶體SNARKs | Anubhav Baweja, Pratyush Mishra, Tushar Mopuri, Karan Newatia和Steve Wang

• Mira: 配對型論證的高效摺疊 | Josh Beal和Ben Fisch

• Orbweaver: 基於格的簡潔線性函式承諾 | Ben Fisch, Zeyu Liu和Psi Vesely

• PoneglyphDB: 用於任意SQL查詢驗證的高效非互動式零知識證明 | Binbin Gu, Juncheng Fang和Faisal Nawab

• BOIL: 基於相關全息IOP累積的可攜帶資料證明 | Tohru Kohrita, Maksim Nikolaev和Javier Silva

• 用於中等CM判別式橢圓曲線上更快密碼學的內射 | Dimitri Koshelev和Antonio Sanso

• 以1 OLE的代價實現兩輪2PC ECDSA | Michael Adjedj, Constantin Blokh, Geoffroy Couteau, Antoine Joux和Nikolaos Makriyannis

• CL框架下高效簡潔零知識論證 | Agathe Beaugrand, Guilhem Castagnos和Fabien Laguillaumie

• 時間證明:一種無需時間戳披露的可驗證臨時承諾方法 | Alexander John Lee

• Xiezhi: 向簡潔的償付能力證明邁進 | Youwei Deng和Jeremy Clark

• 基於ECDSA的匿名憑證 | Matteo Frigo和Abhi Shelat

• PrivCirNet: 透過塊迴圈變換實現高效的私有推理 | Tianshi Xu, Lemeng Wu, Runsheng Wang和Meng Li

• 關於群簽名的可追蹤性:未被腐敗的使用者必須存在 | Keita Emura

• Crescent: 為現有憑證提供更強的隱私 | Christian Paquin, Guru-Vamsi Policharla和Greg Zaverucha

• 用於棧和佇列的零知識記憶體檢查技術 | Alexander Frolov

• 繞過logUp中的特徵界限 | Liam Eagen和Ulrich Haböck

文章/討論

• 我希望看到的錢包功能 | Vitalik Buterin

• 以隱私為先的CBDC:利用密碼學和以太坊實現下一代數字貨幣 | Aztec

• 零知識技術可定義未來,但需要贏得公眾的信任 | Newsweek

• 在TLS 1.3上的承諾和零知識證明:DiStefano協議 | Brave

• ZODA:一個解釋 | Bain Capital Crypto

• 具有累積功能的簡潔區塊鏈:一條前進之路 | Psycho Virtual

• 持續只讀記憶體約束 | LambdaClass

• 所有Rollups都是應用程式,所有應用程式都是Rollups | Hylé

• 關於WHIR多項式承諾方案的gas效率 | @xyz_pierre & @GiacomoFenzi

• 混合默克爾樹入門 | NP Labs

• Groth16一瞥 | @alinush407

• 在WebAssembly中最佳化蒙哥馬利乘法 | Bain Capital Crypto

• Mira:配對型論證的高效摺疊 | Josh Beal & Ben Fisch

影片/播客

• ZK白板會議 - S2M6:關於摺疊的更新,由Albert Garreta主講 | ZK Hack

• ZK Hack V Online - 所有錄影 | ZK Hack

指南和資源

• Aztec合約從0到100 | @niallinio

• Rust中的算術電路 | NP Labs

• Awesome zkVM | @piapark_eth & @alexanderlhicks

• 開始使用MACI | Benjamin Barahona

• 理解Binius,第一部分 | L2 Iterative Ventures

• 理解Binius,第二部分 | L2 Iterative Ventures

漏洞/披露

• 選擇例項攻擊 | Bain Capital Crypto

• 針對一類RSA式密碼系統的部分暴露攻擊

工具/實現

• latticefold:一個用Rust編寫的基於格的非互動式摺疊方案 | Nethermind

• ZKMPC:用於通用計算的可公開審計的MPC | @sheagrief

• Cosmos ZK投票 | Vitwit

專案更新

• RISC Zero zkVM 1.2:引入應用程式定義的預編譯 | RISC Zero

• 簡潔網路白皮書 | Succinct

• o1路線圖:推進Mina,深化ZK,解決Web3最大問題 | o1Labs

• Namada主網上線! | Namada

• Kakarot的下一站:可證明的未來 | Kakarot ZK-EVM

• 加入Tools For Humanity,共建更美好的世界 | Modulus Labs

ZK發展的未來已來:宣佈Noir 1.0預釋出 | Aztec 介紹zkBasename:利用零知識證明在Base上提升您的隱私 | NovaNet Gevulot Firestarter正式上線 | Gevulot 【專案未命名】的技術基礎 | o1Labs 在Solana上使用SP1 Solana驗證器進行ZKP | Succinct Mina和以太坊的未來:收斂演化 | Psycho Virtual ZKsync SSO:為更好的使用者體驗而設計的開發者工具包 | ZKsync ZK Accelerate Bangkok:影片、照片和回顧 | Ingonyama ZKsync 2025路線圖:無妥協的Web3 | ZKsync 開源Polygon Plonky3再次成為最快的ZK證明系統 | Polygon 2024年回顧 | Hylé Soulforge獲勝專案($100K開源補助計劃用於Plonky3/CIRCOM開發) | zkBankai Citrea的證明器:為比特幣而設計 | Citrea 利用Mantle構建世界最大的ZK Rollup | Succinct 研究遇上生態系統:應用密碼學團隊路線圖 | o1Labs 鼓聲響起:為隱藏的ZEC引入Zashi-Keystone硬體錢包整合 | ZCash 宣佈Valida zkVM 0.7.0 | Lita Foundation 介紹OpenVM | OpenVM Sui中的ZK | ZKV Lagrange引入無限證明層:擴充套件去中心化證明到ZK Rollups | Lagrange Gevulot現已成為ZkCloud | ZkCloud World回顧:2024年定義的4個里程碑 | World ETHDenver | 美國丹佛,2025年2月23日-3月2日 ZKProof 7 | 保加利亞索非亞,2025年3月23日-25日 Real World Crypto | 保加利亞索非亞,2025年3月26日-28日 ETHGlobal Taipei | 臺灣台北,2025年4月4日-6日 BUIDL Asia | 韓國首爾,2025年4月15日-16日 zkSummit 13 | 加拿大多倫多,2025年5月12日 ETHGlobal Prague | 捷克布拉格,2025年5月30日-6月1日 ETHCC | 法國戛納,2025年6月30日-7月3日