fix

succinctlabs · Jan 9, 2025 · 8717a31 · 8717a31
1 parent ae84112
commit 8717a31
Show file tree

Hide file tree

Showing 4 changed files with 10 additions and 10 deletions.
diff --git a/script/bin/genesis.rs b/script/bin/genesis.rs
@@ -5,7 +5,7 @@ use anyhow::Result;
 use clap::Parser;
 use serde::{Deserialize, Serialize};
 use sp1_helios_script::{get_checkpoint, get_client, get_latest_checkpoint};
-use sp1_sdk::{utils, HashableKey, ProverClient};
+use sp1_sdk::{utils, HashableKey, Prover, ProverClient};
 use ssz_rs::prelude::*;
 use std::{
     env, fs,
@@ -59,7 +59,7 @@ pub async fn main() -> Result<()> {
         );
     }
 
-    let client = ProverClient::new();
+    let client = ProverClient::builder().cpu().build();
     let (_pk, vk) = client.setup(HELIOS_ELF);
 
     let checkpoint;

diff --git a/script/bin/operator.rs b/script/bin/operator.rs
@@ -19,7 +19,7 @@ use helios_ethereum::rpc::ConsensusRpc;
 use log::{error, info};
 use sp1_helios_primitives::types::ProofInputs;
 use sp1_helios_script::*;
-use sp1_sdk::{ProverClient, SP1ProofWithPublicValues, SP1ProvingKey, SP1Stdin};
+use sp1_sdk::{EnvProver, ProverClient, SP1ProofWithPublicValues, SP1ProvingKey, SP1Stdin};
 use ssz_rs::prelude::*;
 use std::env;
 use std::sync::Arc;
@@ -41,7 +41,7 @@ type EthereumFillProvider = FillProvider<
 >;
 
 struct SP1HeliosOperator {
-    client: ProverClient,
+    client: EnvProver,
     pk: SP1ProvingKey,
     wallet_filler: Arc<EthereumFillProvider>,
     contract_address: Address,
@@ -89,7 +89,7 @@ impl SP1HeliosOperator {
     pub async fn new() -> Self {
         dotenv::dotenv().ok();
 
-        let client = ProverClient::new();
+        let client = ProverClient::from_env();
         let (pk, _) = client.setup(ELF);
         let chain_id: u64 = env::var("DEST_CHAIN_ID")
             .expect("DEST_CHAIN_ID not set")
@@ -201,7 +201,7 @@ impl SP1HeliosOperator {
         stdin.write_slice(&encoded_proof_inputs);
 
         // Generate proof.
-        let proof = self.client.prove(&self.pk, stdin).groth16().run()?;
+        let proof = self.client.prove(&self.pk, &stdin).groth16().run()?;
 
         info!("Attempting to update to new head block: {:?}", latest_block);
         Ok(Some(proof))

diff --git a/script/bin/test.rs b/script/bin/test.rs
@@ -45,8 +45,8 @@ async fn main() -> Result<()> {
     let mut stdin = SP1Stdin::new();
     stdin.write_slice(&serde_cbor::to_vec(&inputs)?);
 
-    let prover_client = ProverClient::new();
-    let (_, report) = prover_client.execute(ELF, stdin).run()?;
+    let prover_client = ProverClient::builder().cpu().build();
+    let (_, report) = prover_client.execute(ELF, &stdin).run()?;
     println!("Execution Report: {:?}", report);
 
     Ok(())

diff --git a/script/bin/vkey.rs b/script/bin/vkey.rs
@@ -1,11 +1,11 @@
 use alloy_primitives::B256;
 use anyhow::Result;
-use sp1_sdk::{HashableKey, ProverClient};
+use sp1_sdk::{HashableKey, Prover, ProverClient};
 
 const HELIOS_ELF: &[u8] = include_bytes!("../../elf/sp1-helios-elf");
 
 fn main() -> Result<()> {
-    let client = ProverClient::new();
+    let client = ProverClient::builder().cpu().build();
     let (_pk, vk) = client.setup(HELIOS_ELF);
     println!(
         "SP1 Helios Verifying Key: {:?}",