亲爱的广场用户们,广场使用界面全新升级啦!新版本界面更清新简洁、操作更流畅丝滑,还有多项贴心新功能上线,快来更新体验吧!你对新版界面有什么感受?你最喜欢的新功能是哪一个?你发现了哪些惊喜或变化呢?发帖分享新版广场使用体验,瓜分 $10 分享奖励!
🎁 我们将精选 10 位幸运用户,每人奖励 $10 合约体验券!
参与方式:
1⃣️ 关注 Gate广场_Official;
2⃣️ 带上 #我的广场升级体验 标签发帖,分享你的使用感受,比如界面风格体验、细节功能变化、你最喜欢的新功能,或优化建议等;
3⃣️ 帖子内容需至少 30 字,并且只带本活动标签;
广场界面焕新介绍文章:https://gate.com/post?post_id=14774358&tim=ARAbClhcBQNwWRIVGAoGBB5QX1sO0O0O&ref=BFlBUFwL&ref_type=105
活动截止时间:2025/10/26 18:00(UTC+8)
你的体验是我们持续优化的动力!赶快参与和大家分享吧!
Vitalik:现有以太坊有效性证明形式化验证路线图的很大一部分是在RISC-V中对EVM进行验证实现
金色财经报道,以太坊开发人员Rick Dudley在X平台喊话以太坊联合创始人Vitalik Buterin,表示如果要让以太坊信标链运行RISC-V并使得运行EVM有意义并不困难,他非常有兴趣管理这个项目。对此,Vitalik Buterin回应称,现有以太坊有效性证明形式化验证路线图的很大一部分是在RISC-V中对EVM进行验证实现,并且建议Rick Dudley与负责以太坊形式化验证与人工智能的Alexander Hicks进行接洽。