在過去的一年中,zk-SNARK的進展超出了預期。盡管普遍共識認為這些創新還需要數年時間,但應用程序,如ZK-EVM,正在出現。zk-SNARK的增強功能已使得探索區塊鏈的新用例成為可能,尤其是,我們正在密切關注使用zk-SNARK解決由機器學習和人工智能增加使用帶來的許多緊迫問題的研究。
隨著機器學習的普及,它正在廣泛應用于各種應用程序中。然而,其預測的可信度以及對不透明數據源的依賴性成為了一個主要問題。復制聲稱具有高準確度的模型的能力很難,而在實際產品中預測的一致性和正確性也沒有保證。
本文旨在簡要介紹為什么對基于zk-SNARK的機器學習系統產生了濃厚的興趣,并討論了該技術的一些潛在應用。
DeSo宣布推出跨鏈籌款平臺DAODAO:金色財經報道,DeSo區塊鏈宣布推出跨鏈籌款平臺DAODAO,DAODAO允許企業家使用可在鏈上訂單簿交易所立即交易的代幣發起籌款活動。創始人可以用任何貨幣籌集資金,包括法定現金、比特幣、以太坊、Solana、DeSo和USDC,并直接兌現到USDC。
金色財經此前報道,DeSo區塊鏈通過代幣銷售獲得2億美元融資,a16z等參投。[2022/10/13 10:32:59]
為什么需要ZK-ML?
使用監督式機器學習時,輸入被提供給已經用特定參數訓練過的模型。然后該模型產生可被其他系統使用的輸出。由于輕量級的機器學習框架和ONNX等格式,現在可以在邊緣設備上運行這些推理,例如手機或物聯網設備,而不是將輸入數據發送到集中式服務器。這提高了用戶的可擴展性和隱私性。
ENS DAO發起聘請基金經理管理endowment fund的投票提案:9月9日消息,以太坊域名服務ENS開發負責人Nick Johnson發起關于聘請基金經理管理endowment fund的投票提案,該基金可以在不依賴注冊和續訂收入的情況下支付持續的發展需求。基金資金將來自于DAO目前持有的ETH和USDC的普通資金,以及DAO的持續收入(一定比例),直到基金達到其目標規模。投票結束時間為9月14日。
ENS DAO當前持有13,069枚ETH的收入、3,817,067枚USDC以及18,184枚ETH的預收收入。[2022/9/9 13:18:55]
然而,需要注意的是,通常會將機器學習模型的輸入和參數都保持私密并隱藏在公眾視野之外。這是因為輸入數據可能包含敏感信息,例如個人金融或生物識別數據,而模型參數也可能包含敏感信息,例如生物識別驗證參數。
MakerDAO在Immunefi上啟動1000萬美元漏洞賞金計劃:2月11日消息,穩定幣DAI背后的去中心化組織 ( DAO ) MakerDAO宣布正與加密安全服務平臺 Immunefi 合作推出一項漏洞賞金計劃,承諾向發現其智能合約漏洞的白帽黑客支付 1000 萬美元。MakerDAO 漏洞賞金計劃包括生態系統內智能合約、網站和應用程序,賞金規模根據漏洞資產的數額而定。目前,在 Immunefi 上托管漏洞賞金計劃的項目還有Synthetix、Chainlink、SushiSwap、PancakeSwap、Bancor、Cream Finance、Compound等。[2022/2/11 9:44:04]
另一方面,使用ML模型的輸出的下游系統,例如鏈上智能合約,需要能夠驗證輸入是否正確處理以產生聲稱的輸出。
MakerDAO債務拍賣將于3月19日開始,MKR競拍價200Dai起:MakerDAO公布MKR債務拍賣細節,此次拍賣將于美國東部時間3月19日上午6:25 (世界標準時間 3月19日上午10:25)開始,對任何人開放,參與者必須運行Auction Keeper開源軟件參與拍賣競標。 此次拍賣的流程為,第一次MKR的競拍價從200Dai 起,總共出售250MKR (代表 50,000Dai)。接下來一個競拍同樣對應50,000Dai,但競拍者只可獲得230MKR,相當于217Dai/MKR 的價格。如果沒有人對第一次競拍出價250MKR,則會在三天后重新開始拍賣,50,000Dai對應300MKR,即每枚 MKR 價格為166.66Dai。最終,如果至少有一個出價,并且在6小時內沒有人出價更高,則拍賣結??束。此前報道,加密資產風投Paradigm曾宣布計劃參與即將到來的MakerDAO拍賣,這將增加Paradigm現有的MKR頭寸。[2020/3/15]
機器學習和zkSNARK協議的結合提供了一種新的解決方案,解決了這些看似矛盾的要求。
ZK-ML用例
有許多論文討論了我們可以如何使用zk-SNARKs來改善我們未來的機器學習。ZK-ML社區提供了一個非常有用的決策樹,讓我們考慮這種技術的各種用例。
這個決策樹基于兩個標準的交集:需要隱私和計算完整性,以及使用機器學習解決的啟發式優化問題。換句話說,決策樹用于確定是否適合使用涉及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內部動態可能至關重要。
結論
將零知識證明集成到人工智能系統中,可以為用戶和使用這些系統的公司提供新的安全和隱私保護級別。通過使人工智能能夠證明其決策的有效性,而不揭示底層數據或算法,零知識證明可以幫助緩解數據泄露和惡意攻擊的風險。此外,它們還可以通過提供透明和可驗證的方式來證明其公平性和準確性,從而有助于建立人工智能系統的信任。
隨著人工智能領域的不斷發展和擴大,零知識證明的應用將越來越重要,以確保這些強大技術的安全和負責任的部署。
區塊鏈瀏覽器TRONSCAN數據顯示,3月21日,TRC20-USDT發行量突破431億枚,創下歷史新高。截至目前,TRC20-USDT持有賬戶數已超過2158萬.
1900/1/1 0:00:00繼日本、韓國和澳大利亞之后,迪拜最近宣布了禁止所有隱私幣的計劃,其他國家將不可避免地效仿。周二,迪拜酋長國宣布計劃禁止發行“匿名增強Crypto”以及所有與之相關的虛擬資產活動.
1900/1/1 0:00:002月16日,歐易創始人徐明星在推特公開發文表示,新的OKBChain將于Q1上線,OKBChain完全獨立于現有的OKXChain.
1900/1/1 0:00:00今日,世界杯競猜游戲Dapp“章魚寶”在其官方微博發布公告稱將于世界杯開始前上線,并且將對SEER主網賬戶余額進行快照后空投OPC,具體細則將于近日公布.
1900/1/1 0:00:003月18日,格林納達常駐世界貿易組織代表、特命全權大使、波場TRON創始人孫宇晨先生閣下通過社交媒體平臺表示:“2023年帶來了相當多的挑戰.
1900/1/1 0:00:00今日,由騰訊主辦、為期兩天的2018中國“互聯網+”數字經濟峰會在重慶召開。在金融分論壇上,騰訊發布了國內首部《智慧金融白皮書》,并正式對外公布“騰訊區塊鏈+供應鏈金融解決方案”.
1900/1/1 0:00:00