螞蟻鏈宣布隱私協(xié)作平臺AntChain FAIR進行全新架構升級，引入零知識證明（ZKP）為核心的可驗證計算技術。

零知識證明被業(yè)內看作是Web3.0下一個5年最關鍵的技術之一，它指的是證明者能夠在不向驗證者提供任何有用信息的狀況下，使驗證者相信某個論斷是正確的。相較于隱私計算強調在保護數(shù)據(jù)隱私基礎上進行數(shù)據(jù)分析和計算，零知識證明的特點在于“可驗證”。

螞蟻集團副總裁兼首席安全官韋韜告訴澎湃科技（www.dbgt.com.cn），螞蟻在AI安全檢測方面的平臺“蟻鑒”和螞蟻的隱私計算平臺“隱語”的融合，未來一定是一個大趨勢，“AI大模型的訓練需要大量數(shù)據(jù)，而未來這些數(shù)據(jù)需經過隱私計算才能確保安全可靠?！?/p>

采用零知識證明架構的企業(yè)和機構，可以在隱私保護基礎之上，確保數(shù)據(jù)計算的整個過程都是按照約定條件進行的、是正確且可被驗證的，這將大大提高身份驗證、AI模型訓練、數(shù)據(jù)流轉、資產交易、鏈上鏈下協(xié)同等全流程可信度，加速Web3.0從數(shù)字世界向更復雜的產業(yè)場景滲透。近年來，隨著零知識證明在基礎協(xié)議和硬件加速層面的高速發(fā)展，該技術已經逐漸能夠處理諸如神經網絡推理這類復雜的任務。 

螞蟻鏈資深技術專家魏長征表示：“隱私和可驗證一直是數(shù)據(jù)和計算領域重要的話題，兩者有相似之處也有本質不同。零知識證明具有高效的可驗證特性，再加之可以保護特定數(shù)據(jù)不被驗證方看見，因此在一定程度上滿足了隱私和可驗證的雙重需求?！?/p>

零知識證明最關鍵的環(huán)節(jié)是“證明生成階段”，即對數(shù)據(jù)、身份、計算過程等生成一個“證明”。據(jù)了解，螞蟻鏈通過軟件算法優(yōu)化，使“證明生成”端到端加速到原有基線的2.8倍。

此外，零知識證明的上述特性，同樣可以對計算和數(shù)據(jù)進行“壓縮”，區(qū)塊鏈典型應用就是將計算任務遷移到鏈下，利用零知識證明來證明鏈下發(fā)生的動作是可驗證的，僅讓證明結果在鏈上存儲和驗證。例如，以太坊等區(qū)塊鏈平臺使用基于零知識證明的疊卷技術（zkRollups），有效解決了鏈資源緊張的問題。 

據(jù)了解，為降低零知識證明使用的門檻，螞蟻鏈FAIR在可信計算架構中加入了zkWASM——一種新型零知識證明虛擬機，實現(xiàn)指令級別的可證明特性，可以依托WASM多語言生態(tài)將多種前端語言編寫的算法程序進行證明轉化，而無需關心底層復雜的算法細節(jié)，提升開發(fā)應用的友好性。

FAIR是螞蟻鏈面向數(shù)據(jù)流轉推出的隱私協(xié)作平臺，綜合了區(qū)塊鏈和隱私計算的優(yōu)勢，協(xié)作流程由智能合約驅動，數(shù)據(jù)流轉由隱私計算引擎來解決，并通過區(qū)塊鏈技術確權，登記和交易共識?？梢越鉀Q數(shù)據(jù)流通過程中數(shù)據(jù)共享與隱私保護之間的天然矛盾。目前，F(xiàn)AIR已經在杭州國際數(shù)字交易中心、貴州大數(shù)據(jù)交易所等多家數(shù)據(jù)交易所得到應用。