Blockchain Capital：我們為何要領投ZK基礎設施公司RISC Zero的4000萬美元融資？_ERO:Peperonni

作者：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 訪問的民主化。

“元宇宙第一股”Roblox推出生成式AI游戲創作工具:3月26日消息，Roblox推出公司首款生成式AI游戲創建工具Code Assist和Material Generator，目前均處于測試階段。這兩種工具都無法通過文本描述直接生成游戲片段，但Roblox Studio負責人Stef Corazza表示，這些工具可以“幫助自動化基本編碼任務，讓用戶可以專注于創造性工作。” 這意味著能夠用戶可根據簡短提示，生成代碼片段和游戲內物件紋理。[2023/3/26 13:27:34]

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

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

The Block研究總監：Mode 10%的現金儲備僅能購買6.7個BTC:此前消息稱英國上市公司Mode計劃將10%的現金儲備轉換成加密貨幣。對此，The Block研究總監Larry Cermak在推特上表示：“不想讓任何人失望，但他們只是想花費其現金的10％。到6月底，他們的現金余額為72.2萬英鎊，合81.5萬美元，其中的10％約為6.7 BTC。公關活動不錯。”[2020/10/21]

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

聲音 | The Block分析師：幣安6月份交易量創歷史新高，今后幾個月將具有挑戰性:The Block分析師Larry Cermak發推文稱， 幣安6月份的交易量超過了600億美元，創歷史新高。其5月和6月的交易量（約1250億美元）高于前四個月的總和；在成立不到兩年的時間里，幣安共賺得了7.33億美元； 幣安第二季度的凈利潤很可能會超過1億美元，甚至高達1.5億美元； 將有1600萬枚（現值約5.39億美元）未解鎖的BNB作為每年期權計劃分發給團隊，如果團隊成員出售其新持有的BNB，可能會產生嚴重的拋售壓力。趙長鵬暗示，部分即將解鎖的團隊BNB可能會被焚毀； 今后幾個月對于幣安來說將具有挑戰性。 美國用戶占其總交易量的20％左右，但美國用戶從9月12日起將不能在該交易所進行交易。[2019/7/9]

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

聲音 | 陳偉星：blockchain的核心特征是不可篡改的database和賬本:泛城資本創始人陳偉星發微博稱，blockchain的核心特征是不可篡改的database和賬本，可以把合約代碼和利益關系記錄下來，并在數學上保證安全，同時付出效率低下的代價。其服務的對象就是現實生活中的各種契約關系、利益關系，讓這些關系可以在區塊鏈這臺公開的網絡計算機上可編程。現實中的用例類別有四種：

1.交易：把一筆賬從A打到B；

2.有條件交易：在一定時間內和一定條件下，把一筆賬從A打到B；

3.公共財產：經過一系列流程，在一定條件下對某一個賬戶的使用權力；

4.組織關系：約定各賬號之間的關系，投票權力。

這四個積木，可以通過編程行程復雜的組織網絡、交易網絡，并最終形成一個可編程環境下的社會關系[2019/3/1]

理想情況下，開發人員可以自由地用自己喜歡的語言編寫程序，同時仍然能夠以零知識證明計算，而無需使用低級、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 作為多功能計算平臺的出現，預示著計算的新時代——隱私、安全和信任被構建到我們數字世界的結構中。

PANews

媒體專欄

閱讀更多

金色財經

金色薦讀

區塊鏈騎士

金色財經 善歐巴

Block unicorn

Foresight News

深潮TechFlow

Tags：ISCZEREROZEROFiscusFYIAZERO幣PeperonniAZERO

LTC