Skip to content

Security Audits for OpenVM

All production releases of OpenVM undergo both internal and external security audits. Reports from these audits are available on the OpenVM Github as outlined below.

Manual Security Reviews

Manual reviews conducted by security researchers are listed below.

OpenVM ReleaseAudit TypeAuditorsReport
v1.0.0InternalAxiomv1-internal
v1.0.0ExternalCantinav1-cantina
v1.1.0ExternalCantinav1.1.0-cantina
v1.1.1ExternalCantinav1.1.1-cantina
v1.3.0ExternalCantinav1.3.0-cantina
v1.4.0ExternalCantinav1.4.0-cantina
v1.4.1ExternalCantinav1.4.1-cantina
v1.5.0ExternalCantinav1.5.0-cantina

Formal Verification

Parts of the OpenVM system have been formally verified using mathematical proofs (e.g., via Lean). Formal verification reports are listed below.

OpenVM ReleaseAudit TypeAuditorsReport
v1.5.0ExternalNethermindRV32IM Lean