热门话题
#
Bonk 生态迷因币展现强韧势头
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
#
Solana 新代币发射平台 Boop.Fun 风头正劲
这是正式验证 zk 证明者的重要里程碑——在建立 ZK 生态系统的信任和可验证性方面至关重要。
8月6日 23:43
🚨 在 ZisK 中发现两个关键的健全性漏洞，使用 CIVER 🚨
在与 @ziskvm 开发团队的合作中，Costa 小组正在应用形式化方法来验证 ZisK 的递归/聚合电路。
🔗更多细节请见这里：
🧵
1.68K
热门
排行
收藏