release: v1.3.0 (#241)

Author: jonathanpwang

CHANGELOG.md

@@ -4,6 +4,14 @@ All notable changes to STARK Backend will be documented in this file.
 
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 
+## Unreleased
+
+## v1.3.0 (2026-02-05)
+
+### Changed
+- Updated Plonky3 to crates.io `v0.4.1`.
+- Updated STARK protocol to 100 bits of provable security with FRI.
+
 ## v1.2.3 (2026-01-11)
 
 ### Changed

Cargo.toml

@@ -1,5 +1,5 @@
 [workspace.package]
-version = "1.3.0-rc.0"
+version = "1.3.0"
 edition = "2021"
 rust-version = "1.83"
 authors = ["OpenVM contributors"]

README.md

@@ -21,7 +21,7 @@ Contributors should read [Development without CUDA](./docs/README.md#development
 
 ## Status
 
-As of June 2025, STARK Backend v1.1.0 and later are recommended for production use. STARK Backend 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 June 2025, STARK Backend v1.1.0 and later are recommended for production use. STARK Backend 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. A follow-up external [audit](https://github.com/openvm-org/openvm/blob/main/audits/v1.5.0-cantina-report.pdf) for v1.3.0 was conducted in January 2026.
 
 ## Security