今天小編分享的互聯網經驗：加速 Web3向產業滲透 螞蟻鏈WAIC發布基于零知識證明的可信計算架構，歡迎閱讀。
7 月 8 日，在 2023WAIC 全球區塊鏈產業高峰論壇上，螞蟻鏈宣布隐私協作平台 AntChain FAIR 進行全新架構更新，引入零知識證明（ZKP）為核心的可驗證計算技術，從可信數據流轉拓展到計算過程、數據屬性以及身份的可驗證。據了解，這是 FAIR 平台繼去年提升大規模計算能力後，一次針對核心架構的重要更新，也是螞蟻鏈在 Web3 技術領網域的持續突破。
零知識證明被業内看作是 Web3 下一個 5 年最關鍵的技術之一，它指的是證明者能夠在不向驗證者提供任何有用信息的狀況下，使驗證者相信某個論斷是正确的。相較于隐私計算強調在保護數據隐私基礎上進行數據分析和計算，零知識證明的特點在于 " 可驗證 "。
采用零知識證明架構的企業和機構，可以在隐私保護基礎之上，确保數據計算的整個過程都是按照約定條件進行的、是正确且可被驗證的，這将大大提高身份驗證、AI 模型訓練、數據流轉、資產交易、鏈上鏈下協同等全流程可信度，加速 Web3 從數字世界向更復雜的產業場景滲透。近年來，随着零知識證明在基礎協定和硬體加速層面的高速發展，該技術已經逐漸能夠處理諸如神經網絡推理這類復雜的任務。
據了解，螞蟻鏈在 Web3 技術領網域全面自主可控，區塊鏈、隐私計算等授權專利全球第一。作為國内最早布局 Web3 技術的廠商，螞蟻鏈曾自研推出區塊鏈及服務 BaaS、 區塊鏈一體機、區塊鏈通信網絡 BTN、區塊鏈存儲引擎 LETUS、大規模開放架構 HOU、跨鏈 ODATS 等标志性產品，廣泛覆蓋 Web3 基礎設施。
螞蟻鏈資深技術專家魏長征表示：" 隐私和可驗證一直是數據和計算領網域重要的話題，兩者有相似之處也有本質不同。零知識證明具有高效的可驗證特性，再加之可以保護特定數據不被驗證方看見，因此在一定程度上滿足了隐私和可驗證的雙重需求。"
零知識證明最關鍵的環節是 " 證明生成階段 "，即對數據、身份、計算過程等生成一個 " 證明 "。據了解，螞蟻鏈通過在軟體算法優化，" 證明生成 " 端到端加速了原有基線的 2.8 倍。
此外，零知識證明的上述特性，同樣可以對計算和數據進行 " 壓縮 "，區塊鏈典型應用就是将計算任務遷移到鏈下，利用零知識證明來證明鏈下發生的動作是可驗證的，僅讓證明結果在鏈上存儲和驗證。例如，以太坊等區塊鏈平台使用基于零知識證明的疊卷技術（zkRollups），有效解決了鏈資源緊張的問題。
據了解，為降低零知識證明使用的門檻，螞蟻鏈 FAIR 在可信計算架構中加入了 zkWASM ——一種新型零知識證明虛拟機，實現指令級别的可證明特性，可以依托 WASM 多語言生态将多種前端語言編寫的算法程式進行證明轉化，而無需關心底層復雜的算法細節，提升開發應用的友好性。
FAIR 是螞蟻鏈面向數據流轉推出的隐私協作平台，其綜合了區塊鏈和隐私計算的優勢，協作流程由智能合約驅動，數據流轉由隐私計算引擎來解決，并通過區塊鏈技術确權，登記和交易共識。可以解決數據流通過程中，數據共享與隐私保護之間的天然矛盾。目前，FAIR 已經在杭數交、貴數所等多家數據交易所得到應用。
