热门话题
#
Bonk 生态迷因币展现强韧势头
Hosico
Hosico-7.34%
USELESS
USELESS+26.19%
IKUN
IKUN-0.77%
gib
gib-4.58%
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
Bonk
Bonk-1.63%
ALON
ALON+3.2%
LAUNCHCOIN
LAUNCHCOIN+7.37%
GOONC
GOONC-2.33%
KLED
KLED-4.71%
#
Solana 新代币发射平台 Boop.Fun 风头正劲
BOOP
BOOP+1.1%
Boopa
Boopa+9.49%
PORK
PORK0.00%
Nethermind Security
Nethermind Security
2月11日 01:00·
我们的形式验证团队在@PetarMax的带领下，在@EthereumFndn的支持下，已经在Lean中验证了@axiom_xyz构建的OpenVM RISC-V扩展的正确性。 这项工作证明了指令级的正确性，并且首次验证了执行和内存一致性。 🧵