🌕 Gate Square · Mid-Autumn Creator Incentive Program is Live!
Share trending topic posts, and split $5,000 in prizes! 🎁
👉 Check details & join: https://www.gate.com/campaigns/1953
💝 New users: Post for the first time and complete the interaction tasks to share $600 newcomer pool!
🔥 Today's Hot Topic: #MyTopAICoin#
Altcoins are heating up, AI tokens rising! #WLD# and #KAITO# lead the surge, with WLD up nearly 48% in a single day. AI, IO, VIRTUAL follow suit. Which potential AI coins are you eyeing? Share your investment insights!
💡 Post Ideas:
1️⃣ How do you see AI tokens evolving?
2️⃣ Wh
Vitalik: A large part of the current Ethereum validity proof formal verification roadmap is to verify the implementation of EVM in RISC-V
Golden Finance reported that Rick Dudley, a developer of Ethereum, called out to Vitalik Buterin, co-founder of Ethereum, on X platform, stating that it is not difficult to make the Ethereum beacon chain run on RISC-V and make running EVM meaningful. He is very interested in managing this project. In response, Vitalik Buterin stated that a significant part of the existing Ethereum validity proof and Formal Verification roadmap is to verify the EVM implementation in RISC-V, and suggested that Rick Dudley should contact Alexander Hicks, who is responsible for Ethereum's Formal Verification and artificial intelligence.