Skip to content

perf: increase preallocation vpmm size for halo2 #621

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
Aalanli wants to merge 14 commits into
base: develop-v2.0.0-rc.2
Choose a base branch
from
Draft

perf: increase preallocation vpmm size for halo2 #621

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
345a434
chore: rebase develop v2 onto main
Qumeric Apr 29, 2026
d6d048f
chore: update vk for reth v2 change (#605)
luffykai May 8, 2026
0c89aaf
chore: update deps
shuklaayush May 14, 2026
e1f0186
feat: cached root prover standalone benchmark (#609)
Aalanli May 22, 2026
548199e
chore: update reth vk (#610)
luffykai May 23, 2026
4735215
Cache RPC input in reth benchmark workflow (#616)
shuklaayush Jun 4, 2026
0c06f22
chore: move from rc1 to rc2
shuklaayush Jun 7, 2026
f9c32a9
chore: update benchmark openvm params (#617)
shuklaayush Jun 9, 2026
685ad76
chore(ci): install nvidia open drivers on blackwell (#619)
shuklaayush Jun 10, 2026
e1762fb
ci: migrate RunsOn labels for v3 (#618)
shuklaayush Jun 10, 2026
43c40d2
fix: resolve -Ctarget-cpu=native to explicit CPU name in reth benchma…
GunaDD Jun 10, 2026
518b537
chore: derive Rust toolchain from rust-toolchain.toml
shuklaayush Jun 10, 2026
25c04f4
chore: change default benchmark runner to g7e.2xlarge
shuklaayush Jun 10, 2026
29b24c1
perf: increase preallocation vpmm size for halo2
Jun 11, 2026
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
62 changes: 35 additions & 27 deletions .cargo/config.local.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,66 +5,74 @@ git-fetch-with-cli = true
[patch."https://github.com/openvm-org/stark-backend.git"]
openvm-stark-backend = { path = "../openvm-org/stark-backend/crates/stark-backend" }
openvm-stark-sdk = { path = "../openvm-org/stark-backend/crates/stark-sdk" }
openvm-codec-derive = { path = "../openvm-org/stark-backend/crates/codec-derive" }
openvm-cpu-backend = { path = "../openvm-org/stark-backend/crates/cpu-backend" }
openvm-cuda-builder = { path = "../openvm-org/stark-backend/crates/cuda-builder" }
openvm-cuda-common = { path = "../openvm-org/stark-backend/crates/cuda-common" }
openvm-cuda-backend = { path = "../openvm-org/stark-backend/crates/cuda-backend " }
openvm-cuda-backend = { path = "../openvm-org/stark-backend/crates/cuda-backend" }

[patch."https://github.com/openvm-org/openvm.git"]
openvm-benchmarks-prove = { path = "../openvm-org/openvm/benchmarks/prove" }
# OpenVM
openvm-sdk = { path = "../openvm-org/openvm/crates/sdk" }
cargo-openvm = { path = "../openvm-org/openvm/crates/cli" }
openvm-mod-circuit-builder = { path = "../openvm-org/openvm/crates/circuits/mod-builder" }
openvm-poseidon2-air = { path = "../openvm-org/openvm/crates/circuits/poseidon2-air" }
openvm-circuit-primitives = { path = "../openvm-org/openvm/crates/circuits/primitives" }
openvm-circuit-primitives-derive = { path = "../openvm-org/openvm/crates/circuits/primitives/derive" }
# OpenVM core
openvm = { path = "../openvm-org/openvm/crates/toolchain/openvm" }
# TODO: add back
# openvm-benchmarks-prove = { path = "../openvm-org/openvm/benchmarks/prove" }
openvm-build = { path = "../openvm-org/openvm/crates/toolchain/build" }
openvm-circuit = { path = "../openvm-org/openvm/crates/vm" }
openvm-circuit-derive = { path = "../openvm-org/openvm/crates/vm/derive" }
openvm-circuit-primitives = { path = "../openvm-org/openvm/crates/circuits/primitives" }
openvm-circuit-primitives-derive = { path = "../openvm-org/openvm/crates/circuits/primitives/derive" }
openvm-continuations = { path = "../openvm-org/openvm/crates/continuations" }
openvm-custom-insn = { path = "../openvm-org/openvm/crates/toolchain/custom_insn" }
openvm-instructions = { path = "../openvm-org/openvm/crates/toolchain/instructions" }
openvm-instructions-derive = { path = "../openvm-org/openvm/crates/toolchain/instructions/derive" }
openvm-macros-common = { path = "../openvm-org/openvm/crates/toolchain/macros" }
openvm-mod-circuit-builder = { path = "../openvm-org/openvm/crates/circuits/mod-builder" }
openvm-platform = { path = "../openvm-org/openvm/crates/toolchain/platform" }
openvm-poseidon2-air = { path = "../openvm-org/openvm/crates/circuits/poseidon2-air" }
openvm-recursion-circuit = { path = "../openvm-org/openvm/crates/recursion" }
openvm-recursion-circuit-derive = { path = "../openvm-org/openvm/crates/recursion/derive" }
openvm-sdk = { path = "../openvm-org/openvm/crates/sdk" }
openvm-sdk-config = { path = "../openvm-org/openvm/crates/sdk-config" }
openvm-transpiler = { path = "../openvm-org/openvm/crates/toolchain/transpiler" }
openvm-circuit = { path = "../openvm-org/openvm/crates/vm" }
openvm-circuit-derive = { path = "../openvm-org/openvm/crates/vm/derive" }
openvm-verify-stark-host = { path = "../openvm-org/openvm/crates/verify" }

# Extensions
openvm-algebra-circuit = { path = "../openvm-org/openvm/extensions/algebra/circuit" }
openvm-algebra-transpiler = { path = "../openvm-org/openvm/extensions/algebra/transpiler" }
openvm-algebra-complex-macros = { path = "../openvm-org/openvm/extensions/algebra/complex-macros" }
openvm-algebra-guest = { path = "../openvm-org/openvm/extensions/algebra/guest" }
openvm-algebra-moduli-macros = { path = "../openvm-org/openvm/extensions/algebra/moduli-macros" }
openvm-algebra-complex-macros = { path = "../openvm-org/openvm/extensions/algebra/complex-macros" }
openvm-algebra-transpiler = { path = "../openvm-org/openvm/extensions/algebra/transpiler" }
openvm-bigint-circuit = { path = "../openvm-org/openvm/extensions/bigint/circuit" }
openvm-bigint-transpiler = { path = "../openvm-org/openvm/extensions/bigint/transpiler" }
openvm-bigint-guest = { path = "../openvm-org/openvm/extensions/bigint/guest" }
openvm-bigint-transpiler = { path = "../openvm-org/openvm/extensions/bigint/transpiler" }
openvm-deferral-circuit = { path = "../openvm-org/openvm/extensions/deferral/circuit" }
openvm-deferral-guest = { path = "../openvm-org/openvm/extensions/deferral/guest" }
openvm-deferral-transpiler = { path = "../openvm-org/openvm/extensions/deferral/transpiler" }
openvm-ecc-circuit = { path = "../openvm-org/openvm/extensions/ecc/circuit" }
openvm-ecc-transpiler = { path = "../openvm-org/openvm/extensions/ecc/transpiler" }
openvm-ecc-guest = { path = "../openvm-org/openvm/extensions/ecc/guest" }
openvm-ecc-sw-macros = { path = "../openvm-org/openvm/extensions/ecc/sw-macros" }
openvm-ecc-transpiler = { path = "../openvm-org/openvm/extensions/ecc/transpiler" }
openvm-keccak256-circuit = { path = "../openvm-org/openvm/extensions/keccak256/circuit" }
openvm-keccak256-transpiler = { path = "../openvm-org/openvm/extensions/keccak256/transpiler" }
openvm-keccak256-guest = { path = "../openvm-org/openvm/extensions/keccak256/guest" }
openvm-sha256-circuit = { path = "../openvm-org/openvm/extensions/sha256/circuit" }
openvm-sha256-transpiler = { path = "../openvm-org/openvm/extensions/sha256/transpiler" }
openvm-sha256-guest = { path = "../openvm-org/openvm/extensions/sha256/guest" }
openvm-native-circuit = { path = "../openvm-org/openvm/extensions/native/circuit" }
openvm-native-compiler = { path = "../openvm-org/openvm/extensions/native/compiler" }
openvm-native-compiler-derive = { path = "../openvm-org/openvm/extensions/native/compiler/derive" }
openvm-native-recursion = { path = "../openvm-org/openvm/extensions/native/recursion" }
openvm-keccak256-transpiler = { path = "../openvm-org/openvm/extensions/keccak256/transpiler" }
openvm-pairing-circuit = { path = "../openvm-org/openvm/extensions/pairing/circuit" }
openvm-pairing-transpiler = { path = "../openvm-org/openvm/extensions/pairing/transpiler" }
openvm-pairing-guest = { path = "../openvm-org/openvm/extensions/pairing/guest" }
openvm-pairing-transpiler = { path = "../openvm-org/openvm/extensions/pairing/transpiler" }
openvm-rv32-adapters = { path = "../openvm-org/openvm/extensions/rv32-adapters" }
openvm-rv32im-circuit = { path = "../openvm-org/openvm/extensions/rv32im/circuit" }
openvm-rv32im-transpiler = { path = "../openvm-org/openvm/extensions/rv32im/transpiler" }
openvm-rv32im-guest = { path = "../openvm-org/openvm/extensions/rv32im/guest" }
openvm-rv32im-transpiler = { path = "../openvm-org/openvm/extensions/rv32im/transpiler" }
openvm-sha2-air = { path = "../openvm-org/openvm/crates/circuits/sha2-air" }
openvm-sha2-circuit = { path = "../openvm-org/openvm/extensions/sha2/circuit" }
openvm-sha2-guest = { path = "../openvm-org/openvm/extensions/sha2/guest" }
openvm-sha2-transpiler = { path = "../openvm-org/openvm/extensions/sha2/transpiler" }

# Guest Libs
# Guest libs
k256 = { path = "../openvm-org/openvm/guest-libs/k256" }
p256 = { path = "../openvm-org/openvm/guest-libs/p256" }
openvm-keccak256 = { path = "../openvm-org/openvm/guest-libs/keccak256" }
openvm-sha2 = { path = "../openvm-org/openvm/guest-libs/sha2" }
openvm-pairing = { path = "../openvm-org/openvm/guest-libs/pairing" }
openvm-sha2 = { path = "../openvm-org/openvm/guest-libs/sha2" }

# NOTE: do not patch k256 for host as it causes some issues
# [patch.crates-io]
Expand Down
59 changes: 35 additions & 24 deletions .cargo/config.template.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,64 +4,75 @@ git-fetch-with-cli = true
[patch."https://github.com/openvm-org/stark-backend.git"]
openvm-stark-backend = { git = "ssh://git@github.com/openvm-org/stark-backend.git", rev = "$STARK_BACKEND_REV" }
openvm-stark-sdk = { git = "ssh://git@github.com/openvm-org/stark-backend.git", rev = "$STARK_BACKEND_REV" }
openvm-codec-derive = { git = "ssh://git@github.com/openvm-org/stark-backend.git", rev = "$STARK_BACKEND_REV" }
openvm-cpu-backend = { git = "ssh://git@github.com/openvm-org/stark-backend.git", rev = "$STARK_BACKEND_REV" }
openvm-cuda-builder = { git = "ssh://git@github.com/openvm-org/stark-backend.git", rev = "$STARK_BACKEND_REV" }
openvm-cuda-common = { git = "ssh://git@github.com/openvm-org/stark-backend.git", rev = "$STARK_BACKEND_REV" }
openvm-cuda-backend = { git = "ssh://git@github.com/openvm-org/stark-backend.git", rev = "$STARK_BACKEND_REV" }

[patch."https://github.com/openvm-org/openvm.git"]
openvm-benchmarks-prove = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-sdk = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
cargo-openvm = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-mod-circuit-builder = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-poseidon2-air = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-circuit-primitives = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-circuit-primitives-derive = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
# OpenVM core
openvm = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
# TODO: add back
# openvm-benchmarks-prove = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-build = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-circuit = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-circuit-derive = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-circuit-primitives = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-circuit-primitives-derive = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-continuations = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-custom-insn = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-instructions = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-instructions-derive = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-macros-common = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-mod-circuit-builder = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-platform = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-poseidon2-air = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-recursion-circuit = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-recursion-circuit-derive = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-sdk = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-sdk-config = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-transpiler = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-circuit = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-circuit-derive = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-verify-stark-host = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }

# Extensions
openvm-algebra-circuit = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-algebra-transpiler = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-algebra-complex-macros = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-algebra-guest = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-algebra-moduli-macros = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-algebra-complex-macros = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-algebra-transpiler = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-bigint-circuit = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-bigint-transpiler = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-bigint-guest = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-bigint-transpiler = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-deferral-circuit = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-deferral-guest = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-deferral-transpiler = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-ecc-circuit = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-ecc-transpiler = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-ecc-guest = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-ecc-sw-macros = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-ecc-transpiler = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-keccak256-circuit = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-keccak256-transpiler = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-keccak256-guest = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-native-circuit = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-native-compiler = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-native-compiler-derive = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-native-recursion = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-keccak256-transpiler = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-pairing-circuit = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-pairing-transpiler = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-pairing-guest = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-pairing-transpiler = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-rv32-adapters = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-rv32im-circuit = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-rv32im-transpiler = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-rv32im-guest = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-rv32im-transpiler = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-sha2-air = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-sha2-circuit = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-sha2-guest = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-sha2-transpiler = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }

# Guest Libs
# Guest libs
k256 = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
p256 = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-keccak256 = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-sha2 = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-pairing = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }
openvm-sha2 = { git = "ssh://git@github.com/openvm-org/openvm.git", rev = "$OPENVM_REV" }

# OpenVM
# Extensions
# [patch.crates-io]
# revm = { path = "../revm/crates/revm" }
# revm-primitives = { path = "../revm/crates/primitives" }
Expand Down
Loading
Loading