作者：Bart Stephens,Ryan Sproule, Yuan Han Li，編譯：Zen，PANews
7月19日，旨在幫助開發者開發零證明軟件的基礎設施公司RISC Zero 宣布完成了4000 萬美元A 輪融資，Blockchain Capital 領投，參投方包括Galaxy Digital、IOSG等。作為領投方，Blockchain Capital撰文分析了零知識計算的發展、RISC Zero的特點及優勢。
想像一下這樣一個世界：數據隱私、安全和信任不再受到關注，軟件供應鏈透明且可驗證，新一代應用程序可以利用零知識計算的力量來解決數字時代一些最緊迫的挑戰。這是零知識(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 作為多功能計算平台的出現，預示著計算的新時代——隱私、安全和信任被構建到我們數字世界的結構中。
