🌕 Gate 广场 · 中秋创作激励限时开启!
创作点亮中秋,带热门话题发帖,瓜分 $5,000 中秋好礼!🎁
立即报名查看详情 👉 https://www.gate.com/campaigns/1953
💝 新用户首次发帖并完成互动任务,即可瓜分 $600 新人奖池!
🔥 今日热门话题: #我最看好的AI代币#
山寨季蓄势待发,AI板块代币普涨, #WLD# 、 #KAITO# 领涨,龙头 WLD 单日暴涨近48%,AI、IO、VIRTUAL 顺势跟上。近期你计划布局哪些潜力 AI 币?快来分享你的投资心得吧!
发帖建议:
1️⃣ AI 板块未来发展你怎么看?
2️⃣ 你最近看好哪些 AI 币向大家推荐?理由是什么?
3️⃣ 你最近的 AI 币种交易策略如何?
快带上 #我最看好的AI代币# 和 #Gate广场创作点亮中秋# 发帖,内容越多越优质,越有机会赢取 $5,000 中秋好礼!
Vitalik:现有以太坊有效性证明形式化验证路线图的很大一部分是在RISC-V中对EVM进行验证实现
金色财经报道,以太坊开发人员Rick Dudley在X平台喊话以太坊联合创始人Vitalik Buterin,表示如果要让以太坊信标链运行RISC-V并使得运行EVM有意义并不困难,他非常有兴趣管理这个项目。对此,Vitalik Buterin回应称,现有以太坊有效性证明形式化验证路线图的很大一部分是在RISC-V中对EVM进行验证实现,并且建议Rick Dudley与负责以太坊形式化验证与人工智能的Alexander Hicks进行接洽。