DAOrayaki：ZK-ML解決大規模數據模型隱私、可驗證及安全的用例-ODAILY_DAO

在過去的一年中，zk-SNARK的進展超出了預期。盡管普遍共識認為這些創新還需要數年時間，但應用程序，如ZK-EVM，正在出現。zk-SNARK的增強功能已使得探索區塊鏈的新用例成為可能，尤其是，我們正在密切關注使用zk-SNARK解決由機器學習和人工智能增加使用帶來的許多緊迫問題的研究。

隨著機器學習的普及，它正在廣泛應用于各種應用程序中。然而，其預測的可信度以及對不透明數據源的依賴性成為了一個主要問題。復制聲稱具有高準確度的模型的能力很難，而在實際產品中預測的一致性和正確性也沒有保證。

本文旨在簡要介紹為什么對基于zk-SNARK的機器學習系統產生了濃厚的興趣，并討論了該技術的一些潛在應用。

Arthur Hayes：AI將通過DAO進行自我組織，其代幣交易或促使DEX形成自然壟斷:7月28日消息，BitMEX創始人Arthur Hayes在其博客中撰文表示，未來的人工智能（AI）將通過去中心化自治組織（DAO）進行自我組織。他認為，AI 將不再依賴傳統的公司結構，而是選擇公共區塊鏈進行部署和運行。他以一個名為「詩人 AI」的假設性 AI 為例，解釋了如何通過智能合約在公共區塊鏈（如以太坊）上部署 DAO 和代幣。

Hayes 還指出，AI DAO 的債務市場的成熟程度將決定其經濟影響力的增長速度。他認為，由于公共區塊鏈可以持續監控 AI DAO 以確保其遵守債務契約，并在未付款的情況下使用智能合約自動轉移數字財產和/或所有權，因此，債權人可以對 AI DAO 的賬目進行持續的、準確的審計，這將使投資者有信心向符合其財務標準的 DAO 投資。

此外，Hayes 還預測，隨著 DAO 的激增，以太坊交易將呈指數級增長，導致 ETH 的價格飆升。同時，去中心化交易平臺（DEX）將成為自然壟斷者，因為它們將成為第一個真正全球的交易場所，任何具有互聯網連接的人或 AI 都可以在其中進行交易。他認為，由于 AI 無法被國家強制控制，因此，交易所有形式的 DAO 代幣的交易平臺可能會成為自然壟斷者。識別這些 DEX 并購買它們的治理代幣將產生巨大的利潤。[2023/7/28 16:04:08]

為什么需要ZK-ML？

Everest DAO：Fuji上的測試階段已完成:Everest DAO在推特上表示在Fuji測試網上的測試階段已經完成。參與者現在可以在“期權”頁面申領他們的保費，沒有報告或發現嚴重的合約bug或漏洞。此外，Everest Options將于8月28日在主網上線。[2021/8/28 22:43:47]

使用監督式機器學習時，輸入被提供給已經用特定參數訓練過的模型。然后該模型產生可被其他系統使用的輸出。由于輕量級的機器學習框架和ONNX等格式，現在可以在邊緣設備上運行這些推理，例如手機或物聯網設備，而不是將輸入數據發送到集中式服務器。這提高了用戶的可擴展性和隱私性。

然而，需要注意的是，通常會將機器學習模型的輸入和參數都保持私密并隱藏在公眾視野之外。這是因為輸入數據可能包含敏感信息，例如個人金融或生物識別數據，而模型參數也可能包含敏感信息，例如生物識別驗證參數。

動態 | MakerDAO將把MKR控制權從基金會移交到治理社區:從12月20日起，MakerDAO將把MKR控制權從基金會移交到治理社區，基金會將與治理社區共享MKR的控制權約一個月，以確保成功交接。這意味著治理的進一步去中心化。[2019/12/21]

另一方面，使用ML模型的輸出的下游系統，例如鏈上智能合約，需要能夠驗證輸入是否正確處理以產生聲稱的輸出。

機器學習和zkSNARK協議的結合提供了一種新的解決方案，解決了這些看似矛盾的要求。

ZK-ML用例

有許多論文討論了我們可以如何使用zk-SNARKs來改善我們未來的機器學習。ZK-ML社區提供了一個非常有用的決策樹，讓我們考慮這種技術的各種用例。

動態 | EmpowerTheDAO完成第一階段集成，支持Aragon DAO使用Compound、Uniswap和ENS:EmpowerTheDAO宣布完成 Aragon和 ENS、Compound 和Uniswap 的第一階段集成，這意味著所有 Aragon 上的所有 DAO 項目可與集成在 Aragon 上的協議進行交互，比如現在基于 Aragon 的任何 DAO 項目可將 DAI 發送到 Compound 中，并獲得利息。同時，也支持配置其他 ERC-20 代幣，而集成 Uniswap 后則支持 DAO 項目對持有的 ETH 和 DAI 交易對進行兌換，這意味著任何持有 ETH 的 DAO 項目都可以將 ETH 換成 DAI 以獲得穩定性，同時也支持用于 ETH 和其他 ERC-20 代幣的兌換，集成 ENS 則意味著 DAO 項目可使用 ENS 設置反向記錄，這意味著 DAO 組織可發布對人類讀取友好的收款地址。EmpowerTheDAO 是在 Aragon 社區發起的「Aragon Nest」提案，于今年 5 月關閉，旨在構建最小可行 的 Aragon Agent 應用程序，以使 DAO 能與其他一些基于以太坊的著名項目開發的協議進行交互。安裝后，這些應用程序將出現在應用程序選擇器中，從而允許該 DAO 用戶與連接到其他協議的應用程序進行交互。EmpowerTheDAO 本身就是 DAO，第 1 階段由 Aragon 的 Nest Grants 計劃資助，項目提案是通過提交到 Aragon Nest github 上發起申請和申請資金。EmpowerTheDAO 使用 Aragon 的 DAO 框架作為合作伙伴 DAO運行，資金使用和操作是完全透明的。[2019/11/3]

這個決策樹基于兩個標準的交集：需要隱私和計算完整性，以及使用機器學習解決的啟發式優化問題。換句話說，決策樹用于確定是否適合使用涉及ZKML的用例，在這些用例中，隱私和計算完整性很重要，并且使用機器學習技術解決啟發式優化問題，

以下是zk如何用于ML模型創新的一些方式：

隱私保護機器學習

zk-SNARK可用于在不向模型的創建者或用戶公開私有數據的情況下對機器學習模型進行訓練。這允許開發可以在敏感或受監管的行業中使用的模型，而不會損害使用個人數據的個人隱私。

可驗證機器學習

zk-SNARK可用于證明機器學習模型是在特定數據集上進行訓練的，或者特定模型用于進行預測，而不會透露訓練數據或模型的詳細信息。這可以增加對機器學習模型結果的信任，這在信用評分或醫學診斷等應用中非常重要。

安全機器學習

zk-SNARK可用于通過確保模型未被篡改或替換為不同的模型來保護機器學習模型的完整性。這在模型部署在不受信任的環境中的應用中非常有用。

ZKonduit可能的應用

像ZKonduit這樣的項目正在將ZK-ML視為賦予區塊鏈眼睛、讓智能合約行使判斷力、單人預言機以及通常以可擴展的方式在鏈上獲取數據的關鍵。使用ZK-ML預言者提供了一種更簡單、更快速、更高效的方式，將鏈下數據傳輸到區塊鏈上，大大增加了將數據帶到鏈上的潛力。ZK-ML可以使“智能法官”解釋模糊事件。這可能為Web3帶來不可想象的新用例，但以下僅是最近討論過的一些用例：

ZKKYC

能夠證明一個人的身份與相應的身份證匹配，并且該身份證號碼不在制裁名單上。雖然這項技術是可用的，但監管機構可能不會接受它，因為它們目前要求銀行“了解”其客戶，而不僅僅是驗證他們不在制裁名單上。這是監管機構的一個新領域，必須采取措施防止不受歡迎的參與者使用去中心化項目。

防欺詐檢查

智能合約或抽象賬戶添加了一個ZK-ML欺詐垃圾郵件檢查，用于檢測異常行為。這意味著可以通過分析活動模式并將其與已知的欺詐或垃圾郵件活動模式進行比較，使用零知識機器學習技術來檢測和防止欺詐或垃圾郵件行為。這可以通過檢測和防止惡意活動來幫助確保系統的安全性和完整性。

使DAO自治

Zk-SNARKs技術允許以保護輸入數據隱私的方式執行復雜計算，適用于需要保護敏感信息的情況。可以將機器學習算法集成到該技術中，以實現更先進的決策制定、評估和更高效、準確的通信系統。這些能力對未來的DAO內部動態可能至關重要。

結論

將零知識證明集成到人工智能系統中，可以為用戶和使用這些系統的公司提供新的安全和隱私保護級別。通過使人工智能能夠證明其決策的有效性，而不揭示底層數據或算法，零知識證明可以幫助緩解數據泄露和惡意攻擊的風險。此外，它們還可以通過提供透明和可驗證的方式來證明其公平性和準確性，從而有助于建立人工智能系統的信任。

隨著人工智能領域的不斷發展和擴大，零知識證明的應用將越來越重要，以確保這些強大技術的安全和負責任的部署。

Tags：DAOaragonGONARAMETADAOParagon CapitalDragonSeaSARA幣

火幣APP下載