風險提示:防範以"虛擬貨幣""區塊鏈"名義進行非法集資的風險。——銀保監會等五部門
資訊
發現
搜索
登錄
简中
繁中
English
日本語
한국어
ภาษาไทย
Tiếng Việt
BTC
ETH
HTX
SOL
BNB
查看行情
Vitalik:現有以太坊有效性證明形式化驗證路線圖很大一部分是在RISC-V中對EVM進行驗證部署
2024-10-27 05:20
Odaily星球日報訊 以太坊開發人員Rick Dudley 於X 發文喊話Vitalik Buterin,表示讓信標鏈運行RISC-V,然後在其中運行EVM 非常有意義,他非常有興趣管理這個專案。 Vitalik 對此回應稱,現有以太坊有效性證明形式化驗證路線圖的很大一部分是在RISC-V 中對EVM 進行驗證部署,並建議Dudley 與負責以太坊形式化驗證與人工智慧的Alexander Hicks接洽。