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. 🧵