兩週前有三個 EVMBench 倉庫。 現在有 15 個，按順序運行，而不是隨意挑選。 EVMBench 測量召回率。它不測量假陽性率。沒有精確度的召回率是一個演示，而不是工具。𝗔𝘂𝗱𝗶𝘁𝗔𝗴𝗲𝗻𝘁 𝗭𝗼𝗻𝗲 𝗶𝘀 𝗯𝘂𝗶𝗹𝘁 𝘁𝗼 𝗺𝗶𝗻𝗶𝗺𝗶𝘇𝗲 𝗻𝗼𝗶𝘀𝗲, 𝗻𝗼𝘁 𝗷𝘂𝘀𝘁 𝗺𝗮𝘅𝗶𝗺𝗶𝘇𝗲 𝗱𝗲𝘁𝗲𝗰𝘁𝗶𝗼𝗻。 所有 40 個倉庫的完整結果正在進行中。

AuditAgent 現在支持 Solana。 基於真實審計結果訓練的 AI 增強漏洞檢測。 現在涵蓋 Solidity、Cairo 和 @Solana。 在開發早期提高安全基準，在手動審查開始之前。

SP1 Hypercube 確保了數十億的 TVL。其 RISC-V 約束的正確性不應僅依賴測試。 與 @SuccinctLabs 合作，並得到 @ethereumfndn 和 @NethermindSec 的支持，正式驗證了所有 62 個核心操作碼，並與官方的 RISC-V Sail 規範在 Lean 中進行對比。 將硬性形式方法應用於生產 zk 基礎設施。 恭喜主網上線