發現功能使用指南
discoveryBanners
熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
Hosico
Hosico+0.86%
USELESS
USELESS+19.14%
IKUN
IKUN-0.92%
gib
gib-10.34%
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
Bonk
Bonk+6.31%
ALON
ALON+4.54%
LAUNCHCOIN
LAUNCHCOIN+6.4%
GOONC
GOONC-3.15%
KLED
KLED+17.98%
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
BOOP
BOOP-0.42%
Boopa
Boopa+0.62%
PORK
PORK0.00%
Nethermind Security
Nethermind Security
10月10日 00:11·
我們很高興地宣布，@NethermindSec 的形式驗證團隊在 @PetarMax 的帶領下，與 @SuccinctLabs 合作，並在 @ethereumfndn 的慷慨支持下，已正式驗證了 @leanprover 中所有核心 RV-64 芯片的正確性。 1/