Vårt formelle verifikasjonsteam, ledet av @PetarMax, med støtte fra @EthereumFndn, har i Lean verifisert riktigheten til OpenVM RISC-V-utvidelsen bygget av @axiom_xyz. Dette arbeidet beviser korrekthet på instruksjonsnivå og, for første gang, konsistens i kjøring og minne. 🧵