chore: update security language (#2398)

Co-authored-by: yi-sun <5178036+yi-sun@users.noreply.github.com>

Author: yi-sun

README.md

@@ -32,7 +32,9 @@ OpenVM is a performant and modular zkVM framework built for customization and ex
 
 ## Status
 
-As of June 2025, OpenVM v1.2.0 and later are recommended for production use. OpenVM completed an external [audit](https://github.com/openvm-org/openvm/blob/main/audits/v1-cantina-report.pdf) on [Cantina](https://cantina.xyz/) from January to March 2025 as well as 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 during the same timeframe.
+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).
 
 ## For Users
 

docs/vocs/docs/pages/book/getting-started/introduction.mdx

@@ -36,7 +36,7 @@ The following chapters will guide you through:
 
 ## Security Status
 
-As of June 2025, OpenVM v1.2.0 and later are recommended for production use. OpenVM completed manual security reviews through an external [audit](https://github.com/openvm-org/openvm/blob/main/audits/v1-cantina-report.pdf) on [Cantina](https://cantina.xyz/) from January to March 2025 as well as 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 during the same timeframe.
+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).