Update openvm to 1.4.0

.github/workflows/build-cache.yml

@@ -22,8 +22,8 @@ jobs:
       run: git rev-parse HEAD > target/cache-commit-hash.txt
 
     ##### The block below is shared between cache build and PR build workflows #####
-    - name: Install Rust toolchain nightly-2025-05-14 (with clippy and rustfmt)
-      run: rustup toolchain install nightly-2025-05-14 --component clippy,rustfmt
+    - name: Install Rust toolchain nightly-2025-10-01 (with clippy and rustfmt)
+      run: rustup toolchain install nightly-2025-10-01 --component clippy,rustfmt
     - name: Install Rust toolchain
       run: rustup toolchain install nightly-2025-02-14 --component rust-src
     - name: Install Rust toolchain 1.88 (stable)

.github/workflows/nightly-tests.yml

@@ -43,11 +43,11 @@ jobs:
       - name: Install Rust toolchain 1.88
         run: rustup toolchain install 1.88
       - name: Install nightly
-        run: rustup toolchain install nightly-2025-05-14 --component rust-src
+        run: rustup toolchain install nightly-2025-10-01 --component rust-src
       - name: Install nightly
         run: rustup toolchain install nightly-2025-02-14 --component rust-src
       - name: Install riscv target
-        run: rustup target add riscv32imac-unknown-none-elf --toolchain nightly-2025-05-14
+        run: rustup target add riscv32imac-unknown-none-elf --toolchain nightly-2025-10-01
       - name: Install test dependencies
         run: sudo apt-get update && sudo apt-get install -y binutils-riscv64-unknown-elf lld
       - name: Build
@@ -77,12 +77,12 @@ jobs:
             target/
             Cargo.lock
           key: ${{ runner.os }}-cargo-pr-tests
-      - name: Install Rust toolchain nightly-2025-05-14 (with clippy and rustfmt)
-        run: rustup toolchain install nightly-2025-05-14 --component clippy,rustfmt,rust-src
+      - name: Install Rust toolchain nightly-2025-10-01 (with clippy and rustfmt)
+        run: rustup toolchain install nightly-2025-10-01 --component clippy,rustfmt,rust-src
       - name: Install Rust toolchain 1.88
         run: rustup toolchain install 1.88
       - name: Install riscv target
-        run: rustup target add riscv32imac-unknown-none-elf --toolchain nightly-2025-05-14
+        run: rustup target add riscv32imac-unknown-none-elf --toolchain nightly-2025-10-01
       - name: Install test dependencies
         run: sudo apt-get update && sudo apt-get install -y binutils-riscv64-unknown-elf lld
       - name: Run benchmarks
@@ -122,10 +122,9 @@ jobs:
 
       - name: Install cargo openvm
         # Rust 1.88 is needed by fresher versions of dependencies of cargo-openvm.
-        # For now we point to the powdr-labs/openvm commit that switches to Rust 1.88.
         run: |
           rustup toolchain install 1.88
-          cargo +1.88 install --git 'http://github.com/powdr-labs/openvm.git' --rev fbd69da cargo-openvm
+          cargo +1.88 install --git 'http://github.com/openvm-org/openvm.git' cargo-openvm
 
       - name: Setup python venv
         run: |
@@ -148,7 +147,7 @@ jobs:
         uses: actions/checkout@v4
         with:
           repository: powdr-labs/openvm-reth-benchmark
-          ref: main
+          ref: 15a1cb1533036f1b5284ddf79b3cadd644778398
           path: openvm-reth-benchmark
 
       - name: Patch openvm-reth-benchmark to use local powdr

.github/workflows/post-merge-tests.yml

@@ -38,10 +38,9 @@ jobs:
 
       - name: Install cargo openvm
         # Rust 1.88 is needed by fresher versions of dependencies of cargo-openvm.
-        # For now we point to the powdr-labs/openvm commit that switches to Rust 1.88.
         run: |
           rustup toolchain install 1.88
-          cargo +1.88 install --git 'http://github.com/powdr-labs/openvm.git' --rev fbd69da cargo-openvm
+          cargo +1.88 install --git 'http://github.com/openvm-org/openvm.git' cargo-openvm
 
       - name: Run keccak with 100 APCs
         run: /usr/bin/time -v cargo run --bin powdr_openvm -r prove guest-keccak --input 10000 --autoprecompiles 100 --recursion
@@ -56,7 +55,7 @@ jobs:
         uses: actions/checkout@v4
         with:
           repository: powdr-labs/openvm-reth-benchmark
-          ref: main
+          ref: 15a1cb1533036f1b5284ddf79b3cadd644778398
           path: openvm-reth-benchmark
 
       - name: Patch openvm-reth-benchmark to use local powdr

.github/workflows/pr-tests.yml

@@ -44,8 +44,8 @@ jobs:
         run: git checkout "$(cat target/cache-commit-hash.txt || echo 'f02fd626e2bb9e46a22ea1cda96b4feb5c6bda43')" && git ls-files -z | xargs -0 -n1 touch -d "Fri, 18 Apr 2025 03:30:58 +0000" && git checkout HEAD@{1}
 
       ##### The block below is shared between cache build and PR build workflows #####
-      - name: Install Rust toolchain nightly-2025-05-14 (with clippy and rustfmt)
-        run: rustup toolchain install nightly-2025-05-14 --component clippy,rustfmt
+      - name: Install Rust toolchain nightly-2025-10-01 (with clippy and rustfmt)
+        run: rustup toolchain install nightly-2025-10-01 --component clippy,rustfmt
       - name: Install Rust toolchain 1.88 (stable)
         run: rustup toolchain install 1.88
       - name: Set cargo to perform shallow clones
@@ -97,11 +97,11 @@ jobs:
       - name: Install Rust toolchain nightly-2025-05-14 (with clippy and rustfmt)
         run: rustup toolchain install nightly-2025-05-14 --component clippy,rustfmt,rust-src
       - name: Install riscv target
-        run: rustup target add riscv32imac-unknown-none-elf --toolchain nightly-2025-05-14
+        run: rustup target add riscv32imac-unknown-none-elf --toolchain nightly-2025-10-01
       - name: Install test dependencies
         run: sudo apt-get update && sudo apt-get install -y binutils-riscv64-unknown-elf lld
       - name: Install Rust deps
-        run: rustup install nightly-2025-05-14 --component rust-src
+        run: rustup install nightly-2025-10-01 --component rust-src
       - name: Install Rust deps
         run: rustup install nightly-2025-02-14 --component rust-src
       - uses: taiki-e/install-action@nextest
@@ -146,16 +146,15 @@ jobs:
 
       - name: Install cargo openvm
         # Rust 1.88 is needed by fresher versions of dependencies of cargo-openvm.
-        # For now we point to the powdr-labs/openvm commit that switches to Rust 1.88.
         run: |
           rustup toolchain install 1.88
-          cargo +1.88 install --git 'http://github.com/powdr-labs/openvm.git' --rev fbd69da cargo-openvm
+          cargo +1.88 install --git 'http://github.com/openvm-org/openvm.git' cargo-openvm
 
       - name: Checkout openvm-reth-benchmark
         uses: actions/checkout@v4
         with:
           repository: powdr-labs/openvm-reth-benchmark
-          ref: main
+          ref: 15a1cb1533036f1b5284ddf79b3cadd644778398
           path: openvm-reth-benchmark
 
       - name: Patch openvm-reth-benchmark to use local powdr

Cargo.toml

@@ -38,59 +38,56 @@ powdr-riscv-types = { path = "./riscv-types", version = "0.1.4" }
 powdr-syscalls = { path = "./syscalls", version = "0.1.4" }
 powdr-autoprecompiles = { path = "./autoprecompiles", version = "0.1.4" }
 powdr-openvm = { path = "./openvm", version = "0.1.4" }
-powdr-cli-openvm = { path = "./cli-openvm", version = "0.1.4" }
 
 powdr-openvm-hints-guest = { path = "./openvm/extensions/hints-guest", version = "0.1.4" }
 powdr-openvm-hints-transpiler = { path = "./openvm/extensions/hints-transpiler", version = "0.1.4" }
 powdr-openvm-hints-circuit = { path = "./openvm/extensions/hints-circuit", version = "0.1.4" }
 
 # openvm
-openvm = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-build = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-rv32im-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-rv32im-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-rv32im-guest = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26", default-features = false }
-openvm-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-circuit-derive = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-circuit-primitives = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-circuit-primitives-derive = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-instructions = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-instructions-derive = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-sdk = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26", default-features = false, features = [
+openvm = { git = "https://github.com/powdr-labs/openvm.git", rev = "4e380d9" }
+openvm-build = { git = "https://github.com/powdr-labs/openvm.git", rev = "4e380d9" }
+openvm-rv32im-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "4e380d9" }
+openvm-rv32im-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "4e380d9" }
+openvm-rv32im-guest = { git = "https://github.com/powdr-labs/openvm.git", rev = "4e380d9", default-features = false }
+openvm-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "4e380d9" }
+openvm-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "4e380d9" }
+openvm-circuit-derive = { git = "https://github.com/powdr-labs/openvm.git", rev = "4e380d9" }
+openvm-circuit-primitives = { git = "https://github.com/powdr-labs/openvm.git", rev = "4e380d9" }
+openvm-circuit-primitives-derive = { git = "https://github.com/powdr-labs/openvm.git", rev = "4e380d9" }
+openvm-instructions = { git = "https://github.com/powdr-labs/openvm.git", rev = "4e380d9" }
+openvm-instructions-derive = { git = "https://github.com/powdr-labs/openvm.git", rev = "4e380d9" }
+openvm-sdk = { git = "https://github.com/powdr-labs/openvm.git", rev = "4e380d9", default-features = false, features = [
   "parallel",
   "jemalloc",
   "nightly-features",
-  "bench-metrics",
+  "evm-prove",
 ] }
-openvm-ecc-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-ecc-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-keccak256-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-keccak256-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-sha256-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-sha256-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-algebra-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-algebra-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-bigint-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-bigint-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-pairing-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-pairing-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-native-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26", default-features = false }
-openvm-native-recursion = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26", default-features = false }
-openvm-platform = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
-openvm-custom-insn = { git = "https://github.com/powdr-labs/openvm.git", rev = "62c5d26" }
+openvm-ecc-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "4e380d9" }
+openvm-ecc-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "4e380d9" }
+openvm-keccak256-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "4e380d9" }
+openvm-keccak256-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "4e380d9" }
+openvm-sha256-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "4e380d9" }
+openvm-sha256-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "4e380d9" }
+openvm-algebra-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "4e380d9" }
+openvm-algebra-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "4e380d9" }
+openvm-bigint-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "4e380d9" }
+openvm-bigint-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "4e380d9" }
+openvm-pairing-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "4e380d9" }
+openvm-pairing-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "4e380d9" }
+openvm-native-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "4e380d9", default-features = false }
+openvm-native-recursion = { git = "https://github.com/powdr-labs/openvm.git", rev = "4e380d9", default-features = false }
+openvm-platform = { git = "https://github.com/powdr-labs/openvm.git", rev = "4e380d9" }
+openvm-custom-insn = { git = "https://github.com/powdr-labs/openvm.git", rev = "4e380d9" }
 
 # stark-backend
-openvm-stark-sdk = { git = "https://github.com/powdr-labs/stark-backend.git", rev = "ee4e22b", default-features = false, features = [
+openvm-stark-sdk = { git = "https://github.com/powdr-labs/stark-backend.git", rev = "e27de8b", default-features = false, features = [
   "parallel",
   "jemalloc",
   "nightly-features",
-  "bench-metrics",
 ] }
-openvm-stark-backend = { git = "https://github.com/powdr-labs/stark-backend.git", rev = "ee4e22b", default-features = false, features = [
+openvm-stark-backend = { git = "https://github.com/powdr-labs/stark-backend.git", rev = "e27de8b", default-features = false, features = [
   "parallel",
   "jemalloc",
-  "bench-metrics",
 ] }
 
 [profile.pr-tests]
@@ -146,3 +143,5 @@ iter_over_hash_type = "deny"
 # openvm-pairing-transpiler = { path = "../openvm/extensions/pairing/transpiler" }
 # openvm-native-circuit = { path = "../openvm/extensions/native/circuit" }
 # openvm-native-recursion = { path = "../openvm/extensions/native/recursion" }
+# openvm-platform = { path = "../openvm/crates/toolchain/platform" }
+# openvm-custom-insn = { path = "../openvm/crates/toolchain/custom_insn" }

number/src/serialize.rs

@@ -11,19 +11,14 @@ use serde_with::{DeserializeAs, SerializeAs};
 
 use crate::FieldElement;
 
-#[derive(Copy, Clone, Debug, PartialEq, Eq)]
+#[derive(Copy, Clone, Debug, PartialEq, Eq, Default)]
 pub enum CsvRenderMode {
     SignedBase10,
     UnsignedBase10,
+    #[default]
     Hex,
 }
 
-impl Default for CsvRenderMode {
-    fn default() -> Self {
-        Self::Hex
-    }
-}
-
 const ROW_NAME: &str = "Row";
 
 pub fn write_polys_csv_file<T: FieldElement>(

openvm/Cargo.toml

@@ -6,6 +6,11 @@ license.workspace = true
 homepage.workspace = true
 repository.workspace = true
 
+[features]
+default = []
+tco = ["openvm-sdk/tco"]
+metrics = ["openvm-sdk/metrics"]
+
 [dependencies]
 openvm.workspace = true
 openvm-build.workspace = true
@@ -80,6 +85,7 @@ openvm-pairing-transpiler.workspace = true
 serde_cbor = "0.11.2"
 expect-test = "1.5.1"
 criterion = { version = "0.4", features = ["html_reports"] }
+tracing-log = "0.2.0"
 
 [lib]
 bench = false # See https://github.com/bheisler/criterion.rs/issues/458

openvm/extensions/hints-circuit/Cargo.toml

@@ -16,3 +16,6 @@ powdr-openvm-hints-transpiler = { workspace = true }
 eyre = "0.6.12"
 crypto-bigint = "0.6.1"
 elliptic-curve = "0.13.8"
+rand = { version = "0.8.5", default-features = false }
+serde = "1.0.219"
+