以太坊開發者Dudley提議管理RISC-V項目,Vitalik建議與Hicks接洽

robot
摘要生成中

金色財經報道,以太坊開發人員Rick Dudley在X平臺喊話以太坊聯合創始人Vitalik Buterin,表示如果要讓以太坊信標鏈運行RISC-V並使得運行EVM有意義並不困難,他非常有興趣管理這個項目。對此,Vitalik Buterin迴應稱,現有以太坊有效性證明形式化驗證路線圖的很大一部分是在RISC-V中對EVM進行驗證實現,並且建議Rick Dudley與負責以太坊形式化驗證與人工智能的Alexander Hicks進行接洽。

ETH2.68%
X8.46%
查看原文
此頁面可能包含第三方內容,僅供參考(非陳述或保證),不應被視為 Gate 認可其觀點表述,也不得被視為財務或專業建議。詳見聲明
  • 讚賞
  • 留言
  • 分享
留言
0/400
暫無留言
交易,隨時隨地
qrCode
掃碼下載 Gate APP
社群列表
繁體中文
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)