Vitalik: 既存のイーサリアムの有効性証明の正式な検証ロードマップの大部分は、RISC-V での EVM の検証展開です。

Odaily スタージャーナルによると イーサリアム開発者のリック・ダドリー氏は、ヴィタリック・ブテリン氏にメッセージを投稿した。 Vitalik氏は、既存のイーサリアム正当性証明の正式検証ロードマップの大部分はRISC-VでのEVMの展開を検証することであると答え、ダドリー氏とイーサリアムの正式検証と人工知能の責任者であるアレクサンダー・ヒックス氏に連絡を取るよう提案した。