Vitalik Buterin 强调使用 RISC-V 的 EVM 验证路线图

10/27/2024 12:30:12 AM

根据 VitalikButerin 的说法，当前的有效性证明形式验证路线图的一个重要部分是使用 RISC-V 架构创建以太坊虚拟机 (EVM) 的验证实现。他建议 AFDudley0 应该与可能参与该路线图的 Alexander L. Hicks 讨论这个话题。这一发展对于确保以太坊智能合约的可靠性和安全性至关重要，可能会影响以太坊在加密市场中的价值和可用性。 (来源)