热门话题
#
Bonk 生态迷因币展现强韧势头
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
#
Solana 新代币发射平台 Boop.Fun 风头正劲
@NethermindSec 的形式验证团队在 @ethereumfndn 的支持下，通过 2024 ZK 资助轮，开发了 Halva：一个用于在 @leanprover 中对 Halo2 zk 电路进行形式验证的基础设施。
我们使用 Halva 发现了一个真实 Scroll zk 电路中的关键漏洞。🧵
1/
5.1K
热门
排行
收藏