Skip to content

chore(refactor): update to use new openvm-stark-backend (v2)#2412

Merged
jpw-axiom merged 19 commits intodevelop-v2.0.0-betafrom
develop-v2-rename
Feb 16, 2026
Merged

chore(refactor): update to use new openvm-stark-backend (v2)#2412
jpw-axiom merged 19 commits intodevelop-v2.0.0-betafrom
develop-v2-rename

Conversation

@jonathanpwang
Copy link
Contributor

@jonathanpwang jonathanpwang commented Feb 16, 2026

Fixes imports and usage for v2 openvm-stark-backend and openvm-cuda-backend.
So far all positives tests in crates/circuits/, crates/vm/, and extensions/ pass on CPU and GPU. Negative tests need further fixing (ref INT-5907).

ref INT-4746

jonathanpwang and others added 19 commits February 15, 2026 04:36
Update import paths to reflect the new module structure where config,
rap, and engine items are re-exported at crate root, rap::AnyRap is
renamed to AnyAir, and prover submodules (cpu, hal, types) are
flattened into prover::.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Delete the ChipUsageGetter derive macro, all impl blocks, and imports
across 18 files. Inline trace_width/current_trace_height calls at their
call sites within generate_proving_ctx methods.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
…y, MultiStarkVerifyingKey

The v2 stark backend migration removed SC generics from these types
(using concrete type aliases instead). Now that the backend types are
properly generic again, restore SC parameters throughout the codebase:

- CpuBackend → CpuBackend<SC>, CpuDevice → CpuDevice<SC>
- Proof → Proof<SC>, MultiStarkProvingKey<SC>, MultiStarkVerifyingKey<SC>
- Remove all `type SC = openvm_stark_backend::SC` concrete aliases
- Remove `SC = openvm_stark_backend::SC` bounds from StarkEngine where clauses
- Revert from_v1_no_cached workaround in system trace generation

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
@jpw-axiom jpw-axiom merged commit 3adf948 into develop-v2.0.0-beta Feb 16, 2026
25 of 66 checks passed
@jpw-axiom jpw-axiom deleted the develop-v2-rename branch February 16, 2026 06:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants