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接洽。
2025-11-03 22:50
Ripple收購託管與錢包技術公司Palisade
2025-11-03 22:50
Kraken在歐盟允許加密資產作為衍生性商品抵押
2025-11-03 22:43
Wintermute CEO否認將起訴幣安,稱該傳聞毫無根據
2025-11-03 22:42
聯準會理事庫克:12月有可能降息但將取決於後續新出爐的訊息
2025-11-03 22:30
BTC短時跌破106000 USDT,24H漲幅收窄至3.6%
2025-11-03 21:43
BTC反彈突破107000 USDT,24H漲幅2.75%
2025-11-03 22:30
BTC短時跌破106000 USDT,24H漲幅收窄至3.6%
2025-11-03 21:43
BTC反彈突破107000 USDT,24H漲幅2.75%
2025-11-03 18:02
Coinbase將Monad(MON)納入上幣路線圖
2025-11-03 17:42
易理華:目前市場情緒過度恐慌,短期具備投資性價比,別人恐慌的時刻貪婪
2025-11-03 17:01
Coinbase將上線KITE
2025-11-03 16:31
美國聯邦政府「停擺」距離打破歷史紀錄僅一步之遙
下載Odaily星球日報app
讓一部分人先讀懂 Web3.0
