Trzy repozytoria EVMBench sprzed dwóch tygodni. Teraz 15, uruchomione w kolejności, a nie wybrane ręcznie. EVMBench mierzy przypomnienie. Nie mierzy wskaźników fałszywych pozytywów. Przypomnienie bez precyzji to demonstracja, a nie narzędzie. 𝗔𝘂𝗱𝗶𝘁𝗔𝗴𝗲𝗻𝘁 𝗶𝘀 𝗯𝘂𝗶𝗹𝘁 𝘁𝗼 𝗺𝗶𝗻𝗶𝗺𝗶𝘇𝗲 𝗻𝗼𝗶𝘀𝗲, 𝗻𝗼𝘁 𝗷𝘂𝘀𝘁 𝗺𝗮𝘅𝗶𝗺𝗶𝘇𝗲 𝗱𝗲𝘁𝗲𝗰𝘁𝗶𝗼𝗻. Pełne wyniki ze wszystkich 40 repozytoriów są w toku.

AuditAgent teraz wspiera Solanę. Wykrywanie luk w zabezpieczeniach wspomagane przez AI, szkolone na rzeczywistych wynikach audytów. Teraz obejmuje Solidity, Cairo i @Solana. Podnoszenie podstawowego poziomu bezpieczeństwa na wczesnym etapie rozwoju, zanim rozpocznie się przegląd ręczny.

SP1 Hypercube zabezpiecza miliardy w TVL. Poprawność jego ograniczeń RISC-V nie powinna opierać się tylko na testach. We współpracy z @SuccinctLabs i wspierane przez @ethereumfndn, @NethermindSec formalnie zweryfikowało wszystkie 62 podstawowe opcodes w stosunku do oficjalnej specyfikacji RISC-V Sail w Lean. Twarde metody formalne, zastosowane w produkcyjnej infrastrukturze zk. Gratulacje z okazji uruchomienia mainnet.