熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
Hosico
Hosico-8.04%
USELESS
USELESS+27.04%
IKUN
IKUN+3.54%
gib
gib-8.76%
#
有消息稱 Pump.fun 計劃 40 億估值發幣，引發市場猜測
Bonk
Bonk-0.18%
ALON
ALON+3.43%
LAUNCHCOIN
LAUNCHCOIN+11.34%
GOONC
GOONC-3.18%
KLED
KLED-3.97%
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁
BOOP
BOOP-0.75%
Boopa
Boopa+14.99%
PORK
PORK0.00%
Nethermind Security
Nethermind Security
2月11日 01:00·
我們的正式驗證團隊由 @PetarMax 領導，並得到 @EthereumFndn 的支持，已在 Lean 中驗證了 @axiom_xyz 建造的 OpenVM RISC-V 擴展的正確性。 這項工作證明了指令級的正確性，並且首次實現了執行和記憶體一致性。 🧵