Kolme EVMBench-repoa kaksi viikkoa sitten.
Nyt 15, juokse järjestyksessä, ei valittu käsin.
EVMBench mittaa takaisinkutsua. Se ei mittaa vääriä positiivisia prosentteja. Takaisinkutsu ilman tarkkuutta on demo, ei työkalu. AuditAgent on suunniteltu minimoimaan kohinaa, ei vain maksimoimaan havaitsemista.
Täydelliset tulokset kaikista 40 käynnissä olevasta repositiosta.
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ä
SP1 Hypercube on nyt käytössä pääverkossa!
SP1 Hypercube on yksi tuotannon edistyneimmistä, turvallisimmista ja luotettavimmista zkVM-malleista.
Ensimmäinen tiimi rakensi sen todistamaan Ethereumin reaaliajassa.
@ethereum:n tiekartan infrastruktuuri on vihdoin täällä.