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

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

BlockFi CEO：未直接持有GBTC，僅有幾筆以GBTC為抵押品小額貸款:7月12日消息，BlockFi首席執行官Zac Prince在發推表示，BlockFi目前沒有直接持有GBTC，BlockFi有幾筆以GBTC作為抵押品的小額貸款（如低于1000美元）且正在逐步退出。

據悉，BlockFi與三箭資本此前一度是GBTC最大持倉機構，據此前Grayscale曾經披露的SEC Form 13F文件，僅BlockFi和三箭資本兩家機構的GBTC持倉占比一度達到了11%（機構持有比例占總流通不超過20%）。[2022/7/12 2:07:10]

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

Blockone疑似轉移價值130萬美元EOS至不同交易平臺:3月27日消息，Blockone賬戶b1通過中間賬戶將333,334枚EOS轉賬至多個交易平臺，價值約為132萬美元，其中包括Coinbase、Kraken、Binance、Kucoin。（KOL Colin Talks Crypto）[2021/3/27 19:23:04]

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

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

聲音 | BM：Block.one 官方錢包iOS 版本 UI 接近完成:據MEET.ONE消息，BM 近日在電報群分享了 Block.one 官方錢包細節，他表示，iOS 版本的 UI 快完成了, 我們已逐步地發布一部分的官方錢包系統，如 Authenticator、Smart signer。 前者要充分利用 Authenticator，并按要求部署 assert 合約；Smart signer 則強制要求準確顯示李嘉圖和其他特定要求，確保用戶免受虛假李嘉圖合約的欺騙，同時確保鏈的名稱以及圖標是合法的。[2019/5/13]

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

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

聲音 | Blockstream CEO：比特幣達到50萬美元是“合理的”:據CCN報道，塊鏈技術公司Blockstream的首席執行官Adam Back表示，未來幾年比特幣價格達到2.5萬美元至50萬美元之間是“合理的”。從數字黃金，到實物黃金，以及互聯網原生數字貨幣。[2018/11/21]

通過創建模擬 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：BLOCLOCBLOCKLOCKblockchain2023Pay Blockblockchain錢包中文版arcblock幣最新價格

火星幣