chore: bump up sp1 version (#670)

Author: NicolasRampoldi

batcher/Cargo.lock

@@ -22,7 +22,7 @@ anyhow = "1.0.83"
 ethers = { tag = "v2.0.15-fix-reconnections", features = ["ws", "rustls"], git = "https://github.com/yetanotherco/ethers-rs.git" }
 lambdaworks-crypto = { version = "0.7.0", features = ["serde"] }
 serde_yaml = "0.9.34"
-sp1-sdk = { git = "https://github.com/succinctlabs/sp1.git", rev = "v1.0.8-testnet" }
+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" }
 halo2curves = { version = "0.6.0", default-features = false }
 halo2_backend = { git = "https://github.com/yetanotherco/yet-another-halo2-fork.git", rev = "a3a56819d9183ac0b11c8d0543c7673c4a4c71a6"}

batcher/aligned-batcher/Cargo.toml

@@ -10,7 +10,7 @@ pub fn verify_sp1_proof(proof: &[u8], elf: &[u8]) -> bool {
     debug!("Verifying SP1 proof");
     let (_pk, vk) = SP1_PROVER_CLIENT.setup(elf);
     if let Ok(proof) = bincode::deserialize(proof) {
-        let res = SP1_PROVER_CLIENT.verify_compressed(&proof, &vk).is_ok();
+        let res = SP1_PROVER_CLIENT.verify(&proof, &vk).is_ok();
         debug!("SP1 proof is valid: {}", res);
         if res {
             return true;

batcher/aligned-batcher/src/sp1/mod.rs

@@ -6,7 +6,7 @@ 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.8-testnet)](https://github.com/succinctlabs/sp1/releases/tag/v1.0.8-testnet)
+- :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)
 
 The following proof systems are going to be added soon:

docs/architecture/0_supported_verifiers.md

@@ -10,7 +10,7 @@ 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.8-testnet)](https://github.com/succinctlabs/sp1/releases/tag/v1.0.8-testnet)
+- :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)
 
 The following proof systems are going to be added soon: