Unser Team für formale Verifikation beginnt mit der Arbeit an dem @brevis_zk Pico RISC-V zkVM, basierend auf unserer Arbeit an SP1 und OpenVM. Wir sind dankbar für die Unterstützung dieser Initiative durch die @EthereumFndn.

Unser Team für formale Verifikation, geleitet von @PetarMax, mit Unterstützung von @EthereumFndn, hat in Lean die Korrektheit der von @axiom_xyz entwickelten OpenVM RISC-V-Erweiterung verifiziert. Diese Arbeit beweist die Korrektheit auf Befehlsebene und zum ersten Mal auch die Ausführungs- und Speicher-Konsistenz. 🧵

AuditAgent v2.1.0 ist live. Dieses Update verbessert die CI-Flexibilität, verschärft das Validierungsverhalten und verfeinert die Benutzererfahrung der Plattform für die tägliche Auditvorbereitung. Stetige Verbesserungen, die sich auf reale Arbeitsabläufe konzentrieren.