热门话题
#
Bonk 生态迷因币展现强韧势头
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
#
Solana 新代币发射平台 Boop.Fun 风头正劲
MempoolSurfer(.eth|.stark)
@nethermind @nethermindstark 联席首席技术官
Nethermind 的形式验证团队在验证 zkVMs 方面已经积累了相当的专业知识。
我们的使命是使 zk 成为扩展 Ethereum 的一种可信且正确的方法。
我们正在证明 Ethereum 基础设施的新安全级别触手可及。
万亿美元的安全性 🫡
2025年10月10日
我们很高兴地宣布，@NethermindSec 的形式验证团队在 @PetarMax 的带领下，与 @SuccinctLabs 合作，并得到了 @ethereumfndn 的大力支持，已经正式验证了 @leanprover 中 SP1 HyperCube RISC-V zkVM 的所有核心 RV-64 芯片的正确性。
1/
1.08K
热门
排行
收藏