Skip to content

Fall back to software after trace generation #3449

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
Schaeff wants to merge 10 commits into
base: main
Choose a base branch
from
Draft

Fall back to software after trace generation #3449

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
3717ee9
wip
Schaeff Nov 19, 2025
0c595a1
wip
Schaeff Nov 19, 2025
3b751da
add original row indices to rejected sets
Schaeff Nov 20, 2025
483e5a5
simplify apc tracegen
Schaeff Nov 20, 2025
ab93fee
clean up
Schaeff Nov 25, 2025
f8a14e7
clean up
Schaeff Nov 26, 2025
82ddadb
deps
Schaeff Nov 26, 2025
ff54de8
update reth
Schaeff Nov 26, 2025
6c0b48d
fix k256
Schaeff Nov 26, 2025
5b7ba91
simplify
Schaeff Nov 27, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .github/actions/patch-openvm-reth-benchmark/action.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ runs:
with:
repository: powdr-labs/openvm-reth-benchmark
# Set once here — no inputs required elsewhere
ref: 64cdc9640a563517848814489ea6c63f134e1e85
ref: 83dfd369f14185b9c317f42265f5780633c4591c
path: openvm-reth-benchmark

- name: Patch openvm-reth-benchmark to use local powdr
Expand Down
68 changes: 34 additions & 34 deletions Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -44,54 +44,54 @@ powdr-openvm-hints-transpiler = { path = "./openvm/extensions/hints-transpiler",
powdr-openvm-hints-circuit = { path = "./openvm/extensions/hints-circuit", version = "0.1.4" }

# openvm
openvm = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-build = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-rv32im-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-rv32im-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-rv32im-guest = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr", default-features = false }
openvm-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-circuit-derive = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-circuit-primitives = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-circuit-primitives-derive = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-instructions = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-instructions-derive = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-sdk = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr", default-features = false, features = [
openvm = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
openvm-build = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
openvm-rv32im-circuit = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
openvm-rv32im-transpiler = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
openvm-rv32im-guest = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback", default-features = false }
openvm-transpiler = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
openvm-circuit = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
openvm-circuit-derive = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
openvm-circuit-primitives = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
openvm-circuit-primitives-derive = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
openvm-instructions = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
openvm-instructions-derive = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
openvm-sdk = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback", default-features = false, features = [
"parallel",
"jemalloc",
"nightly-features",
"evm-prove",
] }
openvm-ecc-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-ecc-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-keccak256-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-keccak256-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-sha256-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-sha256-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-algebra-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-algebra-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-bigint-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-bigint-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-pairing-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-pairing-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-native-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr", default-features = false }
openvm-native-recursion = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr", default-features = false }
openvm-platform = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-custom-insn = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-ecc-circuit = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
openvm-ecc-transpiler = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
openvm-keccak256-circuit = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
openvm-keccak256-transpiler = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
openvm-sha256-circuit = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
openvm-sha256-transpiler = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
openvm-algebra-circuit = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
openvm-algebra-transpiler = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
openvm-bigint-circuit = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
openvm-bigint-transpiler = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
openvm-pairing-circuit = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
openvm-pairing-transpiler = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
openvm-native-circuit = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback", default-features = false }
openvm-native-recursion = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback", default-features = false }
openvm-platform = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
openvm-custom-insn = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }

# stark-backend
openvm-stark-sdk = { git = "https://github.com/powdr-labs/stark-backend.git", rev = "v1.2.1-powdr", default-features = false, features = [
openvm-stark-sdk = { git = "https://github.com/powdr-labs/stark-backend.git", branch = "fallback-to-software", default-features = false, features = [
"parallel",
"jemalloc",
"nightly-features",
] }
openvm-stark-backend = { git = "https://github.com/powdr-labs/stark-backend.git", rev = "v1.2.1-powdr", default-features = false, features = [
openvm-stark-backend = { git = "https://github.com/powdr-labs/stark-backend.git", branch = "fallback-to-software", default-features = false, features = [
"parallel",
"jemalloc",
] }
openvm-cuda-backend = { git = "https://github.com/powdr-labs/stark-backend.git", rev = "v1.2.1-powdr", default-features = false }
openvm-cuda-builder = { git = "https://github.com/powdr-labs/stark-backend.git", rev = "v1.2.1-powdr", default-features = false }
openvm-cuda-common = { git = "https://github.com/powdr-labs/stark-backend.git", rev = "v1.2.1-powdr", default-features = false }
openvm-cuda-backend = { git = "https://github.com/powdr-labs/stark-backend.git", branch = "fallback-to-software", default-features = false }
openvm-cuda-builder = { git = "https://github.com/powdr-labs/stark-backend.git", branch = "fallback-to-software", default-features = false }
openvm-cuda-common = { git = "https://github.com/powdr-labs/stark-backend.git", branch = "fallback-to-software", default-features = false }

[profile.pr-tests]
inherits = "dev"
Expand Down
24 changes: 16 additions & 8 deletions autoprecompiles/src/trace_handler.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,15 +8,22 @@ use std::{cmp::Eq, hash::Hash};
use crate::expression::{AlgebraicExpression, AlgebraicReference};
use crate::{Apc, InstructionHandler};

pub struct OriginalRowReference<'a, D> {
pub struct OriginalRowReference<'a, D, I> {
pub air_id: &'a I,
pub row_index: usize,
Copy link
Collaborator Author

@Schaeff Schaeff Nov 20, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Added this because when an apc row fails tracegen, we need to know which original rows to add to the software tables.

Copy link
Collaborator

@qwang98 qwang98 Nov 28, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Original rows aka rejected rows of the APC dummy traces?

Software tables aka non-APC traces?

pub data: &'a D,
pub start: usize,
Copy link
Collaborator Author

@Schaeff Schaeff Nov 20, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Removed this because it can be derived from the rest

pub length: usize,
}

pub struct TraceData<'a, F, D> {
impl<'a, D, I> OriginalRowReference<'a, D, I> {
pub fn start(&self) -> usize {
self.row_index * self.length
}
}

pub struct TraceData<'a, F, D, I> {
/// For each call of the apc, the values of each original instruction's dummy trace.
pub dummy_values: Vec<Vec<OriginalRowReference<'a, D>>>,
pub dummy_values: Vec<Vec<OriginalRowReference<'a, D, I>>>,
/// The mapping from dummy trace index to APC index for each instruction.
pub dummy_trace_index_to_apc_index_by_instruction: Vec<Vec<(usize, usize)>>,
/// The mapping from poly_id to the index in the list of apc columns.
Expand All @@ -43,7 +50,7 @@ pub fn generate_trace<'a, IH, M: TraceTrait<IH::Field>>(
instruction_handler: &'a IH,
apc_call_count: usize,
apc: &'a Apc<IH::Field, IH::Instruction>,
) -> TraceData<'a, IH::Field, M::Values>
) -> TraceData<'a, IH::Field, M::Values, IH::AirId>
where
IH: InstructionHandler,
IH::Field: Display + Clone + Send + Sync,
Expand Down Expand Up @@ -104,15 +111,16 @@ where
.iter()
.zip_eq(original_instruction_table_offsets.iter())
.map(|(air_id, dummy_table_offset)| {
let trace = air_id_to_dummy_trace.get(air_id).unwrap();
let (air_id, trace) = air_id_to_dummy_trace.get_key_value(air_id).unwrap();
Copy link
Collaborator Author

@Schaeff Schaeff Nov 20, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Interesting case here, air_id has the same value, but a different lifetime! We need the one with the longer lifetime.

let values = trace.values();
let width = trace.width();
let occurrences_per_record = air_id_occurrences.get(air_id).unwrap();
let start = (trace_row * occurrences_per_record + dummy_table_offset) * width;
let row_index = trace_row * occurrences_per_record + dummy_table_offset;
OriginalRowReference {
data: values,
start,
length: width,
air_id,
row_index,
}
})
.collect_vec()
Expand Down
8 changes: 4 additions & 4 deletions openvm/guest-ecc-manual/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,12 +6,12 @@ version = "0.0.0"
edition = "2021"

[dependencies]
openvm = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr", features = [
openvm = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback", features = [
"std",
] }
openvm-ecc-guest = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr", subdirectory = "extensions/ecc/guest", default-features = false }
openvm-algebra-guest = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr", subdirectory = "extensions/algebra/guest", default-features = false }
openvm-k256 = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr", subdirectory = "guest-libs/k256", package = "k256", features = [
openvm-ecc-guest = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback", subdirectory = "extensions/ecc/guest", default-features = false }
openvm-algebra-guest = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback", subdirectory = "extensions/algebra/guest", default-features = false }
openvm-k256 = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback", subdirectory = "guest-libs/k256", package = "k256", features = [
"ecdsa",
] }

Expand Down
4 changes: 2 additions & 2 deletions openvm/guest-ecc-powdr-affine-hint/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,10 @@ version = "0.0.0"
edition = "2021"

[dependencies]
openvm = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr", features = [
openvm = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback", features = [
"std",
] }
k256 = { git = "https://github.com/powdr-labs/elliptic-curves-k256", rev = "v1.4.1-powdr", default-features = false, features = [
k256 = { git = "https://github.com/powdr-labs/elliptic-curves-k256", branch = "fallback-to-software", default-features = false, features = [
"expose-field",
"arithmetic",
] }
Expand Down
2 changes: 1 addition & 1 deletion openvm/guest-ecc-projective/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ version = "0.0.0"
edition = "2021"

[dependencies]
openvm = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr", features = [
openvm = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback", features = [
"std",
] }
k256 = { version = "0.13", default-features = false, features = ["arithmetic"] }
Expand Down
12 changes: 6 additions & 6 deletions openvm/guest-ecrecover-manual/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,14 +5,14 @@ version = "0.0.0"
edition = "2021"

[dependencies]
openvm = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr", features = [
openvm = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback", features = [
"std",
] }
openvm-algebra-guest = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-algebra-moduli-macros = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-ecc-guest = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-ecc-sw-macros = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-k256 = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr", package = "k256" }
openvm-algebra-guest = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
openvm-algebra-moduli-macros = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
openvm-ecc-guest = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
openvm-ecc-sw-macros = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
openvm-k256 = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback", package = "k256" }

elliptic-curve = { version = "0.13.8" }
ecdsa = { version = "0.16.9" }
Expand Down
4 changes: 2 additions & 2 deletions openvm/guest-ecrecover/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,10 @@ version = "0.0.0"
edition = "2021"

[dependencies]
openvm = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr", features = [
openvm = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback", features = [
"std",
] }
k256 = { git = "https://github.com/powdr-labs/elliptic-curves-k256", rev = "v1.4.1-powdr", default-features = false, features = [
k256 = { git = "https://github.com/powdr-labs/elliptic-curves-k256", branch = "fallback-to-software", default-features = false, features = [
"expose-field",
"arithmetic",
"ecdsa",
Expand Down
2 changes: 1 addition & 1 deletion openvm/guest-hints-test/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ edition = "2021"
[dependencies]
# The `rev` here must point to the same version used in the workspace.
# Otherwise, there is conflict with the `powdr-openvm-hints-guest` dependency (which is part of the workspace).
openvm = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
powdr-openvm-hints-guest = { path = "../extensions/hints-guest/" }

[profile.release-with-debug]
Expand Down
6 changes: 3 additions & 3 deletions openvm/guest-keccak-manual-precompile/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,6 @@ edition = "2021"
members = []

[dependencies]
openvm = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-platform = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-keccak256 = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
openvm-platform = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
openvm-keccak256 = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
2 changes: 1 addition & 1 deletion openvm/guest-keccak/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ version = "0.0.0"
edition = "2021"

[dependencies]
openvm = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
tiny-keccak = { version = "2.0.2", features = ["keccak"] }

[profile.release-with-debug]
Expand Down
2 changes: 1 addition & 1 deletion openvm/guest-matmul/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ version = "0.0.0"
edition = "2021"

[dependencies]
openvm = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }

[profile.release-with-debug]
inherits = "release"
Expand Down
8 changes: 4 additions & 4 deletions openvm/guest-pairing-manual-precompile/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,13 +7,13 @@ edition = "2021"
members = []

[dependencies]
openvm = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr", features = [
openvm = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback", features = [
"std",
] }

openvm-algebra-guest = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr", default-features = false }
openvm-ecc-guest = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr", default-features = false }
openvm-pairing = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr", default-features = false, features = [
openvm-algebra-guest = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback", default-features = false }
openvm-ecc-guest = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback", default-features = false }
openvm-pairing = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback", default-features = false, features = [
"bn254",
] }

Expand Down
2 changes: 1 addition & 1 deletion openvm/guest-pairing/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ edition = "2024"
members = []

[dependencies]
openvm = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr", features = [
openvm = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback", features = [
"std",
] }

Expand Down
6 changes: 3 additions & 3 deletions openvm/guest-sha256-manual-precompile/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,6 @@ edition = "2021"
members = []

[dependencies]
openvm = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-platform = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm-sha2 = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
openvm-platform = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
openvm-sha2 = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
2 changes: 1 addition & 1 deletion openvm/guest-sha256/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ version = "0.0.0"
edition = "2021"

[dependencies]
openvm = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr" }
openvm = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback" }
sha2 = { version = "0.10", default-features = false }
digest = { version = "0.10", default-features = false }

Expand Down
4 changes: 2 additions & 2 deletions openvm/guest-u256-manual-precompile/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ edition = "2021"
members = []

[dependencies]
openvm = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr", features = [
openvm = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback", features = [
"std",
] }
openvm-ruint = { git = "https://github.com/powdr-labs/openvm.git", rev = "v1.4.1-powdr", package = "ruint" }
openvm-ruint = { git = "https://github.com/powdr-labs/openvm.git", branch = "support-sotfware-fallback", package = "ruint" }
Loading
Loading