原文作者：Foresight X
一級標題
原文作者：Foresight X
一、開放的學習和探索旅程
一級標題
一級標題
圖片描述
OpenBuild Hacker House @ EthCC workshop
What to build on Hybrid ML NOW by EF PSE
二、工作坊中的頭腦風暴
Hybrid ML Practical On-chain AI/ML, by Hyper Oracle
圖片描述
Who killed ZKML? by Modulus Labs
圖片描述
Unleash the power of ZK-ZKVM by OlaVM
相比於（ZK）難以實現/需求尚且不明朗的隱私功能，可驗證的AI 是更為實際可以開發的方向，鼓勵ZKML 背景的開發者考慮三個方向進行嘗試：( 1) ZKML AIGC NFTs：採用ERC 7007 ，利用智能合約觸發prompt，由ML 模型推理生成AIGC 相關文件，再由ZKML 的prover 進行驗證生成證明，進行新型的NFT 創作。 （2）遞歸神經網絡(Recursive Neural Networks, RNN)：可以使用ZK RNN 開發價格預測、交易機器人、大語言模型等。 （3）好玩的應用：針對特定的用例從頭開發ZK 友好的模型、開發例如Zordle, Leela vs the World 等遊戲。
Hyper Oracle 支持的鏈上數據平台，當前已經支持一些新的項目如ZKAMM 等出現。但是對於高強度計算，如大型人工智能模型上鍊是不夠的。項目提出Hybrid ML，即藉用零知識證明壓縮opML 中的欺詐證明周期和大幅減少上鍊時gas 消耗，其性能可把超大型人工智能模型帶上鍊，並開發相關應用。
當前ZKML 仍然非常早期，目前也僅僅有10 個相關項目... 這是為什麼？主要是成本約束、 過於早期，以及這件事情本身就很困難。 Modulus Labs 通過設計AI 領域專用的ZK，希望可以降低成本90% ，甚至100% 。但是回過頭來看，追求極致的性能最終的目標是什麼呢？我們或許會擁有完全不同的UX，以及全新的項目形態。
Ola 提出ZK-ZKVM 願景，即首個基於ZKVM 的可編程性隱私平台——可以很方便的給不具有隱私和高性能特性的平台擴展出相應的功能，同時繼承其網絡安全性，將致力於為生態最大的區塊鏈公鏈Ethereum 及整個Web 3 生態帶來可控可選隱私。
圖片描述
圖片描述
On Proof Recursion, Maggie from Foresight Ventures
一級標題
圖片描述
1. ZK Microphone (Winner of Filecoin—Runner Up, EAS—Best Use and ETHGlobal Paris 2023 Finalist)
一級標題
一級標題
三、OpenBuild Hacker House @ EthCC 項目介紹及點評
ZK Microphone 旨在利用ZK-SNARKs，於深度偽造（deepfakes）氾濫的時代打造可信賴的音頻驗證服務。生成式AI 和深度偽造音頻已對我們的社會安全構成了巨大的危害，為了抑制該問題的擴散，ZK Microphone 構建了一個全棧解決方案—— 利用ZK-SNARKs 的音頻的驗證服務。
2. Bob the Solver（winner of 1 inch — Best use of 1 inch Contracts and ETHGlobal Paris 2023 Finalist)
ZK Microphone 的基本運行原理為，在一個安全的飛地中存儲用於數字簽名的秘鑰，從而保證錄音的真實性，即確認音頻確實是從指定的硬件麥克風之上錄製產生的；與此同時，ZK Microphone 還會利用由ZK-SNARKs 驅動的音頻編輯軟件來對原始音頻進行一定的變換，從而在保證數字簽名可驗證的同時確保原始音頻內容的隱私性。
獲獎主頁: https://ethglobal.com/showcase/zk-microphone-8161v
Foresight Ventures 點評：ZK microphone 可以保證音頻是真實從某個硬件設備錄製而來得。團隊考慮得非常全面，還考慮到了對錄音進行剪輯編輯得需求，能以保留數字簽名和隱私的方式對音頻進行編輯。利用ZK 證明來對抗虛假信息是一個非常有價值的舉措。
Bob the Solver 旨在作為基於「意圖」的交易基礎設施，集成到錢包和去中心化應用程序中。該項目源自於賬戶抽象領域的新興範式轉變，其核心焦點不關注精確的交易流程，而是關注用戶的最終「意圖」。
「意圖」代表了期望的結果，而「交易」則概述了執行交易所需的精確步驟。比如，某用戶打算在Polygon 網絡上購買一個NFT，「意圖」很簡單，但是精確的交易則可能涉及換幣、跨鏈、購買等一系列複雜且耗時的任務，需要深入了解各種區塊鏈知識。
3. Starksplitter（winner of Starknet — Best Use)
Bob the Solver 意識到用戶通常只有「意圖」，而沒有精確的「交易」細節需求。該項目旨在簡化交易過程，它會接受用戶的「意圖」，自動制定適當的交易，並代表用戶執行它們。
獲獎主頁: https://ethglobal.com/showcase/bob-the-solver-yxtgp
Foresight Ventures 點評：Bob the Solver 是一個降低Web 3 使用門檻的好工具，能讓沒有深入區塊鏈知識Web 2 用戶快速上手Web 3 。用戶只需要描述出自己的意圖，Bob the Solver 即可為用戶生成交易，消除了構建交易的複雜性。且採用AA 錢包來管理用戶的gas fee, 進一步方便用戶快速上手。
4. ZenetikNFT （winner of the Metamask — Best Use, Worldcoin — Pool Prize, and The Graph — Pool Prize）
Starksplitter 在Cairo 中實現OpenZeppelin 的支付分賬合約。該合約允許將ERC 20 的支付按權重轉給一組賬戶中，進行分賬。發送方無需知道ERC 20 將以這種方式進行分割，合約會自動透明進行處理。
獲獎主頁: https://ethglobal.com/showcase/starksplitter-2m5j2
獲獎主頁: https://ethglobal.com/showcase/zenetiknft-1ph5r
5. Photon（1 st prize winner of LambdaZkWeek hackathon)
圖片描述
Github: https://github.com/photon-bridge/overview
圖片描述
6. Delta Z ( 2 nd prize winner of LambdaZkWeek hackathon)
圖片描述
Github: https://github.com/manuj-mishra/zkdiffpriv
一級標題
圖片描述
OpenBuild hacker house @ EthCC 已經落下帷幕，但BUIDL 不會停止。作為Web 3 生態系統的推動者， Foresight X 始終致力於為Web 3 的開發者提供最新的研究洞察、諮詢輔導、生態資源和約20 萬美金的早期資金支持，協助他們實現願景並且推動整個crypto 行業向前發展。
關於我們
關於我們
關於我們
一級標題
