#可驗證計算 - RiscZero CEO 播客訪談
AI快速發展提升生產力,但也降低製假/詐騙成本。更多RWA上鏈,但是鏈上資產是否被程序化驗證和審計,如果沒有驗證保證,這些RWA資產都面臨著很大的風險,我記得23-24年有一波CEX資產zk審計的潮流,但是未來更多RWA上鏈,更需要資產驗證和跟蹤審計。未來,互聯網的可驗證性和程序透明性將成為關鍵特性。區塊鏈與AI/RWA結合潛力巨大,而可驗證計算是這裡的基礎設施核心之一。
可驗證計算裡,zk項目@RiscZero和@boundless_xyz它們通過RISC-V和ZK VM實現可驗證計算。從2003年關注
RiscZero從zkvm到具體zk L1,一直在發展。下面分享一個之前的他們的創始人的@zeroknowledgefm播客訪談,來更深入的瞭解這個團隊和項目的技術選擇,商業設想等。
這次訪談是還沒有發佈@boundless_xyz 時做的,但之前的訪談已經透露了L1的規劃 。
如果英文聽力好?直接聽原版:
訪談摘要:
Risc0的核心技術ZK VM與RISC-V:Risc0構建了一個運行RISC-V代碼的ZK VM,支持C、C++、Rust等語言編譯的程序,類似虛擬微控制器,具有零知識屬性(隱藏輸入和程序)。
選擇RISC-V:因其開源、無知識產權限制、簡潔高效,且有合規性測試和正式模型支持,適合在ZK電路中實現。
隱私與擴展性:支持程序執行和程序本身的零知識證明,初期聚焦擴展性以支持複雜應用生態,隱私(如ZK身份)為未來方向。
內存與非確定性:內存以32位數字表示,通過Merkle結構編碼初始狀態;支持非確定性數據請求,guest(ZK VM)向host請求數據並驗證,保持隱私。
技術實現與加速STARKs應用:
使用STARKs證明重複結構(如處理器時間步),適合VM的時序執行模型。
遞歸支持:開發中,支持在ZK VM內運行Rust驗證器,驗證證明,實現增量證明(如從創世塊到N+1塊)。
硬件加速:當前在M1 Pro上達3萬週期/秒,GPU加速(Metal/CUDA)預計100萬週期/秒,3090 GPU約1000萬週期/秒。支持SHA-256等加速器電路,未來計劃加入有限域和大整數模乘加速器。
並行化:證明過程可並行,適合GPU加速,降低延遲,支持大規模計算(如編譯器運行)。
願景與應用Cloud 2.0:
目標構建去中心化公共雲,支持DeFi、遊戲、NFT及複雜應用(如SQL數據庫、社交媒體),實現“交易成本低到無需計量”。
L1區塊鏈:
開發L1,使用ZK優化共識機制(“交易證明”),利用計算量而非交易數確定最長鏈,支持每秒數十億交易。
用例:包括供應鏈安全(證明二進制來自審核過的源代碼)、物理資產追蹤等。
生態與未來生態連接:
計劃與其他區塊鏈(如以太坊)通過橋樑或驗證器集成,支持在以太坊上驗證Risc0證明或運行EVM。
路線圖:當前版本開源,下一版本(含遞歸和GPU加速)即將開源。計劃在2022年底或2023年初推出DevNet,通過Twitter等發佈測試報名。
Risc0作為L1存在,它會與其他網絡或網絡集群連接嗎?像@VitalikButerin 的eth 、@gavinwood 的@Polkadot、Cosmos之類的東西?Brian表示幾乎肯定會連接。視Risc0技術為廣泛適用的工具。雖然有自己的L1願景,但也希望這項技術服務於其他生態系統。
挑戰與思考編程易用性:
通過現有語言和工具鏈降低開發者門檻,無需學習新語言或算術電路。
硬件加速前景:
短期內GPU佔優,因數學未成熟、ASIC開發週期長;FPGA和ASIC可能在特定SNARK電路中應用。
競爭與定位:
與其他ZK VM/EVM項目不同,Risc0強調通用性和雲級別擴展,兼顧以太坊生態和其他網絡。
Risc0利用RISC-V和STARKs構建ZK VM,解決分佈式系統擴展性問題,目標是去中心化公共雲,支持大規模、隱私保護的計算。當前開源版本已可用,GPU加速和遞歸支持即將推出,計劃構建L1並與其他生態集成,適用於DeFi、供應鏈安全等場景
完整的訪談內容:長文圖片
查看原文
1.01萬
0
本頁面內容由第三方提供。除非另有說明,OKX 不是所引用文章的作者,也不對此類材料主張任何版權。該內容僅供參考,並不代表 OKX 觀點,不作為任何形式的認可,也不應被視為投資建議或購買或出售數字資產的招攬。在使用生成式人工智能提供摘要或其他信息的情況下,此類人工智能生成的內容可能不準確或不一致。請閱讀鏈接文章,瞭解更多詳情和信息。OKX 不對第三方網站上的內容負責。包含穩定幣、NFTs 等在內的數字資產涉及較高程度的風險,其價值可能會產生較大波動。請根據自身財務狀況,仔細考慮交易或持有數字資產是否適合您。