From 94922af899c7fcb23da730bd800e89dfd369f308 Mon Sep 17 00:00:00 2001 From: Han Date: Tue, 18 Nov 2025 10:37:01 +0900 Subject: [PATCH] Enable OpenVM nightly features (#210) --- .github/workflows/test-zkvm-openvm.yml | 2 +- Cargo.toml | 3 --- crates/zkvm/openvm/Cargo.toml | 2 +- docker/openvm/Dockerfile.base | 3 +++ 4 files changed, 5 insertions(+), 5 deletions(-) diff --git a/.github/workflows/test-zkvm-openvm.yml b/.github/workflows/test-zkvm-openvm.yml index c065b7c..a4e0bc5 100644 --- a/.github/workflows/test-zkvm-openvm.yml +++ b/.github/workflows/test-zkvm-openvm.yml @@ -14,4 +14,4 @@ jobs: packages: write with: zkvm: openvm - toolchain: 1.88.0 + toolchain: nightly diff --git a/Cargo.toml b/Cargo.toml index b5af454..1d57b68 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -164,9 +164,6 @@ ere-build-utils = { path = "crates/build-utils" } ere-compile-utils = { path = "crates/compile-utils" } ere-test-utils = { path = "crates/test-utils" } -[profile.dev.package.openvm-stark-backend] -opt-level = 3 - [patch.crates-io] # These patches are only needed by Jolt ark-ff = { git = "https://github.com/a16z/arkworks-algebra", branch = "feat/fewer-reductions" } diff --git a/crates/zkvm/openvm/Cargo.toml b/crates/zkvm/openvm/Cargo.toml index c91598f..c2ae62a 100644 --- a/crates/zkvm/openvm/Cargo.toml +++ b/crates/zkvm/openvm/Cargo.toml @@ -16,7 +16,7 @@ toml.workspace = true openvm-build.workspace = true openvm-circuit.workspace = true openvm-continuations.workspace = true -openvm-sdk.workspace = true +openvm-sdk = { workspace = true, features = ["nightly-features"] } openvm-stark-sdk.workspace = true openvm-transpiler.workspace = true diff --git a/docker/openvm/Dockerfile.base b/docker/openvm/Dockerfile.base index e53e677..994d0a2 100644 --- a/docker/openvm/Dockerfile.base +++ b/docker/openvm/Dockerfile.base @@ -11,6 +11,9 @@ FROM base${CUDA:+_cuda} # The ere-base image provides Rust, Cargo, and common tools. # We operate as root for SDK installation. +# Set default toolchain to nightly +RUN rustup default nightly + ARG CUDA # Default to build for RTX 50 series