rename: OpenVM (#1017)

* chore: rename AxVm -> Vm

* chore: axvm -> openvm, axVM -> OpenVM

* chore: mv axvm to openvm

* chore: mv axvm-sdk to sdk

* chore: rename ax-

* chore: ax-stark to openvm-stark

* chore: more rename

* chore: more rename

* chore: ax-poseidon2 -> openvm-poseidon2

* chore: cargo-axiom -> cargo-openvm

* fmt

* chore: OpenVM

* fix: workflow

* fix: workflow

* fix: paths

* chore: more rename

* chore: more rename

* fix: open-vm -> openvm

* chore: mv primitives-derive

* chore: update Cargo.lock

* chore: remaining renamings

* chore: remove patched revm for benchmark

* chore: remove unnecessary workflows

* chore: remove ssh

* chore: readme

* chore: remove circular dependency tests

* chore: the rest

* chore: fix

* fix: missing +

* fix: no ssh

* fix: feature

.github/workflows/algebra-extension.yml

@@ -14,7 +14,7 @@ concurrency:
 
 env:
   CARGO_TERM_COLOR: always
-  AXIOM_FAST_TEST: "1"
+  OPENVM_FAST_TEST: "1"
 
 jobs:
   tests:
@@ -33,4 +33,4 @@ jobs:
       - name: Run algebra extension crate tests
         working-directory: extensions/algebra/circuit
         run: |
-          cargo nextest run --cargo-profile=fast
+          cargo nextest run --cargo-profile=fast

.github/workflows/benchmark-call.yml

@@ -128,11 +128,6 @@ jobs:
       - uses: actions/checkout@v4
         with:
           ref: ${{ github.head_ref || github.ref }}
-      - name: Give GitHub Actions access to axiom-crypto/revm
-        uses: webfactory/[email protected]
-        with:
-          ssh-private-key: |
-            ${{ secrets.GH_ACTIONS_DEPLOY_PRIVATE_KEY }}
 
       - uses: dtolnay/rust-toolchain@nightly
       - uses: Swatinem/rust-cache@v2

.github/workflows/benchmarks.yml

@@ -1,4 +1,4 @@
-name: "axVM Benchmarks: Coordinate Runner & Reporting"
+name: "OpenVM Benchmarks: Coordinate Runner & Reporting"
 
 on:
   push:
@@ -23,7 +23,7 @@ concurrency:
 
 env:
   CARGO_TERM_COLOR: always
-  AXIOM_FAST_TEST: "1"
+  OPENVM_FAST_TEST: "1"
   CURRENT_SHA: ${{ github.event.pull_request.head.sha || github.sha }}
   CARGO_NET_GIT_FETCH_WITH_CLI: "true"
 

.github/workflows/bigint-extension.yml

@@ -14,7 +14,7 @@ concurrency:
 
 env:
   CARGO_TERM_COLOR: always
-  AXIOM_FAST_TEST: "1"
+  OPENVM_FAST_TEST: "1"
 
 jobs:
   tests:

.github/workflows/cargo-axiom.yml → .github/workflows/cli.yml

@@ -1,4 +1,4 @@
-name: axVM CLI Tests
+name: OpenVM CLI Tests
 
 on:
   push:
@@ -9,16 +9,16 @@ on:
       - "crates/stark-backend/**"
       - "crates/circuits/primitives/**"
       - "crates/vm/**"
-      - "crates/axvm-sdk/**"
-      - "crates/cargo-axiom/**"
+      - "crates/sdk/**"
+      - "crates/cli/**"
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.sha }}
   cancel-in-progress: true
 
 env:
   CARGO_TERM_COLOR: always
-  AXIOM_FAST_TEST: "1"
+  OPENVM_FAST_TEST: "1"
 
 # TODO: E2E build, transpile, run, keygen, prove, contract, verify on large machine
 jobs:
@@ -55,14 +55,13 @@ jobs:
           esac
 
       - name: Setup halo2
-        working-directory: crates/axvm-sdk
         run: |
-          bash ../../extensions/native/recursion/trusted_setup_s3.sh
+          bash ./extensions/native/recursion/trusted_setup_s3.sh
 
       # TODO: CLI build, transpile, run, (keygen), prove, contract, verify
       - name: Run app-level CLI commands
-        working-directory: crates/cargo-axiom
+        working-directory: crates/cli
         run: |
           export RUST_BACKTRACE=1
           cargo build
-          cargo run --bin cargo-axiom -- axiom keygen --config ./example/app_config.toml --output app.pk --vk-output app.vk
+          cargo run --bin cargo-openvm -- openvm keygen --config ./example/app_config.toml --output app.pk --vk-output app.vk

.github/workflows/ecc.yml

@@ -9,7 +9,7 @@ on:
       - "crates/stark-backend/**"
       - "crates/circuits/primitives/**"
       - "crates/vm/**"
-      - "crates/cargo-axiom/**"
+      - "crates/cli/**"
       - "extensions/ecc/**"
       - "extensions/native/compiler/**"
       - "extensions/pairing/**"
@@ -20,7 +20,7 @@ concurrency:
 
 env:
   CARGO_TERM_COLOR: always
-  AXIOM_FAST_TEST: "1"
+  OPENVM_FAST_TEST: "1"
 
 jobs:
   tests:
@@ -51,13 +51,13 @@ jobs:
         run: |
           RUST_MIN_STACK=8388608 cargo nextest run --cargo-profile=fast
 
-      - name: Install cargo-axiom
-        working-directory: crates/cargo-axiom
+      - name: Install cargo-openvm
+        working-directory: crates/cli
         run: |
           rustup component add rust-src --toolchain nightly-2024-10-30-aarch64-unknown-linux-gnu
           cargo install --force --locked --path .
 
-      - name: Build axvm-ecc-guest crate for axvm
+      - name: Build openvm-ecc-guest crate for openvm
         working-directory: extensions/ecc/guest
         run: |
-          cargo axiom build
+          cargo openvm build

.github/workflows/keccak256-extension.yml

@@ -14,7 +14,7 @@ concurrency:
 
 env:
   CARGO_TERM_COLOR: always
-  AXIOM_FAST_TEST: "1"
+  OPENVM_FAST_TEST: "1"
 
 jobs:
   tests:

.github/workflows/native-extension.yml

@@ -14,7 +14,7 @@ concurrency:
 
 env:
   CARGO_TERM_COLOR: always
-  AXIOM_FAST_TEST: "1"
+  OPENVM_FAST_TEST: "1"
 
 jobs:
   tests:

.github/workflows/primitives.yml

@@ -16,7 +16,7 @@ concurrency:
 
 env:
   CARGO_TERM_COLOR: always
-  AXIOM_FAST_TEST: "1"
+  OPENVM_FAST_TEST: "1"
 
 jobs:
   build:

.github/workflows/recursion.yml

@@ -18,7 +18,7 @@ concurrency:
 
 env:
   CARGO_TERM_COLOR: always
-  AXIOM_FAST_TEST: "1"
+  OPENVM_FAST_TEST: "1"
 
 jobs:
   tests: