热门话题
#
Bonk 生态迷因币展现强韧势头
#
有消息称 Pump.fun 计划 40 亿估值发币，引发市场猜测
#
Solana 新代币发射平台 Boop.Fun 风头正劲
对Halmos进行了绝对巨大的升级。开发者体验和漏洞发现能力的惊人改善。
真的很期待能深入参与这个项目。
非常感谢@0xkarmacoma!
7月15日 07:38
halmos v0.3.0 发布亮点！
（快速提醒：halmos 是一个用于 EVM 字节码的符号测试工具，与 foundry 项目良好接口，并支持多种 SMT 求解器）
1. 我们（终于）添加了对有状态不变性测试的支持
1.27K
热门
排行
收藏