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

Vårt team för formell verifiering påbörjar arbetet med @brevis_zk Pico RISC-V zkVM, med utgångspunkt i vårt arbete med SP1 och OpenVM. Vi är tacksamma mot @EthereumFndn för att de stödjer detta arbete.