專訪 Aleo 基金會執行董事:ZK 驗證耗時已大幅下降,「實時證明」逐步接近現實

WEEX 唯客博客, 作者: Wendy , Foresight News 嘉賓:Alex Pruden,Aleo 網路基金會執行董事  作為有望解決以太坊擴容和隱私問題兩大需求的前沿技術,零知識證明( ZK )被資本寄予厚望。不過,這項技術的大規模應用一直遲遲看不到跡象。 今年 4 月份,以太坊創始人 Vitalik 在香港提出實現 ZK 「實時證明」的目標,再次讓零知識證明成為社區關注焦點。 ZK 「實時證明」的目標需要多久才能照進現實, ZK 大規模應用又有多久才能真正實現? 有著零知識證明領域技術風向標的 ZPrize 大賽近日公布了 2023 年度競賽結果。藉此機會,Foresight News 採訪到了 ZPrize 的主辦方、Aleo 網路基金會執行董事 Alex Pruden,並深入聊了聊這次比賽的成果,關於 ZK 領域的幾大發展趨勢展望,以及備受社區關注的 Aleo 主網上線日期等話題。 Alex Pruden 曾在美國陸軍服役 9 年,期間擔任步兵和特種部隊軍官。在加入 Aleo 之前,他的身份是 a16z 的投資合伙人,加入 Aleo 之後,他則在某種程度上成為了 ZPrize 大賽的代言人。在他看來,保持零知識證明前沿發展的開源至關重要,這是 ZPrize 要求參賽團隊將演算法開源的原因,也是零知識證明不斷朝向大規模應用前進的有效路徑。在開源的精神指導下, ZK 領域得以展開協同合作,使得應用落地大大加速。 以下為專訪內容。 Foresight News : ZPrize 迄今已舉辦兩屆,相比於第一屆,這一屆有什麼不同?最大的成果是什麼? Alex Pruden :我認為這一屆最大的成果在於兩個方面:首先,我們第一次實現了一個真實世界的端到端應用程序,即在零知識證明中進行簽名驗證。在此之前,還沒有這方面的標準。第二個成果是在 WASM(瀏覽器中的運行環境)中進行證明生成方面取得了巨大進展,與基線相比提速約 100 倍。在原基線中,證明生成步驟中的一個關鍵部分需要大約兩分鐘來生成,而通過今年的 ZPrize 的獲獎解決方案,這一過程只需 1 到 2 秒。我們從分鐘級降到了秒級,這真是讓人難以置信。 這個成果非常重要,因為它使得這些演算法可以在消費級客戶端硬體上運行,而不是只能在強大的雲伺服器上運行。我認為這開啟了一系列全新的 ZK 技術使用場景。 Foresight News :由於 ZPrize 是競賽,所以參賽的解決方案往往將提高速度放在首位,從實際工程方面來講,這些獲獎演算法完全落地是否還需要一些時間?與此同時,社區也很想要知道 ZK 的大規模應用距離現在到底還有多遠?你認為在這方面最大的瓶頸是什麼?應該如何突破? Alex Pruden : 從技術層面來看,在 ZPrize 等行業努力之下,我們已經非常接近讓這項技術(指零知識證明)變得實用了。在我看來,(ZK 被大規模應用的)最大瓶頸是人們還沒有想出足夠多的應用來使用這項技術。對我來說,或者我認為對整個生態系統來說,最重要的是要讓應用程序的開發者們了解可以用 ZK 做些什麼,我們需要教育開發者們了解什麼是 ZK 技術的可能性,並向他們展示他們可以做的事情。 一些在兩年前甚至還不切實際的夢想現在已經成為現實,如前所述,某些計算需要的時間已經從兩分鐘變成了一秒鐘。這種速度的提升將會帶來質的差異。 不過,這種提升還是非常底層的提升。我們需要的是高層次的東西,需要一個消費級的應用程序,例如,身份驗證。目前,讓我們感到非常興奮的一個身份驗證程序叫做 zPass 。我們需要更多像 zPass 這樣的應用向人們展示 ZK 方面的需求,並在此基礎上構建產品。比如說,我想證明我的年齡,或者我想驗證某些東西,或者我想安全地匯款但同時也能進行 KYC ,諸如此類。 這些應用程序的出現也將進一步繼續推動底層密碼學的改進,從而形成一個良性循環。就像在傳統的硬體開發中,晶元和晶體管也在不斷地小型化。它們變得越小,計算機就越強大,這樣一來,能做的事情也就越多,從而驅動了更多需求的產生,隨後又反過來進一步促進小型化。這種良性的循環也正是我們需要為 ZK 建立的。 Foresight News :據我了解,將演算法開源也是 ZPrize 參賽的一個要求。在你看來,為什麼開源對於 ZK 社區如此重要? Alex Pruden :開源非常重要,因為我堅信開放的生態可以讓更多人做出貢獻,從而能夠取得更快的進展。在其他科技領域,你經常會看到專利組合中的閉源技術,它們往往使用率不高,或者發展緩慢,因為專利所有者受到保護,可以隨心所欲地將其商業化。 而在我看來,加密貨幣和區塊鏈總體上已經顯示了開源生態系統的價值。以以太坊為例,它已從一個工作量證明( POW )的鏈發展成為一個權益證明( POS )的鏈,這是全球範圍內眾多人共同努力的結果,其中包括許多突破性進展。零知識技術本身也是在諸如 Zcash 、 Aztec 、 Aleo 等許多不同開源協議的貢獻下取得了巨大進步。 所以,我們設置這樣的要求是基於這樣一個想法,那就是開源軟體可以幫助更多人互相協同,並確保生態系統中存在合作與協作的精神。 Foresight News :在算力需求方面呢?你認為來自於 ZK 社區的算力需求是否還會持續增長? Alex Pruden :我認為會。現在,算力需求的主要來源就是傳統加密網路上的工作量證明(POW)和人工智慧(AI)。在 Aleo,我們有一個用於 ZK 的挖礦組件。我認為需求會因此而上升,這實際上正是我們的目的。 另一方面,我認為也有很大的潛力將 ZK 應用於 AI 。 AI 的一大缺點就是許多人擔心他們的數據被收集和使用的。因此,像 ZK 這樣的隱私保護技術就可以成為解決方案的一部分。我認為從計算的角度來看,隨著 AI 需求增長,對 ZK 等技術的需求也會增長。 Foresight News :在這一輪周期內,你覺得 ZK 領域最值得關注的趨勢是哪些?有沒有什麼是你覺得很重要,但還沒有被充分討論的? Alex Pruden :在我看來, ZK 領域內眼下最大的趨勢就是應用。人們現在已經開始創建更多的 ZK 應用,雖然我認為應用是 ZK 大規模使用的一個瓶頸,但目前這方面發展勢頭很好。 第二個趨勢就是使用 ZK 來整合不同系統。有一個名為 ZK Email 的項目,它源自 TLS Notary,這兩個都是以太坊基金會的項目。這些基本上都是使用 ZK 來組合兩個不同的系統。我認為這是一個非常有趣的趨勢,作為應用也有很大的潛力。 另一個大趨勢是 ZK 礦池。現在有很多人對證明池(proving pools)很感興趣。我們可以採用比特幣挖礦方面的很多相同結構,讓這些礦池為真實世界的應用生成證明,使他們的工作變得有意義。現在,包括 Aleo 在內的很多公司都在考慮為各種 ZK 虛擬機提供證明生成服務。這是一個我認為非常令人感到振奮的領域。 第四個我想提一下的趨勢就是 ZK ASIC 。ZPrize 的所有實現都是在硬體上完成的,比如 FPGA、GPU 或 MacBook,但我認為現在已經看到了足夠的需求和興趣放在 ASIC 上實現,所以我認為 ZK ASIC 的開發指日可待,我非常期待看到。 我認為應該被充分討論但還沒有太多人討論的就是客戶端證明,也就是說在消費設備或移動設備上證明。在 ZPrize 和 Aleo 之外的傳統領域,比如大部分 ZK rollup 加速的重點都是在伺服器端實現。這一切都與延遲有關。我認為同樣重要的是,要考慮客戶端想要保留秘密並生成關於該秘密的證明的情況。我認為這是一個領域, ZK 領域的許多人可能隱含地否定了客戶端證明者的存在。如果需要隱私,它是通過伺服器端解決方案實現的,例如 MPC 。 未來幾年, ZK 領域將展開關於是否需要在消費電子產品或移動端證明的激烈辯論。我個人傾向於認為是需要的,而且我相信這種客戶端的證明將使得很多特殊的應用成為可能,尤其是在個人身份驗證方面。這就是為什麼我對於這方面如此看好,也是為什麼我對於這一屆 ZPrize 的結果感到如此興奮。 Foresight News :說到 Aleo ,能否聊一下你們的主網上線問題?原計劃在第一季度推出,但現在已經推遲。有沒有新的路線圖?可以分享具體的時間表嗎? Alex Pruden :我們計劃在下個月推出最終版本的測試網。 回顧來看,在 3 月份計劃推出時,我們覺得技術還沒有完全被驗證,再進行幾個月的測試和驗證會更安全。現在,我們已經完成了大部分,將在未來幾周內推出新版本的測試網。到那時,我們有一些條件需要被滿足,這些條件我們在一些核心開發者的電話會議上分享過,比如,關於客戶端穩定性、驗證者穩定性、確保網路的活躍度等等。當這些條件滿足時,我們將讓社區決定是否應該啟動主網。 我對於在今年年內啟動主網非常有信心。 Foresight News :一旦 Aleo 主網啟動,那麼什麼樣的應用程序有需求或動力與 Aleo 集成? Alex Pruden :我認為 Aleo 提供的最有價值的東西就是可編程且無需許可的隱私。 短時間內來看,在這方面最重要的殺手級用例就是身份驗證。可以構建非常獨特的身份協議,解決無法通過任何其他方式解決的問題。例如, zPass 允許你在網路上構建年齡驗證。在無需許可的環境中,網路的年齡驗證是一個難題。我認為它在這方面有巨大的潛力。 從身份開始,你可以構建新一代的 DeFi 應用程序,可以內置合規性,但也能夠從不同來源匯總大量流動性。橋接也非常令人興奮,正如我之前提到的, TLS Notary 展示了如何用 ZK 將不同的系統結合在一起。最後,我認為 ZK ML 是一個非常有趣的領域,就像我之前討論的那樣。 這四個領域的應用都需要 Aleo 提供的三樣東西:可編程性、無需許可性、隱私性,這就是我非常期待在 Aleo 上實現的四種應用類型。 WEEX唯客交易所官網:weex.com

Previous:

Next: