近日,在2023WAIC全球區(qū)塊鏈產(chǎn)業(yè)高峰論壇上,螞蟻鏈宣布隱私協(xié)作平臺(tái) AntChain FAIR 進(jìn)行全新架構(gòu)升級(jí),引入零知識(shí)證明(ZKP)為核心的可驗(yàn)證計(jì)算技術(shù),從可信數(shù)據(jù)流轉(zhuǎn)拓展到計(jì)算過(guò)程、數(shù)據(jù)屬性以及身份的可驗(yàn)證。據(jù)了解,這是 FAIR 平臺(tái)繼去年提升大規(guī)模計(jì)算能力后,一次針對(duì)核心架構(gòu)的重要升級(jí),也是螞蟻鏈在 Web3 技術(shù)領(lǐng)域的持續(xù)突破。
零知識(shí)證明被業(yè)內(nèi)看作是Web3下一個(gè)5年最關(guān)鍵的技術(shù)之一,它指的是證明者能夠在不向驗(yàn)證者提供任何有用信息的狀況下,使驗(yàn)證者相信某個(gè)論斷是正確的。相較于隱私計(jì)算強(qiáng)調(diào)在保護(hù)數(shù)據(jù)隱私基礎(chǔ)上進(jìn)行數(shù)據(jù)分析和計(jì)算,零知識(shí)證明的特點(diǎn)在于“可驗(yàn)證”。
采用零知識(shí)證明架構(gòu)的企業(yè)和機(jī)構(gòu),可以在隱私保護(hù)基礎(chǔ)之上,確保數(shù)據(jù)計(jì)算的整個(gè)過(guò)程都是按照約定條件進(jìn)行的、是正確且可被驗(yàn)證的,這將大大提高身份驗(yàn)證、AI 模型訓(xùn)練、數(shù)據(jù)流轉(zhuǎn)、資產(chǎn)交易、鏈上鏈下協(xié)同等全流程可信度,加速 Web3從數(shù)字世界向更復(fù)雜的產(chǎn)業(yè)場(chǎng)景滲透。近年來(lái),隨著零知識(shí)證明在基礎(chǔ)協(xié)議和硬件加速層面的高速發(fā)展,該技術(shù)已經(jīng)逐漸能夠處理諸如神經(jīng)網(wǎng)絡(luò)推理這類復(fù)雜的任務(wù)。
據(jù)了解,螞蟻鏈在 Web3 技術(shù)領(lǐng)域全面自主可控,區(qū)塊鏈、隱私計(jì)算等授權(quán)專利全球第一。作為國(guó)內(nèi)最早布局 Web3 技術(shù)的廠商,螞蟻鏈曾自研推出區(qū)塊鏈及服務(wù)BaaS、 區(qū)塊鏈一體機(jī)、區(qū)塊鏈通信網(wǎng)絡(luò) BTN、區(qū)塊鏈存儲(chǔ)引擎 LETUS、大規(guī)模開(kāi)放架構(gòu)HOU、跨鏈 ODATS 等標(biāo)志性產(chǎn)品,廣泛覆蓋 Web3 基礎(chǔ)設(shè)施。
螞蟻鏈資深技術(shù)專家魏長(zhǎng)征表示:“隱私和可驗(yàn)證一直是數(shù)據(jù)和計(jì)算領(lǐng)域重要的話題,兩者有相似之處也有本質(zhì)不同。零知識(shí)證明具有高效的可驗(yàn)證特性,再加之可以保護(hù)特定數(shù)據(jù)不被驗(yàn)證方看見(jiàn),因此在一定程度上滿足了隱私和可驗(yàn)證的雙重需求?!?
零知識(shí)證明最關(guān)鍵的環(huán)節(jié)是“證明生成階段”,即對(duì)數(shù)據(jù)、身份、計(jì)算過(guò)程等生成一個(gè)“證明”。據(jù)了解,螞蟻鏈通過(guò)軟件算法優(yōu)化,“證明生成”端到端加速了原有基線倍。
此外,零知識(shí)證明的上述特性,同樣可以對(duì)計(jì)算和數(shù)據(jù)進(jìn)行“壓縮”,區(qū)塊鏈典型應(yīng)用就是將計(jì)算任務(wù)遷移到鏈下,利用零知識(shí)證明來(lái)證明鏈下發(fā)生的動(dòng)作是可驗(yàn)證的,僅讓證明結(jié)果在鏈上存儲(chǔ)和驗(yàn)證。例如,以太坊等區(qū)塊鏈平臺(tái)使用基于零知識(shí)證明的疊卷技術(shù)(zkRollups),有效解決了鏈資源緊張的問(wèn)題。
據(jù)了解,為降低零知識(shí)證明使用的門檻,螞蟻鏈FAIR在可信計(jì)算架構(gòu)中加入了zkWASM——一種新型零知識(shí)證明虛擬機(jī),實(shí)現(xiàn)指令級(jí)別的可證明特性,可以依托WASM多語(yǔ)言生態(tài)將多種前端語(yǔ)言編寫的算法程序進(jìn)行證明轉(zhuǎn)化,而無(wú)需關(guān)心底層復(fù)雜的算法細(xì)節(jié),提升開(kāi)發(fā)應(yīng)用的友好性。
FAIR 是螞蟻鏈面向數(shù)據(jù)流轉(zhuǎn)推出的隱私協(xié)作平臺(tái),其綜合了區(qū)塊鏈和隱私計(jì)算的優(yōu)勢(shì),協(xié)作流程由智能合約驅(qū)動(dòng),數(shù)據(jù)流轉(zhuǎn)由隱私計(jì)算引擎來(lái)解決,并通過(guò)區(qū)塊鏈技術(shù)確權(quán),登記和交易共識(shí)??梢越鉀Q數(shù)據(jù)流通過(guò)程中,數(shù)據(jù)共享與隱私保護(hù)之間的天然矛盾。目前,F(xiàn)AIR已經(jīng)在杭數(shù)交、貴數(shù)所等多家數(shù)據(jù)交易所得到應(yīng)用。(更多新聞資訊,請(qǐng)關(guān)注羊城派