> ## Documentation Index
> Fetch the complete documentation index at: https://docs.axiom.xyz/llms.txt
> Use this file to discover all available pages before exploring further.

# Security

> Security considerations for OpenVM

As of February 2026, OpenVM v1.5.0 and later are recommended for production use. OpenVM completed manual security reviews through external [audits](https://github.com/openvm-org/openvm/blob/main/audits/) on [Cantina](https://cantina.xyz/) and an internal [audit](https://github.com/openvm-org/openvm/blob/main/audits/v1-internal/README.md) by members of the [Axiom](https://axiom.xyz/) team.

As of February 2026, the OpenVM RV32IM extension has been formally verified in [Lean](https://lean-lang.org/) by [Nethermind Research](https://www.nethermind.io).

All audit reports for OpenVM are available on the  [OpenVM GitHub](https://github.com/openvm-org/openvm/tree/main/audits).

To report a security issue pertaining to OpenVM, please see the [OpenVM Security page](https://github.com/openvm-org/openvm/blob/main/SECURITY.md).