热门话题
#
Bonk 生态迷因币展现强韧势头
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
#
Solana 新代币发射平台 Boop.Fun 风头正劲
这是最近在Cyfrin私人审计中的内容，太棒了 @alexzoid_eth！
2025年8月28日
在与审计师的过去私人接触中，我的 @CertoraInc 正式验证有效状态属性在一个复杂借贷协议的组装中发现了一个 CRIT，这是手动审查所遗漏的。
清晰证明了 FV 在补充模糊测试和经典审计中的价值。
2.82K
热门
排行
收藏