Skip to content

Chore/openvm v2.1#255

Draft
lispc wants to merge 4 commits into
chore/openvm-1.6.0from
chore/openvm-v2
Draft

Chore/openvm v2.1#255
lispc wants to merge 4 commits into
chore/openvm-1.6.0from
chore/openvm-v2

Conversation

@lispc

@lispc lispc commented Jun 21, 2026

Copy link
Copy Markdown
Collaborator

No description provided.

lispc added 2 commits June 21, 2026 19:17
@lispc
chore: switch openvm to develop-v2.1.0-rv64
5aea7a8 
- update Cargo.toml branch and package mappings (rv32im -> riscv)
- adapt to rv64 SDK API renames: execute_metered_cost, compile/execute split, riscv64 config
- remove trace-height segmentation limit (RV64 uses memory-based segmentation)
- simplify read_witnesses to openvm::io::read_vec
- remove obsolete BenchmarkCli::profiling usage
- cargo check passes
@lispc
chore: complete openvm rv64 switch and fix EVM verifier
9b3daba 
- Switch to develop-v2.1.0-rv64 with local patches
- Fix user public value limb handling for rv64 in OpenVmHalo2Verifier
  (reverse little-endian u16 limbs into EVM big-endian Fr words)
- Fix verify_wrapped_proof return type handling
- Regenerate guest assets and EVM verifier
- Pass GPU bundle e2e test
@github-actions github-actions Bot added crate-chunk-circuit Updates to the guest program chunk-circuit crate-batch-circuit Updates to the guest program batch-circuit crate-bundle-circuit Updates to the guest grogram bundle-circuit crate-prover Updates to the prover crate crate-verifier Updates to the verifier crate crate-integration Updates to the integration crate crate-build-guest Updates to building of guest programs crate-circuits Any update made to the circuits, i.e. commitments reflect a change labels Jun 21, 2026
@lispc lispc changed the title Chore/openvm v2 Chore/openvm v2.1 Jul 8, 2026
@lispc lispc changed the base branch from master to chore/openvm-1.6.0 July 8, 2026 02:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

crate-batch-circuit Updates to the guest program batch-circuit crate-build-guest Updates to building of guest programs crate-bundle-circuit Updates to the guest grogram bundle-circuit crate-chunk-circuit Updates to the guest program chunk-circuit crate-circuits Any update made to the circuits, i.e. commitments reflect a change crate-integration Updates to the integration crate crate-prover Updates to the prover crate crate-verifier Updates to the verifier crate

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@lispc