AuditAgent tukee nyt Solanaa. Tekoälyllä paranneltu haavoittuvuuksien tunnistus, joka on koulutettu todellisiin auditointihavaintoihin. Nyt Solidityn, Cairon ja @Solana:n halki. Turvallisuuden perustason nostaminen kehityksen alkuvaiheessa, ennen manuaalisen tarkastelun alkamista.

SP1 Hypercube turvaa miljardeja TVL:ssä. Sen RISC-V-rajoitusten oikeellisuus ei saisi perustua pelkkään testaukseen. Yhteistyössä @SuccinctLabs:n kanssa ja @ethereumfndn:n tukemana @NethermindSec varmisti virallisesti kaikki 62 ydinkoodia virallisen RISC-V Sail -spesifikaation mukaisesti Leanissa. Vaikeat muodolliset menetelmät, sovellettu tuotanto-zk-infrastruktuuriin. Onnittelut mainnetistä

Virallisen verifioinnin tiimimme aloittaa työn @brevis_zk Pico RISC-V zkVM:n parissa, rakentaen SP1:n ja OpenVM:n pohjalle. Olemme kiitollisia @EthereumFndn tämän hankkeen tukemisesta.