Zero-Knowledge機器學習是最近正在密碼學界引起轟動的一個研究和開發領域。但它是什么,有什么用處呢?首先,讓我們把這個術語分解成它的兩個組成部分,并解釋一下它們是什么。
什么是ZK?
零知識證明是一種密碼協議,其中一方可以向另一方證明一個給定的陳述是真實的,而不泄露除該陳述為真以外的任何附加信息。這是一個正在各個方面取得巨大進展的研究領域,涵蓋了從研究到協議實施和應用的所有方面。
ZK提供的兩個主要「原語」是能夠為一組給定的計算創建具有計算完整性證明的能力,其中證明比執行計算本身要容易地多。。ZK證明也提供了隱藏計算中某些部分同時保持計算正確性的選項。。
生成零知識證明需要非常大的計算量,大約比原始計算貴100倍。這意味著,在某些情況下由于最佳硬件上生成它們所需的時間使其不切實際,因此不能計算零知識證明。
然而,在近年來密碼學、硬件和分布式系統領域的進步已經使零知識證明成為了越來越強大的計算可行的選擇。這些進展已經為可以使用計算密集型證明的協議的創建提供了可能,從而擴大了新應用程序的設計空間。
ZK使用案例
互操作性協議Rarimo與Polygon ID合作推出首個用于驗證憑證的多鏈零知識證明:金色財經報道,互操作性協議Rarimo宣布與隱私保護ID基礎設施Polygon ID合作,這是鏈上身份向前邁出的革命性一步,每個使用 Polygon ID 的身份提供商都立即實現跨鏈,這不僅是Polygon ID首次成為多鏈,而且由于PolygonID是第一個也是唯一一個允許用戶將鏈外憑證表示為零知識證明 (ZKP) 的解決方案,此次合作標志著數字身份領域的首創。Rarimo表示,既然以太坊已被納入其中,Polygon上頒發的憑證將在未來幾周內在BNB Chain和Avalanche上提供。[2023/7/22 15:51:50]
零知識密碼學是Web3空間中最流行的技術之一,因為它允許開發人員構建可擴展和/或私有的應用程序。以下是一些實踐中如何使用它的示例:
1.通過ZKrollups擴展以太坊
Starknet
Scroll
PolygonZero,PolygonMiden,PolygonzkEVM
zkSync
Aztec創始人:出于商業原因關閉其以太坊零知識工具:金色財經報道,Aztec Network并非出于監管擔憂而決定放棄其Aztec Connect私人支付產品,只是由于“商業”原因。該公司正在從支持自己的支付產品轉向開發供去中心化社區使用的軟件工具。3月13日,公司宣布將停止其中一個項目,即以太坊零知識(ZK)匯總Aztec Connect。它于3月23日停止接受新存款,但將允許再提款一年。[2023/3/25 13:25:30]
2.構建保護隱私的應用程序
Semaphore
MACI
Penumbra
AztecNetwork
3.身份原語和數據來源
WorldID
Sismo
Clique
Axiom
4.第一層協議
Zcash
Mina
隨著ZK技術的成熟,我們相信將會出現新的應用程序的爆發,因為構建這些應用程序所使用的工具將需要更少的領域專業知識,對于開發人員來說將會更加容易使用。
歐易OKX宣布將基于全覽默克爾樹、零知識證明升級儲備金證明:3月2日消息,據歐易 OKX 官方消息,平臺宣布在未來幾個月內升級儲備金證明,將基于全覽默克爾樹、零知識證明的技術來證明償付能力。后續將允許任何人查閱默克爾樹中的所有資產情況,但也會通過拆分和洗牌的方式保障用戶隱私。
據了解,除儲備金干凈度為 100% 外,歐易 OKX 是目前唯一一家同時實現默克爾樹開源驗證、錢包地址所有權開源驗證、鏈上資產開源驗證的交易平臺。自去年 11 月份以來,歐易按月定期發布 PoR 報告,持續引領行業提升透明度。[2023/3/2 12:38:51]
機器學習
機器學習是人工智能領域的一個研究方向,使得計算機可以自動從經驗中學習和改進,無需明確地進行編程。它利用算法和統計模型來分析和識別數據中的模式,然后基于這些模式進行預測或決策。機器學習的最終目標是開發出能夠自適應學習、不需要人類干預以及在醫療保健、金融和交通等各個領域解決復雜問題的智能系統。
最近,您可能已經看到了大型語言模型以及文本到圖像的模型的進展。隨著這些模型變得越來越好,并且能夠執行更廣泛的任務,了解是哪個模型執行了這些操作就變得非常重要,還是操作由人類執行。在接下來的部分中,我們將探討這個思路。
以太坊生態零知識協議Semaphore發布V2版本:7月7日消息,以太坊生態針對開發者的零知識協議 Semaphore 推出 V2 版本,更新內容包括不再需要擁有 EdDSA 私鑰,從而實現更簡單的電路(circuit)和更高效的零知識證明生成;用于身份承諾和 Merkle 樹的哈希函數從 MiMC 遷移到 Poseidon,將證明時間減半并提高了 Gas 效率;合約模塊化、三個新的 JavaScript 庫等。
Semaphore 最早由以太坊社區成員 Kobi Gurkan、Koh Wei Jie 和 Barry Whitehat 提出,在 2019 年發布 V1 版,可以讓以太坊用戶可以證明他們的群組成員身份,并在不透露原始身份的情況下發送諸如投票或支持的信號。Semaphore 不是面向用戶的應用程序,旨在為以太坊開發人員提供強大而簡單的工具,以使用私有憑據構建 DApp。[2022/7/7 1:57:35]
ZKML的動機和當前努力
我們生活在一個世界上,AI/ML生成的內容越來越難以與人類生成的內容區分開來。零知識密碼學將使我們能夠做出這樣的聲明:「給定一段內容C,它是由模型M應用于一些輸入X生成的。」我們將能夠驗證某個輸出是否是由大型語言模型或文本到圖像模型等任何其他我們為其創建了零知識電路表示的模型所生成的。這些證明的零知識屬性將使我們能夠根據需要也隱藏輸入或模型的某些部分。一個很好的例子是在一些敏感數據上應用機器學習模型,在不透露輸入到第三方的情況下,用戶可以知道他們的數據在模型推理后的結果。
動態 | 摩根大通正在測試零知識隱私解決方案:據coindesk報道,摩根大通(JPMorgan Chase)正在測試一種名為AZTEC的零知識隱私解決方案。該協議由倫敦創業公司AZTEC開發,旨在以更低的成本和更高效的方式對區塊鏈數據進行加密。摩根大通內部人士證實,該銀行的Quorum團隊正在關注AZTEC,并且一直希望將Quorum的零知識證明工業化。[2019/3/1]
注:當我們談論ZKML時,我們是指創建ML模型推理步驟的零知識證明,而不是關于ML模型訓練。目前,現有技術水平的零知識系統加上高性能硬件仍然相差幾個數量級,無法證明當前可用的大型語言模型等龐大的模型,但是在創建較小模型的證明方面已經取得了一些進展。
我們對零知識密碼學在為ML模型創建證明的上下文中的現有技術水平進行了一些研究,并創建了一個聚合相關研究、文章、應用程序和代碼庫的文章集。ZKML的資源可以在GitHub上的ZKML社區的awesome-zkml存儲庫中找到。
ModulusLabs團隊最近發布了一篇名為「智能的成本」的論文,其中對現有的ZK證明系統進行了基準測試,并列舉了不同大小的多個模型。目前,使用像plonky2這樣的證明系統,在強大的AWS機器上運行50秒左右,可以為約1800萬個參數的模型創建證明。以下是該論文中的一張圖表:
另一個旨在改進ZKML系統技術水平的倡議是Zkonduit的ezkl庫,它允許您創建對使用ONNX導出的ML模型的ZK證明。這使得任何ML工程師都能夠為他們的模型的推理步驟創建ZK證明,并向任何正確實現的驗證器證明輸出。
有幾個團隊正在改進ZK技術,為ZK證明內部發生的操作創建優化硬件,并針對特定用例構建這些協議的優化實現。隨著技術的成熟,更大的模型將在較不強大的機器上短時間內進行ZK證明。我們希望這些進展將使新的ZKML應用程序和用例得以出現。
潛在的使用案例
為了確定ZKML是否適用于特定的應用,我們可以考慮ZK密碼學的特性將如何解決與機器學習相關的問題。這可以用一個Venn圖來說明:
定義:
1.Heuristicoptimization—一種問題解決方法,它使用經驗法則或「啟發式」來找到艱難的問題的好解決方案,而不是使用傳統的優化方法。啟發式優化方法旨在在相對的重要性和優化難度下,在合理的時間內找到好的或「足夠好」的解決方案,而不是嘗試找到最優解決方案。
2.FHEML—完全同態加密ML允許開發人員以保護隱私的方式訓練和評估模型;然而,與ZK證明不同,沒有辦法通過密碼學方式證明所執行的計算的正確性。
像Zama.ai這樣的團隊正在從事這個領域的工作。
3.ZKvsValidity—在行業中,這些術語通常被互換使用,因為有效性證明是ZK證明,不會隱藏計算或其結果的某些部分。在ZKML的上下文中,大多數當前的應用程序都利用了ZK證明的有效性證明方面。
4.ValidityML—ZK證明ML模型,在其中沒有計算或結果被保密。它們證明計算的正確性。
以下是一些潛在的ZKML用例示例:
1.計算完整性
ModulusLabs
基于鏈上可驗證的ML交易機器人-RockyBot
自我改進視覺區塊鏈:
增強Lyra金融期權協議AMM的智能特性
為Astraly創建透明的基于AI的聲譽系統
使用MLforAztecProtocol致力于合同級合規工具所需的技術突破。
2.機器學習即服務(MLaaS)透明;
3.ZK異常/欺詐檢測:
這種應用場景使得可創建針對可利用性/欺詐的ZK證明成為可能。異常檢測模型可以在智能合約數據上進行訓練,并由DAOs同意作為有趣的度量標準,以便能夠自動化安全程序,如更主動、預防性地暫停合約。已有初創企業正在研究在智能合約環境中使用ML模型進行安全目的的方法,因此ZK異常檢測證明似乎是自然的下一步。
4.ML推理的通用有效性證明:能夠輕松證明和驗證輸出是給定模型和輸入對的乘積。
5.隱私(ZKML)
6.去中心化的Kaggle:證明模型在某些測試數據上的準確率大于x%,而不會顯示權重。
7.隱私保護推理:將對私人患者數據的醫療診斷輸入模型,并將敏感的推理發送給患者。
8.Worldcoin:
IrisCode的可升級性:WorldID用戶將能夠在他們的移動設備的加密存儲中自我保管其生物特征,下載用于生成IrisCode的ML模型并在本地創建零知識證明,以證明其IrisCode已成功創建。這個IrisCode可以被無需許可地插入注冊的Worldcoin用戶之一,因為接收的智能合約可以驗證零知識證明,從而驗證IrisCode的創建。這意味著,如果Worldcoin將來升級機器學習模型以一種破壞與其之前版本兼容性的方式創建IrisCode,用戶就不必再次去Orb,而可以在設備上本地創建這個零知識證明。
Orb安全性:目前,Orb在其受信任的環境中執行幾個欺詐和篡改檢測機制。然而,我們可以創建一個零知識證明,表明這些機制在拍攝圖像和生成IrisCode時是活動的,以便為Worldcoin協議提供更好的活體保證,因為我們可以完全確定這些機制在整個IrisCode生成過程中都將運行。
總之,ZKML技術有著廣泛的應用前景,并且正在快速發展。隨著越來越多的團隊和個人加入到這個領域,我們相信ZKML的應用場景將會更加多樣化和廣泛化。
Tags:WorldcoinPolygonValidityWorldcoin幣是什么幣Polygon幣是什么幣Validity幣是什么幣
2023年第二個月,大多數主要加密貨幣的增長有限,導致市場出現近乎橫盤整理的趨勢。然而,盡管市場參與者的情緒不確定,但加密代幣已顯示出強烈看漲模式的形成.
1900/1/1 0:00:00本期看點: 1.散戶在交易所怎么玩Ordi 2.MEME吸血主流幣 3.Tether季報解讀 01重要新聞 1.Bitwise和Roundhill本周均已向美SEC提交以太坊期貨ETF申請.
1900/1/1 0:00:00從區塊鏈層面出發,以太坊生命的初始階段是單一的。這意味著在最初的幾年里,Layer1以太坊主網全權負責執行自己的交易,促進自己的網絡安全,并為自己的數據可用性提供服務.
1900/1/1 0:00:00近兩年,虛擬數字人隨著元宇宙的風潮得到了許多人的關注。在國內,虛擬數字人在一些領域開始應用,例如直播帶貨、客服等.
1900/1/1 0:00:00比特幣消息:長期以來,人們一直認為比特幣價格已接近當前周期的低點或已經觸底。然而,FTX的崩潰和隨后的加密崩潰使市場變得更糟.
1900/1/1 0:00:00卡爾達諾正在為完全去中心化做準備,因為它準備在今年晚些時候進入伏爾泰時代。在伏爾泰時代,用戶可以利用他們的股份和投票權通過引入投票和財務系統來塑造網絡的未來發展.
1900/1/1 0:00:00