release: v1.4.2 (#2307)

- [x] merge openvm-org/stark-backend#204
- [x] update changelog
- [x] update stark-backend tag
- [x] update book tags

Author: jonathanpwang

.github/workflows/release.yml

@@ -5,9 +5,9 @@ on:
   workflow_dispatch:
     inputs:
       version:
-        description: "Version tag (e.g., v1.4.1)"
+        description: "Version tag (e.g., v1.4.2)"
         required: true
-        default: "v1.4.1"
+        default: "v1.4.2"
         type: string
 
 env:
@@ -22,7 +22,7 @@ jobs:
         uses: actions/checkout@v5
 
       - name: Set version
-        run: echo "version=${{ github.event.inputs.version || 'v1.4.1' }}" >> $GITHUB_ENV
+        run: echo "version=${{ github.event.inputs.version || 'v1.4.2' }}" >> $GITHUB_ENV
 
       - name: Install solc # svm should support arm64 linux
         run: (hash svm 2>/dev/null || cargo install --locked --version 0.2.23 svm-rs) && svm install 0.8.19 && solc --version

.github/workflows/versioning.yml

@@ -5,9 +5,9 @@ on:
   workflow_dispatch:
     inputs:
       version:
-        description: "Version tag to compare (e.g., v1.4.1)"
+        description: "Version tag to compare (e.g., v1.4.2)"
         required: true
-        default: "v1.4.1"
+        default: "v1.4.2"
         type: string
 
 jobs:
@@ -19,7 +19,7 @@ jobs:
         uses: actions/checkout@v5
 
       - name: Set version fallback
-        run: echo "version=${{ github.event.inputs.version || 'v1.4.1' }}" >> $GITHUB_ENV
+        run: echo "version=${{ github.event.inputs.version || 'v1.4.2' }}" >> $GITHUB_ENV
 
       - name: Install solc # svm should support arm64 linux
         run: (hash svm 2>/dev/null || cargo install --locked --version 0.2.23 svm-rs) && svm install 0.8.19 && solc --version

CHANGELOG.md

@@ -7,6 +7,19 @@ and this project follows a versioning principles documented in [VERSIONING.md](.
 
 ## Unreleased
 
+## v1.4.2 (2025-12-08)
+
+### Added
+- (Executor) Added ahead of time (AOT) compilation of OpenVM executables to host x86 binaries using x86 assembly and dynamic linking.
+
+### Changed
+- Workspace MSRV has been updated to Rust 1.90.0.
+- (Verifier) The formatting of the Solidity code generated for the EVM SNARK verifier has changed due to an update to `forge-fmt v1.5.0`. No other change to the smart contract besides formatting.
+- (Prover) Fix metered execution trace height estimations to account for uninitialized memory.
+- (Prover) More robust CUDA stream synchronization for memory merkle tree trace generation.
+- (Prover) Updated `cuda-backend` with fixes to virtual memory management for long running processes.
+- (Executor) Performance optimizations to elliptic curve host execution.
+
 ## v1.4.1 (2025-10-26)
 
 ### Added