AuditAgent støtter nå Solana. AI-forsterket sårbarhetsdeteksjon trent på reelle revisjonsfunn. Nå over Solidity, Kairo og @Solana. Hever sikkerhetsgrunnlaget tidlig i utviklingen, før manuell gjennomgang begynner.

SP1 Hypercube sikrer milliarder i TVL. Riktigheten av dens RISC-V-begrensninger bør ikke hvile på testing alene. I samarbeid med @SuccinctLabs og støttet @ethereumfndn @NethermindSec formelt verifisert alle 62 kjerne-opkodene mot den offisielle RISC-V Sail-spesifikasjonen i Lean. Harde formelle metoder, anvendt på produksjons zk-infrastruktur. Gratulerer med mainnet

Vårt formelle verifikasjonsteam begynner arbeidet med @brevis_zk Pico RISC-V zkVM, og bygger videre på vårt arbeid med SP1 og OpenVM. Vi er takknemlige for at @EthereumFndn støtter dette arbeidet.