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.

Virallisen verifioinnin tiimimme, jota johtaa @PetarMax ja jonka @EthereumFndn tuella, on varmistanut Leanissa @axiom_xyz:n rakentaman OpenVM RISC-V -laajennuksen oikeellisuuden. Tämä työ osoittaa käskytason oikeellisuuden sekä ensimmäistä kertaa suorituksen ja muistin johdonmukaisuuden. 🧵

AuditAgent v2.1.0 on käynnissä. Tämä julkaisu parantaa CI:n joustavuutta, tiukentaa validointikäyttäytymistä ja kehittää alustan käyttökokemusta päivittäistä auditointivalmistelua varten. Tasaisia parannuksia, keskittyen todellisiin työnkulkuihin.