Blockchain Capital：我們為何要領投ZK基礎設施公司RISC Zero？

7 月 19 日，旨在幫助開發者開發零證明軟體的基礎設施公司 RISC Zero 宣布完成了 4000 萬美元 A 輪融資，Blockchain Capital 領投，參投方包括 Galaxy Digital、IOSG 等。作為領投方，Blockchain Capital 撰文分析了零知識計算的發展、RISC Zero 的特點及優勢，PANews 對其進行了編譯。

想象一下這樣一個世界:數據隱私、安全和信任不再受到關注，軟體供應鏈透明且可驗證，新一代應用程序可以利用零知識計算的力量來解決數字時代一些最緊迫的挑戰。這是零知識 (ZK) 計算的承諾，也是我們投資 RISC Zero 的原因，這是一家開創性的公司，旨在通過其 Bonsai 網路實現 ZK 訪問的民主化。

零知識計算是一種革命性的原語，它允許應用程序和協議利用簡潔性、正確性和零知識這三個關鍵屬性。這意味著，通過驗證 ZK 證明（正確性），驗證者可以通過近乎精確地保證知道計算已正確執行。

此外，經過驗證的證明將比原始計算簡潔得多，並且還可以利用證明的零知識屬性來確保驗證者對計算本身一無所知。這種獨特的屬性組合具有深遠的影響，並提供了一種驗證資訊的新方法。這些屬性共同平衡了隱私、安全和信任的需求，為更安全、更私密的數字世界提供了潛力。但在 ZK 充分發揮其潛力之前，仍存在一些障礙。

首先，在 ZK 中運行計算耗時太長且成本太高。證明時間和成本需要大幅下降，才能在 ZK 中實現複雜的計算。好消息是這些正在急劇下降：ZK 證明時間和成本的軌跡一直遵循技術史上熟悉的趨勢 - 無論是摩爾定律（計算成本每兩年減半）、弗拉特利定律（人類基因組測序成本以更顯着的速度下降）還是克萊德定律（磁盤密度大約每 13 個月增加一倍）。證明系統（Plonky2、Hyperplonk、STARK）的最新架構進步以及底層密碼學（Poseidon）的進步降低了創建任何計算的 ZK 證明所需的開銷。而這些領域的進步將繼續以類似的速度發生 (特別是最近人才湧入 ZK)，證明管理費用也將受益於硬體加速 (MSM, NTT) 的進步，這是迄今為止尚未得到充分開發的東西。

ZK 大規模採用的另一個巨大障礙是 ZK 系統固有的高度複雜的數學和密碼學。推動 ZK 創新所需的深度和專業知識水平只有一小部分高技能的技術開發人員能夠勝任。

理想情況下，開發人員可以自由地用自己喜歡的語言編寫程序，同時仍然能夠以零知識證明計算，而無需使用低級、ZK 特定的編程語言去手寫輸入和設計電路。這就是 RISC Zero 的 Bonsai 平台成為全球開發者遊戲規則改變者的地方，也是我們投資 RISC Zero 的原因。

通過創建模擬 RISC-V 指令集架構 (ISA) 的零知識虛擬機 (zkVM)，RISC Zero 構建了一個能夠證明低級代碼執行的系統。由於 ISA 是人類可讀代碼和機器可解釋指令之間的橋樑，這一成就意味著 Bonsai 網路可以證明任何高級程序都可以被編譯成這種體繫結構。由於大多數現代編程語言都與 RISC-V 兼容，RISC Zero 的 Bonsai 能夠以零知識執行幾乎任何任意計算機程序。

在零知識（ZK）計算變得普遍的未來，許多以前不可能的應用程序將成為可能。這不僅包括基於以太坊的應用程序，利用 RISC Zero 的盆景網路作為協處理器 (在驗證鏈上結果之前執行資源密集型的鏈下工作)，還將擴展到加密貨幣以外的應用程序。例如，Bonsai 可以讓白帽駭客在不直接披露漏洞的情況下證明安全漏洞和錯誤的存在。它還可以通過允許用戶下載和驗證 ZK 證明來確保他們運行的代碼在 Bonsai 中預先審計，從而防止未來對軟體的供應鏈攻擊。最令人興奮的是，Bonsai 的廣泛採用可能會帶來尚未想象到的全新用例。

除了令人印象深刻的技術突破之外，RISC Zero 背後還有著強大而獨特的團隊。三位聯合創始人 Brian Retford、Jeremy Bruestle 和 Frank Laub 已彼此相識 20 多年。他們共有的經歷包括共同創建多家公司，其中最近的一家公司涉足人工智慧優化和編譯領域，最終被英特爾收購。

三人組的每位成員都為 RISC Zero 帶來了豐富的經驗：Brian 曾在 Google Cloud Platform 從事定價和計量系統工作；Jeremy 是一位終生的數學愛好者，致力於基因測序的 GPU 加速，並擁有密碼學、高性能計算（HPC）和安全方面的背景；Frank 在編譯器方面擁有深厚的背景，並構建了眾多代碼庫。憑藉共同的歷史和多樣化的技能，RISC Zero 團隊具有獨特的優勢，他們向大眾提供零知識計算，並有可能在此過程中重塑數字格局。

當我們展望零知識計算廣泛普及的未來時，創新的可能性是無限的。RISC Zero 的 Bonsai 網路能夠支持廣泛的編程語言，將使 ZK 計算民主化，並使開發人員能夠在各個領域創建安全、私有和無需信任的應用程序。從加強網路安全措施到增強對軟體供應鏈的信任，再到大幅提高鏈上應用程序可用的計算能力，零知識計算的潛在影響是巨大的。快速下降的 ZK 證明時間和成本、RISC Zero 的忠誠團隊以及 Bonsai 作為多功能計算平台的出現，預示着計算的新時代——隱私、安全和信任被構建到我們數字世界的結構中。

原文連結