Vårt team för formell verifiering påbörjar arbetet med @brevis_zk Pico RISC-V zkVM, med utgångspunkt i vårt arbete med SP1 och OpenVM. Vi är tacksamma mot @EthereumFndn för att de stödjer detta arbete.

Vårt formella verifieringsteam, lett av @PetarMax och med stöd från @EthereumFndn, har verifierat i Lean riktigheten i OpenVM RISC-V-tillägget byggt av @axiom_xyz. Detta arbete bevisar korrekthet på instruktionsnivå och, för första gången, exekverings- och minneskonsistens. 🧵

AuditAgent v2.1.0 är live. Denna version förbättrar CI-flexibiliteten, skärper valideringsbeteendet och förfinar plattformens användarupplevelse för daglig granskning. Stadiga förbättringar, fokuserade på verkliga arbetsflöden.