Cryptonomist 採訪了Polyhedra Network 的 CSO Eric Vreeland，談論了Web3、零知識（ZK）證明和人工智能（AI）。
我們的願景是通過使用零知識 (ZK) 來大幅提升計算能力和跨平臺互操作性。雖然零知識證明 (ZKP) 最廣爲人知的特點是其隱私特性，但 ZKP 將大型數據集壓縮爲小型證明的能力具有巨大的潛力，可以徹底改變計算。ZKP 無需驗證每個單獨的計算或交易，而是可以將它們批量處理，以便驗證者可以快速檢查它們。這可能會大幅提高 AI 和機器學習等計算密集型應用的性能。
隨着傳統金融機構不斷探索區塊鏈技術，提供可驗證計算和保護數據隱私的能力將使零知識成爲越來越受關注的領域。
到目前爲止，零知識應用的最大障礙是底層技術的複雜性以及性能（速度）方面的限制。Polyhedra繼續在 ZK 研究上投入大量資金，並繼續突破零知識證明生成速度的極限。我們最新的證明系統 Expander 目前是世界上最快的證明系統，它使零知識應用更加實用。我們現在的重點是讓這些高性能證明系統的開發更容易實現，以便任何開發人員都可以利用零知識的優勢。
零知識證明允許一方向另一方證明聲明的有效性，而無需透露任何底層信息，從而促進安全且無需信任的交易。對於開發人員來說，這減少了對信任機制或第三方中介的需求，從而降低了成本。
在 web3 中，ZKP 允許卸載計算並最小化鏈上數據。鏈上計算成本高昂，處理大部分鏈下計算可顯著降低成本。在 web2 中，零知識可提高數據安全性和隱私性，從而實現信任最小化的交互，而無需中介。
零知識證明無需完全訪問底層信息即可有效驗證大型計算和數據集，從而有助於提高系統的可擴展性並降低運營成本。
這減少了主系統的計算負荷並最大限度地減少了數據傳輸，從而縮短了處理時間並降低了基礎設施成本。具體示例包括區塊鏈技術中的 zk-rollups，其中大量交易在鏈下處理，而只有簡明的證明在鏈上驗證，從而顯著提高了吞吐量並降低了 gas 費用。
在 web2 環境中，ZKP 用於隱私保護數據分析，允許公司在不損害用戶隱私的情況下對加密數據執行計算，從而減少對大量數據處理和安全措施的需求。
關鍵優勢在於消除了額外的信任假設或第三方。替代橋最常見的是使用驗證器網絡或中間鏈來確認一條鏈的狀態並將其轉發給另一條鏈。
零知識證明可以消除這個問題，只需生成一條鏈的狀態證明，然後在另一條鏈上驗證該證明即可。消除這些額外的信任假設可以減少攻擊面並最大限度地降低信任，只需要信任區塊鏈本身的數據和共識。
零知識通過提供防篡改驗證來提高AI模型的完整性和可靠性，確保模型的訓練過程正確執行，而不會暴露底層數據。這讓最終用戶相信模型是建立在可信數據之上的，從而改善了用戶體驗，並提高了通常非常不透明的領域的可信度。
零知識的防篡改特性也大大降低了欺詐的機會。金融服務或醫療保健等涉及敏感數據的應用是零知識可以帶來直接好處的行業。
我們是 zkBridge 白皮書的作者，也是最廣泛使用的零知識安全橋 www.zkbridge.com 的創建者。我們連接了超過 25 個區塊鏈，並促成了超過 2000 萬筆跨鏈交易。
最近我們正在開發 Proof Cloud，這是一個雲端證明平臺，可以降低成本並提高證明生成過程的效率。它將在月底向公衆開放。
最後，我們已將創紀錄的證明系統 Expander 開源。與其他證明系統相比，Expander 的速度要快幾個數量級，使用 Expander 的開發人員將看到證明生成速度和成本的驚人改進。
在接下來的 12 個月裏，我們計劃投入大量資源探索如何將零知識應用於人工智能和機器學習，並推出一系列特定於人工智能的開發工具和應用程序。