feat(batcher): Update SP1 and Risc0 version in batcher, examples, and docs (#1329)

Co-authored-by: Marcos Nicolau <marcosnicolau@lambdaclass.com>
Co-authored-by: Julian Arce <52429267+JuArce@users.noreply.github.com>
Co-authored-by: Urix <43704209+uri-99@users.noreply.github.com>

Author: 4 people

batcher/Cargo.lock

@@ -25,8 +25,8 @@ ethers = { tag = "v2.0.15-fix-reconnections", features = [
 ], git = "https://github.com/yetanotherco/ethers-rs.git" }
 lambdaworks-crypto = { git = "https://github.com/lambdaclass/lambdaworks.git", rev = "efd46f0b0aea3aa95d94bba7de86cb96611b40d3", features = ["serde"] }
 serde_yaml = "0.9.34"
-sp1-sdk = { git = "https://github.com/succinctlabs/sp1.git", rev = "v1.0.1" }
-risc0-zkvm = { git = "https://github.com/risc0/risc0", tag = "v1.0.1" }
+sp1-sdk = { git = "https://github.com/succinctlabs/sp1.git", rev = "v3.0.0" }
+risc0-zkvm = { git = "https://github.com/risc0/risc0", tag = "v1.1.2" }
 bincode = "1.3.3"
 aligned-sdk = { path = "../aligned-sdk" }
 ciborium = "=0.2.2"

batcher/aligned-batcher/Cargo.toml

@@ -6,8 +6,8 @@ The following is the list of the verifiers currently supported by Aligned:
 
 - :white_check_mark: gnark - Groth16 (with BN254) [(v0.10.0)](https://github.com/Consensys/gnark/releases/tag/v0.10.0)
 - :white_check_mark: gnark - Plonk (with BN254 and BLS12-381) [(v0.10.0)](https://github.com/Consensys/gnark/releases/tag/v0.10.0)
-- :white_check_mark: SP1 [(v1.0.1)](https://github.com/succinctlabs/sp1/releases/tag/v1.0.1)
-- :white_check_mark: Risc0 [(v1.0.1)](https://github.com/risc0/risc0/releases/tag/v1.0.1)
+- :white_check_mark: SP1 [(v3.0.0)](https://github.com/succinctlabs/sp1/releases/tag/v3.0.0)
+- :white_check_mark: Risc0 [(v1.1.2)](https://github.com/risc0/risc0/releases/tag/v1.1.2)
 - 🏗️ Circom
 - 🏗️ Lambdaworks
 - 🏗️ Kimchi

docs/2_architecture/0_supported_verifiers.md

@@ -10,8 +10,8 @@ The following is the list of the verifiers currently supported by Aligned:
 
 - :white_check_mark: gnark - Groth16 (with BN254)
 - :white_check_mark: gnark - Plonk (with BN254 and BLS12-381)
-- :white_check_mark: SP1 [(v1.0.1)](https://github.com/succinctlabs/sp1/releases/tag/v1.0.1)
-- :white_check_mark: Risc0 [(v1.0.1)](https://github.com/risc0/risc0/releases/tag/v1.0.1)
+- :white_check_mark: SP1 [(v3.0.0)](https://github.com/succinctlabs/sp1/releases/tag/v3.0.0)
+- :white_check_mark: Risc0 [(v1.1.2)](https://github.com/risc0/risc0/releases/tag/v1.1.2)
 
 Learn more about future verifiers [here](../2_architecture/0_supported_verifiers.md).
 
@@ -115,7 +115,7 @@ Proof submission is done via the `submit` command of the Aligned CLI. The argume
 
 ### SP1 proof
 
-The current SP1 version used in Aligned is v1.0.1.
+The current SP1 version used in Aligned is `v3.0.0`.
 
 The SP1 proof needs the proof file and the vm program file.
 
@@ -149,7 +149,7 @@ aligned submit \
 
 ### Risc0 proof
 
-The current Risc0 version used in Aligned is v1.0.1.
+The current Risc0 version used in Aligned is `v1.1.2`.
 
 The Risc0 proof needs the proof file and the vm program file (vm program file is the image id).
 
@@ -168,12 +168,12 @@ aligned submit \
 --rpc_url https://ethereum-holesky-rpc.publicnode.com
 ```
 
-**NOTE**: As said above, Aligned currently supports Risc0 proofs from `risc0-zkvm` version `v1.0.1`. For generating proofs using `cargo risc-zero` please ensure you are using `v1.0.1` or your proof will not be verified. 
+**NOTE**: As said above, Aligned currently supports Risc0 proofs from `risc0-zkvm` version `v1.1.2`. For generating proofs using `cargo risc-zero` please ensure you are using `v1.1.2` or your proof will not be verified. 
 
-If you can't install `cargo-risczero` `v1.0.1`, you can manually modify your `cargo.toml` on the host project to point to `v1.0.1`:
+If you can't install `cargo-risczero` `v1.1.2`, you can manually modify your `cargo.toml` on the host project to point to `v1.1.2`:
 
 ```toml
-risc0-zkvm = { git = "https://github.com/risc0/risc0", tag = "v1.0.1", default-features = false, features = [
+risc0-zkvm = { git = "https://github.com/risc0/risc0", tag = "v1.1.2", default-features = false, features = [
     "prove",
 ] }
 ```

docs/3_guides/0_submitting_proofs.md

@@ -303,6 +303,6 @@ To generate a proof of the execution of your code run the following:
   ```sh
   cargo run --release -- prove-risc0  <PROGRAM_DIRECTORY_PATH> .
   ```
-  Make sure to have [Risc0](https://dev.risczero.com/api/zkvm/quickstart#1-install-the-risc-zero-toolchain) installed with version `v1.0.1`
+  Make sure to have [Risc0](https://dev.risczero.com/api/zkvm/quickstart#1-install-the-risc-zero-toolchain) installed with version `v1.1.2`. Running Risc0 on macOS enable [metal](https://developer.apple.com/metal/) acceleration by default and may need to be installed it needed.
 
 For additional information on using zkRust and using it to submit proofs to Aligned see the [zkRust](https://github.com/yetanotherco/zkRust) Github Repository.

docs/3_guides/4_generating_proofs.md

@@ -493,7 +493,7 @@ make install_aligned_compiling
 
 The SP1 and Risc0 proofs need the proof file and the vm program file.
 The current SP1 version used in Aligned is
-`v1.0.1` and the current Risc0 version used in Aligned is v1.0.1.
+`v3.0.0` and the current Risc0 version used in Aligned is `v1.1.2`.
 The GnarkPlonkBn254, GnarkPlonkBls12_381 and Groth16Bn254 proofs need the proof file, the public input file and the
 verification key file.