两周前有三个 EVMBench 仓库。 现在有 15 个，按顺序运行，而不是手动挑选。 EVMBench 测量召回率。它不测量假阳性率。没有精确度的召回率只是演示，而不是工具。𝗔𝘂𝗱𝗶𝘁𝗔𝗴𝗲𝗻𝘁 𝗶𝘀 𝗯𝘂𝗶𝗹𝘁 𝘁𝗼 𝗺𝗶𝗻𝗶𝗺𝗶𝘇𝗲 𝗻𝗼𝗶𝘀𝗲, 𝗻𝗼𝘁 𝗷𝘂𝘀𝘁 𝗺𝗮𝘅𝗶𝗺𝗶𝘇𝗲 𝗱𝗲𝘁𝗲𝗰𝘁𝗶𝗼𝗻。 所有 40 个仓库的完整结果正在进行中。

AuditAgent 现在支持 Solana。 基于真实审计结果训练的 AI 增强漏洞检测。 现在支持 Solidity、Cairo 和 @Solana。 在开发早期提高安全基线，在手动审查开始之前。

SP1 Hypercube 在 TVL 中保障了数十亿的资金。其 RISC-V 约束的正确性不应仅依赖于测试。 与 @SuccinctLabs 合作，并得到 @ethereumfndn 和 @NethermindSec 的支持，正式验证了所有 62 个核心操作码与官方 RISC-V Sail 规范在 Lean 中的一致性。 将严格的形式方法应用于生产 zk 基础设施。 祝贺主网上线。