chore: update sp1 to v5.0.0

Author: prajwolrg

Cargo.lock

@@ -13,7 +13,7 @@ rust.unused_must_use = "deny"
 rustdoc.all = "warn"
 
 [dependencies]
-sp1-verifier = "4.2.0"
+sp1-verifier = "5.0.0"
 zkaleido.workspace = true
 
 hex.workspace = true

adapters/sp1/groth16-verifier/Cargo.toml

@@ -35,7 +35,7 @@ mod tests {
 
     #[test]
     fn test_groth16_verification() {
-        let vk_hex = "00bf077c28baa685b0a9ec0b8d47eb51bc98f5c048f5aa386ea156fe24995a35";
+        let vk_hex = "0000e3572a33647cba427acbaecac23a01e237a8140d2c91b3873457beb5be13";
         let vk: [u8; 32] = hex::decode(vk_hex).unwrap().try_into().unwrap();
         let proof_file = format!("./proofs/fibonacci_sp1_0x{}.proof.bin", vk_hex);
 

adapters/sp1/groth16-verifier/proofs/fibonacci_sp1_0x0000e3572a33647cba427acbaecac23a01e237a8140d2c91b3873457beb5be13.proof.bin

@@ -13,7 +13,7 @@ rust.unused_must_use = "deny"
 rustdoc.all = "warn"
 
 [dependencies]
-sp1-zkvm = "4.2.0"
+sp1-zkvm = "5.0.0"
 zkaleido.workspace = true
 
 bincode.workspace = true

adapters/sp1/groth16-verifier/proofs/fibonacci_sp1_0x00bf077c28baa685b0a9ec0b8d47eb51bc98f5c048f5aa386ea156fe24995a35.proof.bin

@@ -13,9 +13,9 @@ rust.unused_must_use = "deny"
 rustdoc.all = "warn"
 
 [dependencies]
-sp1-sdk = "4.2.0"
-sp1-prover = { version = "4.2.0", optional = true }
-sp1-stark = { version = "4.2.0", optional = true }
+sp1-sdk = "5.0.0"
+sp1-prover = { version = "5.0.0", optional = true }
+sp1-stark = { version = "5.0.0", optional = true }
 zkaleido.workspace = true
 
 async-trait = { workspace = true, optional = true }

adapters/sp1/groth16-verifier/src/lib.rs

@@ -75,7 +75,7 @@ fn gen_proof_metrics(
     let context = SP1Context::default();
     let opts = SP1ProverOpts::auto();
 
-    let (pv, _) = prover.execute(elf, &input, context.clone()).unwrap();
+    let (pv, _, _) = prover.execute(elf, &input, context.clone()).unwrap();
 
     // Core Proof
     let (_, pk_d, program, vk) = prover.setup(elf);

adapters/sp1/guest/Cargo.toml

@@ -4,8 +4,8 @@ version = "0.1.0"
 edition = "2021"
 
 [dependencies]
-sp1-sdk = "4.2.0"
+sp1-sdk = "5.0.0"
 
 [build-dependencies]
-sp1-build = "4.2.0"
+sp1-build = "5.0.0"
 tera = "1.17.0"

adapters/sp1/host/Cargo.toml

@@ -27,7 +27,7 @@ num-format = "0.4.4"
 reqwest = { version = "0.12.4", features = ["json"] }
 serde = { version = "1.0", features = ["derive"] }
 serde_json = "1.0.94"
-sp1-sdk = "4.1.3"
+sp1-sdk = "5.0.0"
 time = "0.3.26"
 tokio = { version = "1.39.0", features = ["full"] }