Vårt formelle verifikasjonsteam begynner arbeidet med @brevis_zk Pico RISC-V zkVM, og bygger videre på vårt arbeid med SP1 og OpenVM. Vi er takknemlige for at @EthereumFndn støtter dette arbeidet.

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

AuditAgent v2.1.0 er live. Denne utgivelsen forbedrer CI-fleksibiliteten, strammer inn valideringsatferd og forbedrer plattformens brukeropplevelse for daglig revisjonsforberedelse. Jevne forbedringer, med fokus på virkelige arbeidsflyter.