diff --git a/artifacts/sp1_guest_digests.json b/artifacts/sp1_guest_digests.json
index 9bbbdb7..bf94ad4 100644
--- a/artifacts/sp1_guest_digests.json
+++ b/artifacts/sp1_guest_digests.json
@@ -3,10 +3,10 @@
   "profile": "lean-tee-v2",
   "code_id_example": "lean-tee/compliance_operator/lean-sp1/v1",
   "code_hash": "bec5a1b6fd790b3332da9ebdd744dbe4d58612fa9de64321298ddea05a40784f",
-  "elf_sha256": "cfaef020528620feed5e970d4828137f443a53328539b3a64483a84ad3ef3554",
-  "elf_bytes": 2128064,
-  "vk_hash_bytes": "49223f521ef81309217bbfb46f9820ed68a26bf52a5911801b90df8a025bd915",
-  "vk_bytes32": "0x0092447ea47be04c250bddfda6f9820edd144d7eaa9644600dc86fc5025bd915",
+  "elf_sha256": "5292cd26ed98d7d73312a11a9bc79855f2c9bf77438ce102d50356501f6dadf3",
+  "elf_bytes": 2128048,
+  "vk_hash_bytes": "29e2c1be37b9f7c81d9dbce22a669adb3efcd4d958be5d8365b757f4675d66c3",
+  "vk_bytes32": "0x0053c5837cdee7df20ecede712a669adb7df9a9b362f9760f2dbabfa675d66c3",
   "sp1_version": "6.3.1",
   "note": "Wire Measurement remains codeHash+configHash (logical code_id). elf_sha256 / vk_* pin the SP1 executable for counterparties and host verify."
 }
diff --git a/host/prove_server/src/main.rs b/host/prove_server/src/main.rs
index f630e17..3829ae3 100644
--- a/host/prove_server/src/main.rs
+++ b/host/prove_server/src/main.rs
@@ -95,8 +95,8 @@ fn prove_sp1(
 ) -> Result<(Vec<u8>, Vec<u8>), Box<dyn std::error::Error>> {
     use sha2::{Digest, Sha256};
     use sp1_sdk::{
-        blocking::{Prover, ProverClient},
-        include_elf, Elf, SP1Stdin,
+        blocking::{ProveRequest, Prover, ProverClient},
+        include_elf, Elf, ProvingKey, SP1Stdin,
     };
 
     const ELF: Elf = include_elf!("lean_tee_guest_lean");