📢 Gate广场 #中秋创作者激励# 分享活动圆满结束!
🎉 恭喜本次积极参与分享并发帖的各位获奖用户:
1️⃣ Top 1-3:Gate 中秋宝格丽限定礼盒 + $100/80/60 合约体验券 + $100/60/30 GT
静.和、Ryakpanda、毅博说币
2️⃣ Top 4-10:Gate 中秋宝格丽限定礼盒 + $50 合约体验券
胖丫888、小财神plutus、马克如Mc、Nice隔壁王叔、超级星期六、笑笑只会看币名、Tamil Tech Crypto
3️⃣ Top 11-20:Gate 多功能充电器 + $30 合约体验券
KatyPaty、Dragon Fly Official、HighAmbition、JOHAR09、asiftahsin、Surrealist5N1K、ybaser、AylaShinex、A4P-PRIYA✅、discovery
4️⃣ 幸运奖30位:$20 合约体验券
Crypto_Buzz_with_Alex、Cryptogether、CryptoSelf、GateUser-68291371、Sakura_3434、smartCAT、CryptoKINGJ、Before00zero、CoinWay、Yusfirah、CHAITHU、chishti92、AgentWXO、AylaAngel、BeautifulDay、xxx40xxx、鋭
Vitalik:现有以太坊有效性证明形式化验证路线图的很大一部分是在RISC-V中对EVM进行验证实现
金色财经报道,以太坊开发人员Rick Dudley在X平台喊话以太坊联合创始人Vitalik Buterin,表示如果要让以太坊信标链运行RISC-V并使得运行EVM有意义并不困难,他非常有兴趣管理这个项目。对此,Vitalik Buterin回应称,现有以太坊有效性证明形式化验证路线图的很大一部分是在RISC-V中对EVM进行验证实现,并且建议Rick Dudley与负责以太坊形式化验证与人工智能的Alexander Hicks进行接洽。