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.

Nasz zespół ds. weryfikacji formalnej rozpoczyna pracę nad @brevis_zk Pico RISC-V zkVM, opierając się na naszej pracy nad SP1 i OpenVM. Jesteśmy wdzięczni @EthereumFndn za wsparcie tego przedsięwzięcia.