@@ -44,54 +44,54 @@ powdr-openvm-hints-transpiler = { path = "./openvm/extensions/hints-transpiler",
4444powdr-openvm-hints-circuit = { path = " ./openvm/extensions/hints-circuit" , version = " 0.1.4" }
4545
4646# openvm
47- openvm = { git = " https://github.com/powdr-labs/openvm.git" , rev = " v1.4.1-powdr " }
48- openvm-build = { git = " https://github.com/powdr-labs/openvm.git" , rev = " v1.4.1-powdr " }
49- openvm-rv32im-circuit = { git = " https://github.com/powdr-labs/openvm.git" , rev = " v1.4.1-powdr " }
50- openvm-rv32im-transpiler = { git = " https://github.com/powdr-labs/openvm.git" , rev = " v1.4.1-powdr " }
51- openvm-rv32im-guest = { git = " https://github.com/powdr-labs/openvm.git" , rev = " v1.4.1-powdr " , default-features = false }
52- openvm-transpiler = { git = " https://github.com/powdr-labs/openvm.git" , rev = " v1.4.1-powdr " }
53- openvm-circuit = { git = " https://github.com/powdr-labs/openvm.git" , rev = " v1.4.1-powdr " }
54- openvm-circuit-derive = { git = " https://github.com/powdr-labs/openvm.git" , rev = " v1.4.1-powdr " }
55- openvm-circuit-primitives = { git = " https://github.com/powdr-labs/openvm.git" , rev = " v1.4.1-powdr " }
56- openvm-circuit-primitives-derive = { git = " https://github.com/powdr-labs/openvm.git" , rev = " v1.4.1-powdr " }
57- openvm-instructions = { git = " https://github.com/powdr-labs/openvm.git" , rev = " v1.4.1-powdr " }
58- openvm-instructions-derive = { git = " https://github.com/powdr-labs/openvm.git" , rev = " v1.4.1-powdr " }
59- openvm-sdk = { git = " https://github.com/powdr-labs/openvm.git" , rev = " v1.4.1-powdr " , default-features = false , features = [
47+ openvm = { git = " https://github.com/powdr-labs/openvm.git" , branch = " support-sotfware-fallback " }
48+ openvm-build = { git = " https://github.com/powdr-labs/openvm.git" , branch = " support-sotfware-fallback " }
49+ openvm-rv32im-circuit = { git = " https://github.com/powdr-labs/openvm.git" , branch = " support-sotfware-fallback " }
50+ openvm-rv32im-transpiler = { git = " https://github.com/powdr-labs/openvm.git" , branch = " support-sotfware-fallback " }
51+ openvm-rv32im-guest = { git = " https://github.com/powdr-labs/openvm.git" , branch = " support-sotfware-fallback " , default-features = false }
52+ openvm-transpiler = { git = " https://github.com/powdr-labs/openvm.git" , branch = " support-sotfware-fallback " }
53+ openvm-circuit = { git = " https://github.com/powdr-labs/openvm.git" , branch = " support-sotfware-fallback " }
54+ openvm-circuit-derive = { git = " https://github.com/powdr-labs/openvm.git" , branch = " support-sotfware-fallback " }
55+ openvm-circuit-primitives = { git = " https://github.com/powdr-labs/openvm.git" , branch = " support-sotfware-fallback " }
56+ openvm-circuit-primitives-derive = { git = " https://github.com/powdr-labs/openvm.git" , branch = " support-sotfware-fallback " }
57+ openvm-instructions = { git = " https://github.com/powdr-labs/openvm.git" , branch = " support-sotfware-fallback " }
58+ openvm-instructions-derive = { git = " https://github.com/powdr-labs/openvm.git" , branch = " support-sotfware-fallback " }
59+ openvm-sdk = { git = " https://github.com/powdr-labs/openvm.git" , branch = " support-sotfware-fallback " , default-features = false , features = [
6060 " parallel" ,
6161 " jemalloc" ,
6262 " nightly-features" ,
6363 " evm-prove" ,
6464] }
65- openvm-ecc-circuit = { git = " https://github.com/powdr-labs/openvm.git" , rev = " v1.4.1-powdr " }
66- openvm-ecc-transpiler = { git = " https://github.com/powdr-labs/openvm.git" , rev = " v1.4.1-powdr " }
67- openvm-keccak256-circuit = { git = " https://github.com/powdr-labs/openvm.git" , rev = " v1.4.1-powdr " }
68- openvm-keccak256-transpiler = { git = " https://github.com/powdr-labs/openvm.git" , rev = " v1.4.1-powdr " }
69- openvm-sha256-circuit = { git = " https://github.com/powdr-labs/openvm.git" , rev = " v1.4.1-powdr " }
70- openvm-sha256-transpiler = { git = " https://github.com/powdr-labs/openvm.git" , rev = " v1.4.1-powdr " }
71- openvm-algebra-circuit = { git = " https://github.com/powdr-labs/openvm.git" , rev = " v1.4.1-powdr " }
72- openvm-algebra-transpiler = { git = " https://github.com/powdr-labs/openvm.git" , rev = " v1.4.1-powdr " }
73- openvm-bigint-circuit = { git = " https://github.com/powdr-labs/openvm.git" , rev = " v1.4.1-powdr " }
74- openvm-bigint-transpiler = { git = " https://github.com/powdr-labs/openvm.git" , rev = " v1.4.1-powdr " }
75- openvm-pairing-circuit = { git = " https://github.com/powdr-labs/openvm.git" , rev = " v1.4.1-powdr " }
76- openvm-pairing-transpiler = { git = " https://github.com/powdr-labs/openvm.git" , rev = " v1.4.1-powdr " }
77- openvm-native-circuit = { git = " https://github.com/powdr-labs/openvm.git" , rev = " v1.4.1-powdr " , default-features = false }
78- openvm-native-recursion = { git = " https://github.com/powdr-labs/openvm.git" , rev = " v1.4.1-powdr " , default-features = false }
79- openvm-platform = { git = " https://github.com/powdr-labs/openvm.git" , rev = " v1.4.1-powdr " }
80- openvm-custom-insn = { git = " https://github.com/powdr-labs/openvm.git" , rev = " v1.4.1-powdr " }
65+ openvm-ecc-circuit = { git = " https://github.com/powdr-labs/openvm.git" , branch = " support-sotfware-fallback " }
66+ openvm-ecc-transpiler = { git = " https://github.com/powdr-labs/openvm.git" , branch = " support-sotfware-fallback " }
67+ openvm-keccak256-circuit = { git = " https://github.com/powdr-labs/openvm.git" , branch = " support-sotfware-fallback " }
68+ openvm-keccak256-transpiler = { git = " https://github.com/powdr-labs/openvm.git" , branch = " support-sotfware-fallback " }
69+ openvm-sha256-circuit = { git = " https://github.com/powdr-labs/openvm.git" , branch = " support-sotfware-fallback " }
70+ openvm-sha256-transpiler = { git = " https://github.com/powdr-labs/openvm.git" , branch = " support-sotfware-fallback " }
71+ openvm-algebra-circuit = { git = " https://github.com/powdr-labs/openvm.git" , branch = " support-sotfware-fallback " }
72+ openvm-algebra-transpiler = { git = " https://github.com/powdr-labs/openvm.git" , branch = " support-sotfware-fallback " }
73+ openvm-bigint-circuit = { git = " https://github.com/powdr-labs/openvm.git" , branch = " support-sotfware-fallback " }
74+ openvm-bigint-transpiler = { git = " https://github.com/powdr-labs/openvm.git" , branch = " support-sotfware-fallback " }
75+ openvm-pairing-circuit = { git = " https://github.com/powdr-labs/openvm.git" , branch = " support-sotfware-fallback " }
76+ openvm-pairing-transpiler = { git = " https://github.com/powdr-labs/openvm.git" , branch = " support-sotfware-fallback " }
77+ openvm-native-circuit = { git = " https://github.com/powdr-labs/openvm.git" , branch = " support-sotfware-fallback " , default-features = false }
78+ openvm-native-recursion = { git = " https://github.com/powdr-labs/openvm.git" , branch = " support-sotfware-fallback " , default-features = false }
79+ openvm-platform = { git = " https://github.com/powdr-labs/openvm.git" , branch = " support-sotfware-fallback " }
80+ openvm-custom-insn = { git = " https://github.com/powdr-labs/openvm.git" , branch = " support-sotfware-fallback " }
8181
8282# stark-backend
83- openvm-stark-sdk = { git = " https://github.com/powdr-labs/stark-backend.git" , rev = " v1.2.1-powdr " , default-features = false , features = [
83+ openvm-stark-sdk = { git = " https://github.com/powdr-labs/stark-backend.git" , branch = " fallback-to-software " , default-features = false , features = [
8484 " parallel" ,
8585 " jemalloc" ,
8686 " nightly-features" ,
8787] }
88- openvm-stark-backend = { git = " https://github.com/powdr-labs/stark-backend.git" , rev = " v1.2.1-powdr " , default-features = false , features = [
88+ openvm-stark-backend = { git = " https://github.com/powdr-labs/stark-backend.git" , branch = " fallback-to-software " , default-features = false , features = [
8989 " parallel" ,
9090 " jemalloc" ,
9191] }
92- openvm-cuda-backend = { git = " https://github.com/powdr-labs/stark-backend.git" , rev = " v1.2.1-powdr " , default-features = false }
93- openvm-cuda-builder = { git = " https://github.com/powdr-labs/stark-backend.git" , rev = " v1.2.1-powdr " , default-features = false }
94- openvm-cuda-common = { git = " https://github.com/powdr-labs/stark-backend.git" , rev = " v1.2.1-powdr " , default-features = false }
92+ openvm-cuda-backend = { git = " https://github.com/powdr-labs/stark-backend.git" , branch = " fallback-to-software " , default-features = false }
93+ openvm-cuda-builder = { git = " https://github.com/powdr-labs/stark-backend.git" , branch = " fallback-to-software " , default-features = false }
94+ openvm-cuda-common = { git = " https://github.com/powdr-labs/stark-backend.git" , branch = " fallback-to-software " , default-features = false }
9595
9696[profile .pr-tests ]
9797inherits = " dev"
@@ -114,40 +114,40 @@ iter_over_hash_type = "deny"
114114
115115# Uncomment both patches below for local stark-backend and openvm.
116116# The local openvm also needs to have stark-backend patched so all types match.
117- [patch ."https://github .com/powdr-labs/stark-backend .git" ]
118- openvm-stark-sdk = { path = " ../stark-backend/crates/stark-sdk" , default-features = false }
119- openvm-stark-backend = { path = " ../stark-backend/crates/stark-backend" , default-features = false }
120- openvm-cuda-backend = { path = " ../stark-backend/crates/cuda-backend" , default-features = false }
121- openvm-cuda-builder = { path = " ../stark-backend/crates/cuda-builder" , default-features = false }
122- openvm-cuda-common = { path = " ../stark-backend/crates/cuda-common" , default-features = false }
117+ # [patch."https://github.com/powdr-labs/stark-backend.git"]
118+ # openvm-stark-sdk = { path = "../stark-backend/crates/stark-sdk", default-features = false }
119+ # openvm-stark-backend = { path = "../stark-backend/crates/stark-backend", default-features = false }
120+ # openvm-cuda-backend = { path = "../stark-backend/crates/cuda-backend", default-features = false }
121+ # openvm-cuda-builder = { path = "../stark-backend/crates/cuda-builder", default-features = false }
122+ # openvm-cuda-common = { path = "../stark-backend/crates/cuda-common", default-features = false }
123123
124- [patch ."https://github .com/powdr-labs/openvm .git" ]
125- openvm = { path = " ../openvm/crates/toolchain/openvm" }
126- openvm-build = { path = " ../openvm/crates/toolchain/build" }
127- openvm-rv32im-circuit = { path = " ../openvm/extensions/rv32im/circuit/" }
128- openvm-rv32im-transpiler = { path = " ../openvm/extensions/rv32im/transpiler" }
129- openvm-rv32im-guest = { path = " ../openvm/extensions/rv32im/guest" }
130- openvm-transpiler = { path = " ../openvm/crates/toolchain/transpiler" }
131- openvm-circuit = { path = " ../openvm/crates/vm" }
132- openvm-circuit-derive = { path = " ../openvm/crates/vm/derive" }
133- openvm-circuit-primitives = { path = " ../openvm/crates/circuits/primitives" }
134- openvm-circuit-primitives-derive = { path = " ../openvm/crates/circuits/primitives/derive" }
135- openvm-instructions = { path = " ../openvm/crates/toolchain/instructions" }
136- openvm-instructions-derive = { path = " ../openvm/crates/toolchain/instructions/derive" }
137- openvm-sdk = { path = " ../openvm/crates/sdk" }
138- openvm-ecc-circuit = { path = " ../openvm/extensions/ecc/circuit" }
139- openvm-ecc-transpiler = { path = " ../openvm/extensions/ecc/transpiler" }
140- openvm-keccak256-circuit = { path = " ../openvm/extensions/keccak256/circuit" }
141- openvm-keccak256-transpiler = { path = " ../openvm/extensions/keccak256/transpiler" }
142- openvm-sha256-circuit = { path = " ../openvm/extensions/sha256/circuit" }
143- openvm-sha256-transpiler = { path = " ../openvm/extensions/sha256/transpiler" }
144- openvm-algebra-circuit = { path = " ../openvm/extensions/algebra/circuit" }
145- openvm-algebra-transpiler = { path = " ../openvm/extensions/algebra/transpiler" }
146- openvm-bigint-circuit = { path = " ../openvm/extensions/bigint/circuit" }
147- openvm-bigint-transpiler = { path = " ../openvm/extensions/bigint/transpiler" }
148- openvm-pairing-circuit = { path = " ../openvm/extensions/pairing/circuit" }
149- openvm-pairing-transpiler = { path = " ../openvm/extensions/pairing/transpiler" }
150- openvm-native-circuit = { path = " ../openvm/extensions/native/circuit" }
151- openvm-native-recursion = { path = " ../openvm/extensions/native/recursion" }
152- openvm-platform = { path = " ../openvm/crates/toolchain/platform" }
153- openvm-custom-insn = { path = " ../openvm/crates/toolchain/custom_insn" }
124+ # [patch."https://github.com/powdr-labs/openvm.git"]
125+ # openvm = { path = "../openvm/crates/toolchain/openvm" }
126+ # openvm-build = { path = "../openvm/crates/toolchain/build" }
127+ # openvm-rv32im-circuit = { path = "../openvm/extensions/rv32im/circuit/" }
128+ # openvm-rv32im-transpiler = { path = "../openvm/extensions/rv32im/transpiler" }
129+ # openvm-rv32im-guest = { path = "../openvm/extensions/rv32im/guest" }
130+ # openvm-transpiler = { path = "../openvm/crates/toolchain/transpiler" }
131+ # openvm-circuit = { path = "../openvm/crates/vm" }
132+ # openvm-circuit-derive = { path = "../openvm/crates/vm/derive" }
133+ # openvm-circuit-primitives = { path = "../openvm/crates/circuits/primitives" }
134+ # openvm-circuit-primitives-derive = { path = "../openvm/crates/circuits/primitives/derive" }
135+ # openvm-instructions = { path = "../openvm/crates/toolchain/instructions" }
136+ # openvm-instructions-derive = { path = "../openvm/crates/toolchain/instructions/derive" }
137+ # openvm-sdk = { path = "../openvm/crates/sdk" }
138+ # openvm-ecc-circuit = { path = "../openvm/extensions/ecc/circuit" }
139+ # openvm-ecc-transpiler = { path = "../openvm/extensions/ecc/transpiler" }
140+ # openvm-keccak256-circuit = { path = "../openvm/extensions/keccak256/circuit" }
141+ # openvm-keccak256-transpiler = { path = "../openvm/extensions/keccak256/transpiler" }
142+ # openvm-sha256-circuit = { path = "../openvm/extensions/sha256/circuit" }
143+ # openvm-sha256-transpiler = { path = "../openvm/extensions/sha256/transpiler" }
144+ # openvm-algebra-circuit = { path = "../openvm/extensions/algebra/circuit" }
145+ # openvm-algebra-transpiler = { path = "../openvm/extensions/algebra/transpiler" }
146+ # openvm-bigint-circuit = { path = "../openvm/extensions/bigint/circuit" }
147+ # openvm-bigint-transpiler = { path = "../openvm/extensions/bigint/transpiler" }
148+ # openvm-pairing-circuit = { path = "../openvm/extensions/pairing/circuit" }
149+ # openvm-pairing-transpiler = { path = "../openvm/extensions/pairing/transpiler" }
150+ # openvm-native-circuit = { path = "../openvm/extensions/native/circuit" }
151+ # openvm-native-recursion = { path = "../openvm/extensions/native/recursion" }
152+ # openvm-platform = { path = "../openvm/crates/toolchain/platform" }
153+ # openvm-custom-insn = { path = "../openvm/crates/toolchain/custom_insn" }
0 commit comments