Skip to content

Chore/openvm v2#255

Draft
lispc wants to merge 19 commits into
masterfrom
chore/openvm-v2
Draft

Chore/openvm v2#255
lispc wants to merge 19 commits into
masterfrom
chore/openvm-v2

Conversation

@lispc

@lispc lispc commented Jun 21, 2026

Copy link
Copy Markdown
Collaborator

No description provided.

lispc and others added 19 commits May 18, 2026 14:55
- cargo update -p openvm
- rebuild guest assets (chunk/batch/bundle commitments + verifier)
- test-single-chunk and test-e2e-bundle pass
- cargo update -p openvm (now at 64bfcb2a; stark-backend at 27bb74b9)
- adapt to renamed SystemConfig::segmentation_limits
- simplify execute_guest using Sdk::compile_metered_cost / execute_compiled_metered_cost
  and Sdk::execute, now safe because upstream fixed inventory lifetime in compiled instances
- cargo check passes
- 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
- 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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

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

Development

Successfully merging this pull request may close these issues.

2 participants