feat: v1.2.0 official release (#1473)

Co-authored-by: Matt Stam <[email protected]>
Co-authored-by: Zhang Zhuo <[email protected]>
Co-authored-by: Ubuntu <[email protected]>
Co-authored-by: 4rgon4ut <[email protected]>
Co-authored-by: Yuwen Zhang <[email protected]>
Co-authored-by: puma314 <[email protected]>

Author: 7 people

.github/workflows/main.yml

@@ -167,3 +167,48 @@ jobs:
           cargo remove sp1-sdk
           cargo add sp1-sdk --path $GITHUB_WORKSPACE/crates/sdk
           SP1_DEV=1 RUST_LOG=info cargo run --release
+
+  rsp-low-memory:
+    name: Example (RSP Low Memory)
+    strategy: 
+      matrix:
+        mem_limit: [16, 32, 64]
+    runs-on:
+      [
+        runs-on,
+        "ram=${{ matrix.mem_limit}}",
+        family=c7a,
+        image=ubuntu22-full-x64,
+        spot=false,
+        "run-id=${{ github.run_id }}",
+      ]
+    env:
+      CARGO_NET_GIT_FETCH_WITH_CLI: "true"
+    steps:
+      - name: Checkout sources
+        uses: actions/checkout@v4
+
+      - name: Setup CI
+        uses: ./.github/actions/setup
+
+      - name: Install SP1 toolchain
+        run: |
+          curl -L https://sp1.succinct.xyz | bash
+          ~/.sp1/bin/sp1up 
+          ~/.sp1/bin/cargo-prove prove --version
+
+      - name: Install SP1 CLI
+        run: |
+          cd crates/cli
+          cargo install --force --locked --path .
+          cd ~
+
+      - name: Run script
+        run: |
+          cd examples/rsp/program
+          cargo add sp1-zkvm --path $GITHUB_WORKSPACE/crates/zkvm/entrypoint
+          cargo prove build
+          cd ../script
+          cargo remove sp1-sdk
+          cargo add sp1-sdk --path $GITHUB_WORKSPACE/crates/sdk
+          SP1_DEV=1 RUST_LOG=info cargo run --release

.github/workflows/pr.yml

@@ -190,6 +190,12 @@ jobs:
           RUSTFLAGS="-Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 -C target-cpu=native" \
           cargo check --manifest-path examples/Cargo.toml --all-targets --all-features
 
+      - name: Run cargo check on RSP
+        run: |
+          cd examples/rsp/script
+          RUSTFLAGS="-Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0 -C target-cpu=native" \
+          cargo check --all-targets --all-features
+
   cli:
     name: CLI
     runs-on: [runs-on, runner=8cpu-linux-x64, "run-id=${{ github.run_id }}"]
@@ -247,7 +253,7 @@ jobs:
           ~/.sp1/bin/sp1up 
           ~/.sp1/bin/cargo-prove prove --version
 
-      - name: Build program and run script
+      - name: Run Evaluation
         run: |
           cd crates/eval
           RUSTFLAGS='-C target-cpu=native' cargo run --release -- \
@@ -260,7 +266,6 @@ jobs:
             --repo-owner "${{ github.repository_owner }}" \
             --repo-name "${{ github.event.repository.name }}" \
             --pr-number "${{ github.event.pull_request.number }}" \
-            --pr-name "${{ github.event.pull_request.title }}" \
             --branch-name "${{ github.head_ref || github.ref_name }}" \
             --commit-hash "${{ github.sha }}" \
             --author "${{ github.event.pull_request.user.login || github.actor }}"

Cargo.lock

@@ -1,5 +1,5 @@
 [workspace.package]
-version = "1.2.0-rc2"
+version = "1.2.0"
 edition = "2021"
 license = "MIT OR Apache-2.0"
 repository = "https://github.com/succinctlabs/sp1"
@@ -48,28 +48,28 @@ debug-assertions = true
 
 [workspace.dependencies]
 # sp1
-sp1-build = { path = "crates/build", version = "1.2.0-rc2" }
-sp1-cli = { path = "crates/cli", version = "1.2.0-rc2", default-features = false }
-sp1-core-machine = { path = "crates/core/machine", version = "1.2.0-rc2" }
-sp1-core-executor = { path = "crates/core/executor", version = "1.2.0-rc2" }
-sp1-curves = { path = "crates/curves", version = "1.2.0-rc2" }
-sp1-derive = { path = "crates/derive", version = "1.2.0-rc2" }
-sp1-eval = { path = "crates/eval", version = "1.2.0-rc2" }
-sp1-helper = { path = "crates/helper", version = "1.2.0-rc2", default-features = false }
-sp1-primitives = { path = "crates/primitives", version = "1.2.0-rc2" }
-sp1-prover = { path = "crates/prover", version = "1.2.0-rc2" }
-sp1-recursion-compiler = { path = "crates/recursion/compiler", version = "1.2.0-rc2" }
-sp1-recursion-core = { path = "crates/recursion/core", version = "1.2.0-rc2", default-features = false }
-sp1-recursion-core-v2 = { path = "crates/recursion/core-v2", version = "1.2.0-rc2", default-features = false }
-sp1-recursion-derive = { path = "crates/recursion/derive", version = "1.2.0-rc2", default-features = false }
-sp1-recursion-gnark-ffi = { path = "crates/recursion/gnark-ffi", version = "1.2.0-rc2", default-features = false }
-sp1-recursion-program = { path = "crates/recursion/program", version = "1.2.0-rc2", default-features = false }
-sp1-recursion-circuit = { path = "crates/recursion/circuit", version = "1.2.0-rc2", default-features = false }
-sp1-sdk = { path = "crates/sdk", version = "1.2.0-rc2" }
-sp1-cuda = { path = "crates/cuda", version = "1.2.0-rc2" }
-sp1-stark = { path = "crates/stark", version = "1.2.0-rc2" }
-sp1-lib = { path = "crates/zkvm/lib", version = "1.2.0-rc2", default-features = false }
-sp1-zkvm = { path = "crates/zkvm/entrypoint", version = "1.2.0-rc2", default-features = false }
+sp1-build = { path = "crates/build", version = "1.2.0" }
+sp1-cli = { path = "crates/cli", version = "1.2.0", default-features = false }
+sp1-core-machine = { path = "crates/core/machine", version = "1.2.0" }
+sp1-core-executor = { path = "crates/core/executor", version = "1.2.0" }
+sp1-curves = { path = "crates/curves", version = "1.2.0" }
+sp1-derive = { path = "crates/derive", version = "1.2.0" }
+sp1-eval = { path = "crates/eval", version = "1.2.0" }
+sp1-helper = { path = "crates/helper", version = "1.2.0", default-features = false }
+sp1-primitives = { path = "crates/primitives", version = "1.2.0" }
+sp1-prover = { path = "crates/prover", version = "1.2.0" }
+sp1-recursion-compiler = { path = "crates/recursion/compiler", version = "1.2.0" }
+sp1-recursion-core = { path = "crates/recursion/core", version = "1.2.0", default-features = false }
+sp1-recursion-core-v2 = { path = "crates/recursion/core-v2", version = "1.2.0", default-features = false }
+sp1-recursion-derive = { path = "crates/recursion/derive", version = "1.2.0", default-features = false }
+sp1-recursion-gnark-ffi = { path = "crates/recursion/gnark-ffi", version = "1.2.0", default-features = false }
+sp1-recursion-program = { path = "crates/recursion/program", version = "1.2.0", default-features = false }
+sp1-recursion-circuit = { path = "crates/recursion/circuit", version = "1.2.0", default-features = false }
+sp1-sdk = { path = "crates/sdk", version = "1.2.0" }
+sp1-cuda = { path = "crates/cuda", version = "1.2.0" }
+sp1-stark = { path = "crates/stark", version = "1.2.0" }
+sp1-lib = { path = "crates/zkvm/lib", version = "1.2.0", default-features = false }
+sp1-zkvm = { path = "crates/zkvm/entrypoint", version = "1.2.0", default-features = false }
 
 # p3
 p3-air = "0.1.3-succinct"

Cargo.toml

@@ -35,8 +35,7 @@ pub fn execute_build_program(
     // Get the program metadata.
     let program_metadata_file = program_dir.join("Cargo.toml");
     let mut program_metadata_cmd = cargo_metadata::MetadataCommand::new();
-    let program_metadata =
-        program_metadata_cmd.manifest_path(program_metadata_file).exec().unwrap();
+    let program_metadata = program_metadata_cmd.manifest_path(program_metadata_file).exec()?;
 
     // Get the command corresponding to Docker or local build.
     let cmd = if args.docker {

crates/build/src/build.rs

@@ -7,6 +7,11 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [1.2.1](https://github.com/succinctlabs/sp1/compare/sp1-cli-v1.2.0...sp1-cli-v1.2.1) - 2024-09-04
+
+### Other
+- update Cargo.lock dependencies
+
 ## [1.2.0-rc2](https://github.com/succinctlabs/sp1/compare/sp1-cli-v1.2.0-rc1...sp1-cli-v1.2.0-rc2) - 2024-08-29
 
 ### Other