starknet_transaction_prover,ci,scripts: rename crate from starknet_os_runner (#12980)

Author: avi-starkware

.gitattributes

@@ -7,7 +7,7 @@ crates/blockifier_test_utils/resources/feature_contracts/cairo1/sierra/*.json -d
 # list of all uncovered hints, which *should* be reviewed.
 crates/starknet_os/resources/hint_coverage/*.json -diff
 
-# Starknet OS runner proving resources - large binary/JSON files.
-crates/starknet_os_runner/resources/*.json -diff
-crates/starknet_os_runner/resources/*.bin -diff
-crates/starknet_os_runner/resources/*.zip -diff
+# Starknet tx prover proving resources - large binary/JSON files.
+crates/starknet_transaction_prover/resources/*.json -diff
+crates/starknet_transaction_prover/resources/*.bin -diff
+crates/starknet_transaction_prover/resources/*.zip -diff

…thub/workflows/starknet_os_runner_ci.yml …flows/starknet_transaction_prover_ci.yml.github/workflows/starknet_os_runner_ci.yml renamed to .github/workflows/starknet_transaction_prover_ci.yml .github/workflows/starknet_os_runner_ci.yml renamed to .github/workflows/starknet_transaction_prover_ci.yml

@@ -1,4 +1,4 @@
-name: Starknet-OS-Runner-CI
+name: Starknet-Transaction-Prover-CI
 
 on:
   pull_request:
@@ -8,17 +8,17 @@ on:
       - synchronize
     paths:
       - ".github/actions/bootstrap/action.yml"
-      - ".github/workflows/starknet_os_runner_ci.yml"
+      - ".github/workflows/starknet_transaction_prover_ci.yml"
       - "Cargo.lock"
       - "Cargo.toml"
       - "crates/blockifier/**"
       - "crates/blockifier_reexecution/**"
       - "crates/proving_utils/**"
       - "crates/starknet_committer/**"
       - "crates/starknet_os/**"
-      - "crates/starknet_os_runner/**"
       - "crates/starknet_patricia/**"
-      - "scripts/build_starknet_os_runner.sh"
+      - "crates/starknet_transaction_prover/**"
+      - "scripts/build_starknet_transaction_prover.sh"
       - "scripts/dependencies.sh"
       - "scripts/requirements.txt"
 
@@ -37,7 +37,7 @@ permissions:
   contents: read
 
 jobs:
-  starknet_os_runner_ci:
+  starknet_transaction_prover_ci:
     runs-on: namespace-profile-xlarge-ubuntu-24-04-amd64
     timeout-minutes: 30
     steps:
@@ -65,36 +65,36 @@ jobs:
           path: /home/runner/.rustup
 
       # Bootstrap installs the repo-wide stable toolchain (from root rust-toolchain.toml).
-      # starknet_os_runner has its own rust-toolchain.toml specifying nightly, required by stwo
-      # (unstable Rust features ).
+      # starknet_transaction_prover has its own rust-toolchain.toml specifying nightly, required by stwo
+      # (unstable Rust features).
       - name: Ensure nightly toolchain is installed
-        working-directory: crates/starknet_os_runner
+        working-directory: crates/starknet_transaction_prover
         run: rustup show
 
       - name: Run clippy with all features
-        working-directory: crates/starknet_os_runner
-        run: cargo clippy -p starknet_os_runner --no-deps --all-targets --all-features
+        working-directory: crates/starknet_transaction_prover
+        run: cargo clippy -p starknet_transaction_prover --no-deps --all-targets --all-features
 
       # Running tests in release mode since stwo significantly slower in debug mode.
       - name: Run tests in release mode
-        working-directory: crates/starknet_os_runner
-        run: cargo test -p starknet_os_runner --features stwo_proving --release
+        working-directory: crates/starknet_transaction_prover
+        run: cargo test -p starknet_transaction_prover --features stwo_proving --release
 
       # Download RPC record fixtures from GCS for ignored integration tests.
       - id: auth
         uses: "google-github-actions/auth@v2"
         with:
           credentials_json: ${{ secrets.SA_STARKNET_OS_RUNNER_ARTIFACTS }}
       - uses: "google-github-actions/setup-gcloud@v2"
-      - run: mkdir -p ./crates/starknet_os_runner/resources/rpc_records
-      - run: gcloud storage cp -r gs://starknet-os-runner-artifacts/rpc_records/* ./crates/starknet_os_runner/resources/rpc_records/
+      - run: mkdir -p ./crates/starknet_transaction_prover/resources/rpc_records
+      - run: gcloud storage cp -r gs://starknet-os-runner-artifacts/rpc_records/* ./crates/starknet_transaction_prover/resources/rpc_records/
 
       # Run tests sequentially (no parallelism) since proving is a heavy CPU and memory intensive task
       - name: Run proving integration tests
-        working-directory: crates/starknet_os_runner
-        run: cargo test --release -p starknet_os_runner --features stwo_proving virtual_snos_prover_test -- --ignored --test-threads=1
+        working-directory: crates/starknet_transaction_prover
+        run: cargo test --release -p starknet_transaction_prover --features stwo_proving virtual_snos_prover_test -- --ignored --test-threads=1
 
-  # Test that the starknet_os_runner Docker image builds successfully.
+  # Test that the starknet_transaction_prover Docker image builds successfully.
   docker-build:
     runs-on: namespace-profile-medium-ubuntu-24-04-amd64
     timeout-minutes: 30
@@ -104,11 +104,11 @@ jobs:
       - name: Set up Docker Buildx
         uses: docker/setup-buildx-action@v3
 
-      - name: Build starknet_os_runner Docker image
+      - name: Build starknet_transaction_prover Docker image
         uses: docker/build-push-action@v6.13.0
         with:
           context: .
-          file: crates/starknet_os_runner/Dockerfile
+          file: crates/starknet_transaction_prover/Dockerfile
           # Uses debug mode for faster compilation.
           build-args: BUILD_MODE=debug
           push: false

Cargo.lock

@@ -109,9 +109,9 @@ members = [
   "crates/starknet_committer_cli",
   "crates/starknet_os",
   "crates/starknet_os_flow_tests",
-  "crates/starknet_os_runner",
   "crates/starknet_patricia",
   "crates/starknet_patricia_storage",
+  "crates/starknet_transaction_prover",
   "toml_test_utils",
   "workspace_tests",
 ]
@@ -373,9 +373,9 @@ starknet_committer_and_os_cli.path = "crates/starknet_committer_and_os_cli"
 starknet_committer_cli.path = "crates/starknet_committer_cli"
 starknet_os.path = "crates/starknet_os"
 starknet_os_flow_tests.path = "crates/starknet_os_flow_tests"
-starknet_os_runner.path = "crates/starknet_os_runner"
 starknet_patricia.path = "crates/starknet_patricia"
 starknet_patricia_storage.path = "crates/starknet_patricia_storage"
+starknet_transaction_prover.path = "crates/starknet_transaction_prover"
 static_assertions = "1.1.0"
 strum = "0.27.2"
 stwo = "2.1.0"

Cargo.toml

@@ -113,7 +113,7 @@ const AllowedScopes = ['apollo_base_layer_tests',
     'starknet_committer_and_os_cli',
     'starknet_os',
     'starknet_os_flow_tests',
-    'starknet_os_runner',
+    'starknet_transaction_prover',
     'starknet_patricia',
     'starknet_patricia_storage',
     'time',

commitlint.config.js

@@ -24,9 +24,9 @@ starknet-types-core.workspace = true
 starknet_api.workspace = true
 starknet_committer = { workspace = true, features = ["testing"] }
 starknet_os = { workspace = true, features = ["include_program_output", "testing"] }
-starknet_os_runner.workspace = true
 starknet_patricia = { workspace = true, features = ["testing"] }
 starknet_patricia_storage = { workspace = true, features = ["testing"] }
+starknet_transaction_prover.workspace = true
 strum.workspace = true
 tokio.workspace = true
 

crates/starknet_os_flow_tests/Cargo.toml

@@ -35,11 +35,11 @@ use starknet_api::{calldata, deploy_account_tx_args, invoke_tx_args};
 use starknet_committer::block_committer::input::StateDiff;
 use starknet_committer::db::facts_db::FactsDb;
 use starknet_committer::db::forest_trait::StorageInitializer;
-use starknet_os_runner::running::committer_utils::{
+use starknet_patricia_storage::map_storage::MapStorage;
+use starknet_transaction_prover::running::committer_utils::{
     commit_state_diff,
     state_maps_to_committer_state_diff,
 };
-use starknet_patricia_storage::map_storage::MapStorage;
 use starknet_types_core::felt::Felt;
 
 use crate::test_manager::{

crates/starknet_os_flow_tests/src/initial_state.rs

@@ -71,7 +71,7 @@ use starknet_os::io::os_output_types::{
 use starknet_os::io::test_utils::validate_kzg_segment;
 use starknet_os::runner::{run_os_stateless, DEFAULT_OS_LAYOUT};
 use starknet_os::test_utils::coverage::expect_hint_coverage;
-use starknet_os_runner::running::committer_utils::{
+use starknet_transaction_prover::running::committer_utils::{
     commit_state_diff,
     state_maps_to_committer_state_diff,
 };

crates/starknet_os_flow_tests/src/test_manager.rs

@@ -1,10 +1,10 @@
 [package]
-name = "starknet_os_runner"
+name = "starknet_transaction_prover"
 version.workspace = true
 edition.workspace = true
 repository.workspace = true
 license-file.workspace = true
-description = "Runs transactions through the Starknet OS and returns Cairo PIE and OS output."
+description = "Standalone service that proves individual Starknet transactions using the virtual Starknet OS and Stwo prover."
 
 [features]
 cairo_native = ["blockifier/cairo_native"]

crates/starknet_os_runner/Cargo.toml …s/starknet_transaction_prover/Cargo.tomlcrates/starknet_os_runner/Cargo.toml renamed to crates/starknet_transaction_prover/Cargo.toml crates/starknet_os_runner/Cargo.toml renamed to crates/starknet_transaction_prover/Cargo.toml

@@ -1,14 +1,14 @@
-# crates/starknet_os_runner/Dockerfile
+# crates/starknet_transaction_prover/Dockerfile
 #
-# Self-contained Dockerfile for building the starknet_os_runner service.
-# This Dockerfile is designed for external parties to build and run the OS runner
+# Self-contained Dockerfile for building the starknet_transaction_prover service.
+# This Dockerfile is designed for external parties to build and run the tx prover
 # without requiring the full internal build infrastructure.
 #
 # Build:
-#   docker build -f crates/starknet_os_runner/Dockerfile -t os_runner:latest .
+#   docker build -f crates/starknet_transaction_prover/Dockerfile -t tx_prover:latest .
 #
 # Run:
-#   docker run --rm -p 3000:3000 os_runner:latest
+#   docker run --rm -p 3000:3000 tx_prover:latest
 #
 # Key differences from the internal Dockerfile (deployments/images/sequencer/Dockerfile):
 #   - No dockerfile-x INCLUDE directive
@@ -52,7 +52,7 @@ ENV CARGO_HOME=${RUSTUP_HOME}
 ENV PATH="${RUSTUP_HOME}/bin:${PATH}"
 
 # Use the crate-level rust-toolchain.toml (nightly).
-COPY crates/starknet_os_runner/rust-toolchain.toml rust-toolchain.toml
+COPY crates/starknet_transaction_prover/rust-toolchain.toml rust-toolchain.toml
 
 # --default-toolchain none: skip installing the default stable toolchain, since we only need
 # the nightly defined in rust-toolchain.toml.
@@ -67,7 +67,7 @@ RUN python3 -m venv ${VIRTUAL_ENV}
 ENV PATH="${VIRTUAL_ENV}/bin:${PATH}"
 
 # Install cairo-lang package for cairo-compile tool.
-# This is the minimum required for building starknet_os_runner.
+# This is the minimum required for building starknet_transaction_prover.
 ARG CAIRO_LANG_VERSION=0.14.1a0
 RUN pip install --no-cache-dir cairo-lang==${CAIRO_LANG_VERSION}
 
@@ -77,7 +77,7 @@ RUN pip install --no-cache-dir cairo-lang==${CAIRO_LANG_VERSION}
 FROM base AS planner
 WORKDIR /app
 COPY . .
-COPY crates/starknet_os_runner/rust-toolchain.toml rust-toolchain.toml
+COPY crates/starknet_transaction_prover/rust-toolchain.toml rust-toolchain.toml
 RUN cargo chef prepare --recipe-path recipe.json
 
 # =============================================================================
@@ -98,17 +98,17 @@ RUN if [ "$BUILD_MODE" != "release" ] && [ "$BUILD_MODE" != "debug" ]; then \
     fi
 
 # Cache dependencies with cargo-chef.
-# Use -p starknet_os_runner to avoid building LLVM-dependent crates (e.g., cairo_native).
+# Use -p starknet_transaction_prover to avoid building LLVM-dependent crates (e.g., cairo_native).
 COPY --from=planner /app/recipe.json recipe.json
-COPY crates/starknet_os_runner/rust-toolchain.toml rust-toolchain.toml
+COPY crates/starknet_transaction_prover/rust-toolchain.toml rust-toolchain.toml
 RUN BUILD_FLAGS=$([ "$BUILD_MODE" = "release" ] && echo "--release" || true); \
-    cargo chef cook $BUILD_FLAGS -p starknet_os_runner --features stwo_proving --recipe-path recipe.json
+    cargo chef cook $BUILD_FLAGS -p starknet_transaction_prover --features stwo_proving --recipe-path recipe.json
 
-# Copy source and build starknet_os_runner (without cairo_native feature).
+# Copy source and build starknet_transaction_prover (without cairo_native feature).
 COPY . .
-COPY crates/starknet_os_runner/rust-toolchain.toml rust-toolchain.toml
+COPY crates/starknet_transaction_prover/rust-toolchain.toml rust-toolchain.toml
 RUN BUILD_FLAGS=$([ "$BUILD_MODE" = "release" ] && echo "--release" || true); \
-    cargo build $BUILD_FLAGS -p starknet_os_runner --features stwo_proving
+    cargo build $BUILD_FLAGS -p starknet_transaction_prover --features stwo_proving
 
 # =============================================================================
 # Stage 4: Final runtime image
@@ -127,10 +127,10 @@ ENV ID=1001
 WORKDIR /app
 
 # Copy the binary.
-COPY --from=builder /app/target/${BUILD_MODE}/starknet_os_runner ./target/${BUILD_MODE}/starknet_os_runner
+COPY --from=builder /app/target/${BUILD_MODE}/starknet_transaction_prover ./target/${BUILD_MODE}/starknet_transaction_prover
 
 # Copy resources needed by the service (includes bootloader).
-COPY --from=builder /app/crates/starknet_os_runner/resources ./crates/starknet_os_runner/resources
+COPY --from=builder /app/crates/starknet_transaction_prover/resources ./crates/starknet_transaction_prover/resources
 
 # Copy starknet-sierra-compile binary required for Sierra to Casm compilation.
 COPY --from=builder /app/target/${BUILD_MODE}/shared_executables/starknet-sierra-compile ./target/${BUILD_MODE}/shared_executables/starknet-sierra-compile
@@ -152,4 +152,4 @@ EXPOSE 3000
 USER ${ID}
 
 # Use tini as the init process.
-ENTRYPOINT ["sh", "-c", "exec tini -- /app/target/$BUILD_MODE/starknet_os_runner \"$@\"", "--"]
+ENTRYPOINT ["sh", "-c", "exec tini -- /app/target/$BUILD_MODE/starknet_transaction_prover \"$@\"", "--"]