熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
介紹 R0VM 2.0。
為實時時代打造的 zkVM。
7/ 沒有安全，速度就毫無意義。
通過 @veridiseInc，我們將形式化驗證作為 R0VM 的核心部分。
到目前為止，我們已經證明瞭 v2 電路中核心 RISC-V 功能的 123 個元件中有 122 個是確定性的。
2025年3月22日
RISC Zero 正在構建第一個經過正式驗證的 RISC-V zkVM。
使用 @VeridiseInc 的 Picus 工具，我們在數學上證明瞭電路中的確定性。
我們的目標：一個既快速又可證明安全的 zkVM，因此開發人員永遠不必妥協。
437.14K
熱門
排行
收藏