Tiga repositori EVMBench dua minggu lalu. Sekarang 15, lari secara berurutan, bukan dipilih sendiri. EVMBench mengukur penarikan. Itu tidak mengukur tingkat positif palsu. Recall without precision adalah demo, bukan alat. AuditAgent dibuat untuk meminimalkan kebisingan, bukan hanya memaksimalkan deteksi. Hasil lengkap di semua 40 repositori yang sedang berlangsung.

AuditAgent sekarang mendukung Solana. Deteksi kerentanan yang ditambah AI dilatih pada temuan audit nyata. Sekarang di Solidity, Kairo, dan @Solana. Meningkatkan garis besar keamanan di awal pengembangan, sebelum peninjauan manual dimulai.

SP1 Hypercube mengamankan miliaran TVL. Kebenaran kendala RISC-V-nya tidak boleh didasarkan pada pengujian saja. Dalam kemitraan dengan @SuccinctLabs dan @ethereumfndn yang didukung, @NethermindSec secara resmi memverifikasi semua 62 opcode inti terhadap spesifikasi resmi RISC-V Sail di Lean. Metode formal keras, diterapkan pada infrastruktur zk produksi. Selamat untuk mainnet