📢 Gate廣場 #中秋创作者激励# 分享活動圓滿結束!
🎉 恭喜本次積極參與分享並發帖的各位獲獎用戶:
1️⃣ Top 1-3:Gate 中秋寶格麗限定禮盒 + $100/80/60 合約體驗券 + $100/60/30 GT
靜.和、Ryakpanda、毅博說幣
2️⃣ Top 4-10:Gate 中秋寶格麗限定禮盒 + $50 合約體驗券
胖丫888、小財神plutus、馬克如Mc、Nice隔壁王叔、超級星期六、笑笑只會看AVIL、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進行接洽。