github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-01-10 10:28:06 -05:00
Code Issues Packages Projects Releases Wiki Activity

update openvm (#3163)

Browse Source 
If this works we can merge the openvm PR
This commit is contained in:
Leo
2025-08-12 12:10:01 +02:00
committed by GitHub
parent a178517a9d
commit fe3b3550d6
3 changed files with 41 additions and 41 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
.github/workflows/nightly-tests.yml vendored
View File

@@ -62,8 +62,8 @@ jobs:
~/.cargo/git
target
key: ${{ runner.os }}-cargo-release-${{ hashFiles('**/Cargo.toml') }}
- name: Install Rust toolchain 1.85
run: rustup toolchain install 1.85
- name: Install Rust toolchain 1.88
run: rustup toolchain install 1.88
- name: Install nightly
run: rustup toolchain install nightly-2025-05-14 --component rust-src
- name: Install nightly
@@ -101,8 +101,8 @@ jobs:
key: ${{ runner.os }}-cargo-pr-tests
- name: Install Rust toolchain nightly-2025-05-14 (with clippy and rustfmt)
run: rustup toolchain install nightly-2025-05-14 --component clippy,rustfmt,rust-src
- name: Install Rust toolchain 1.85
run: rustup toolchain install 1.85
- name: Install Rust toolchain 1.88
run: rustup toolchain install 1.88
- name: Install riscv target
run: rustup target add riscv32imac-unknown-none-elf --toolchain nightly-2025-05-14
- name: Install test dependencies
@@ -143,8 +143,8 @@ jobs:
run: cargo test --release --verbose -p powdr-openvm -- --include-ignored --nocapture --test-threads=1
- name: Install cargo openvm
# Rust 1.88 is needed by fresher versions of dependencies of cargo-openvm.
# For now we point to the powdr-labs/openvm commit that switches to Rust 1.88.
# Rust 1.88 is needed by fresher versions of dependencies of cargo-openvm.
# For now we point to the powdr-labs/openvm commit that switches to Rust 1.88.
run: |
rustup toolchain install 1.88
cargo +1.88 install --git 'http://github.com/powdr-labs/openvm.git' --rev fbd69da cargo-openvm

12
.github/workflows/pr-tests.yml vendored
View File

@@ -47,14 +47,14 @@ jobs:
##### The block below is shared between cache build and PR build workflows #####
- name: Install Rust toolchain nightly-2025-05-14 (with clippy and rustfmt)
run: rustup toolchain install nightly-2025-05-14 --component clippy,rustfmt
- name: Install Rust toolchain 1.85 (stable)
run: rustup toolchain install 1.85
- name: Install Rust toolchain 1.88 (stable)
run: rustup toolchain install 1.88
- name: Set cargo to perform shallow clones
run: echo "CARGO_NET_GIT_FETCH_WITH_CLI=true" >> $GITHUB_ENV
- name: Format
run: cargo fmt --all --check --verbose
- name: Cargo check with Rust 1.85 (default features)
run: cargo +1.85 check --all-targets
- name: Cargo check with Rust 1.88 (default features)
run: cargo +1.88 check --all-targets
- name: Lint no default features
run: cargo clippy --all --all-targets --no-default-features --profile pr-tests --verbose -- -D warnings
- name: Lint all features
@@ -161,8 +161,8 @@ jobs:
run: cargo build --release -p powdr-openvm
- name: Install cargo openvm
# Rust 1.88 is needed by fresher versions of dependencies of cargo-openvm.
# For now we point to the powdr-labs/openvm commit that switches to Rust 1.88.
# Rust 1.88 is needed by fresher versions of dependencies of cargo-openvm.
# For now we point to the powdr-labs/openvm commit that switches to Rust 1.88.
run: |
rustup toolchain install 1.88
cargo +1.88 install --git 'http://github.com/powdr-labs/openvm.git' --rev fbd69da cargo-openvm

58
Cargo.toml
View File

@@ -90,40 +90,40 @@ powdr-openvm-hints-transpiler = { path = "./openvm/extensions/hints-transpiler",
powdr-openvm-hints-circuit = { path = "./openvm/extensions/hints-circuit", version = "0.1.4" }
# openvm
openvm = { git = "https://github.com/powdr-labs/openvm.git", rev = "391b737" }
openvm-build = { git = "https://github.com/powdr-labs/openvm.git", rev = "391b737" }
openvm-rv32im-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "391b737" }
openvm-rv32im-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "391b737" }
openvm-rv32im-guest = { git = "https://github.com/powdr-labs/openvm.git", rev = "391b737", default-features = false }
openvm-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "391b737" }
openvm-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "391b737" }
openvm-circuit-derive = { git = "https://github.com/powdr-labs/openvm.git", rev = "391b737" }
openvm-circuit-primitives = { git = "https://github.com/powdr-labs/openvm.git", rev = "391b737" }
openvm-circuit-primitives-derive = { git = "https://github.com/powdr-labs/openvm.git", rev = "391b737" }
openvm-instructions = { git = "https://github.com/powdr-labs/openvm.git", rev = "391b737" }
openvm-instructions-derive = { git = "https://github.com/powdr-labs/openvm.git", rev = "391b737" }
openvm-sdk = { git = "https://github.com/powdr-labs/openvm.git", rev = "391b737", default-features = false, features = [
openvm = { git = "https://github.com/powdr-labs/openvm.git", rev = "dcf8ee6" }
openvm-build = { git = "https://github.com/powdr-labs/openvm.git", rev = "dcf8ee6" }
openvm-rv32im-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "dcf8ee6" }
openvm-rv32im-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "dcf8ee6" }
openvm-rv32im-guest = { git = "https://github.com/powdr-labs/openvm.git", rev = "dcf8ee6", default-features = false }
openvm-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "dcf8ee6" }
openvm-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "dcf8ee6" }
openvm-circuit-derive = { git = "https://github.com/powdr-labs/openvm.git", rev = "dcf8ee6" }
openvm-circuit-primitives = { git = "https://github.com/powdr-labs/openvm.git", rev = "dcf8ee6" }
openvm-circuit-primitives-derive = { git = "https://github.com/powdr-labs/openvm.git", rev = "dcf8ee6" }
openvm-instructions = { git = "https://github.com/powdr-labs/openvm.git", rev = "dcf8ee6" }
openvm-instructions-derive = { git = "https://github.com/powdr-labs/openvm.git", rev = "dcf8ee6" }
openvm-sdk = { git = "https://github.com/powdr-labs/openvm.git", rev = "dcf8ee6", default-features = false, features = [
"parallel",
"jemalloc",
"nightly-features",
"bench-metrics",
] }
openvm-ecc-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "391b737" }
openvm-ecc-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "391b737" }
openvm-keccak256-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "391b737" }
openvm-keccak256-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "391b737" }
openvm-sha256-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "391b737" }
openvm-sha256-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "391b737" }
openvm-algebra-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "391b737" }
openvm-algebra-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "391b737" }
openvm-bigint-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "391b737" }
openvm-bigint-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "391b737" }
openvm-pairing-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "391b737" }
openvm-pairing-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "391b737" }
openvm-native-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "391b737", default-features = false }
openvm-native-recursion = { git = "https://github.com/powdr-labs/openvm.git", rev = "391b737", default-features = false }
openvm-platform = { git = "https://github.com/powdr-labs/openvm.git", rev = "391b737" }
openvm-custom-insn = { git = "https://github.com/powdr-labs/openvm.git", rev = "391b737" }
openvm-ecc-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "dcf8ee6" }
openvm-ecc-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "dcf8ee6" }
openvm-keccak256-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "dcf8ee6" }
openvm-keccak256-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "dcf8ee6" }
openvm-sha256-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "dcf8ee6" }
openvm-sha256-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "dcf8ee6" }
openvm-algebra-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "dcf8ee6" }
openvm-algebra-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "dcf8ee6" }
openvm-bigint-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "dcf8ee6" }
openvm-bigint-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "dcf8ee6" }
openvm-pairing-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "dcf8ee6" }
openvm-pairing-transpiler = { git = "https://github.com/powdr-labs/openvm.git", rev = "dcf8ee6" }
openvm-native-circuit = { git = "https://github.com/powdr-labs/openvm.git", rev = "dcf8ee6", default-features = false }
openvm-native-recursion = { git = "https://github.com/powdr-labs/openvm.git", rev = "dcf8ee6", default-features = false }
openvm-platform = { git = "https://github.com/powdr-labs/openvm.git", rev = "dcf8ee6" }
openvm-custom-insn = { git = "https://github.com/powdr-labs/openvm.git", rev = "dcf8ee6" }
# stark-backend
openvm-stark-sdk = { git = "https://github.com/powdr-labs/stark-backend.git", rev = "ee4e22b", default-features = false, features = [