Tre EVMBench-repos för två veckor sedan.
Nu 15, kör i ordning, inte handplockad.
EVMBench-mått återkallning. Den mäter inte falska positiva frekvenser. Recall without precision är en demo, inte ett verktyg. AuditAgent är byggd för att minimera brus, inte bara maximera upptäckten.
Fullständiga resultat över alla 40 repos som pågår.
AuditAgent stödjer nu Solana.
AI-förstärkt sårbarhetsupptäckt tränad på verkliga revisionsresultat.
Nu över Solidity, Kairo och @Solana.
Höjer säkerhetsbaslinjen tidigt i utvecklingen, innan manuell granskning påbörjas.
SP1 Hypercube säkrar miljarder i TVL. Korrektheten i dess RISC-V-begränsningar bör inte vila enbart på testning.
I samarbete med @SuccinctLabs och stödda @ethereumfndn verifierade @NethermindSec formellt alla 62 kärn-opkoder mot den officiella RISC-V Sail-specifikationen i Lean.
Hårda formella metoder, tillämpade på produktionsinfrastruktur av zk.
Grattis till mainnet
SP1 Hypercube is now live on mainnet!
SP1 Hypercube is one of the most advanced, secure, and trusted zkVMs in production.
Built by the first team to prove Ethereum in real time.
The infrastructure for @ethereum's roadmap is finally here.