热门话题
#
Bonk 生态迷因币展现强韧势头
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
#
Solana 新代币发射平台 Boop.Fun 风头正劲
MempoolSurfer(.eth|.stark)
@nethermindeth @nethermindstark 的联合首席技术官
Nethermind 的形式验证团队在验证 zkVMs 方面已经积累了相当的专业知识。
我们的使命是使 zk 成为扩展 Ethereum 的一种可信且正确的方法。
我们正在证明 Ethereum 基础设施的新安全级别触手可及。
万亿美元的安全性 🫡
10月10日 00:11
We are delighted to announce that the @NethermindSec Formal Verification team, led by @PetarMax, in tandem with @SuccinctLabs, and with generous support from @ethereumfndn, has formally verified the correctness of all of the core RV-64 chips from the SP1 HyperCube RISC-V zkVM in @leanprover.
1/
1K
热门
排行
收藏