github/ere
1
1
Fork 0
mirror of https://github.com/eth-act/ere.git synced 2026-02-19 11:54:42 -05:00
Code Issues Packages Projects Releases Wiki Activity

explicitly use cpu prover

Browse Source
This commit is contained in:
Kevaundray Wedderburn
2025-05-11 23:37:55 +01:00
parent 67d6c50d35
commit 08449cd7ba
1 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
crates/ere-sp1/src/lib.rs
View File

@@ -1,7 +1,7 @@
#![cfg_attr(not(test), warn(unused_crate_dependencies))]
use compile::compile_sp1_program;
use sp1_sdk::{ProverClient, SP1ProofWithPublicValues, SP1Stdin};
use sp1_sdk::{Prover, ProverClient, SP1ProofWithPublicValues, SP1Stdin};
use thiserror::Error;
use tracing::info;
use zkvm_interface::{Compiler, ProgramExecutionReport, ProgramProvingReport, zkVM};
@@ -68,7 +68,7 @@ impl zkVM<EreSP1> for EreSP1 {
inputs: &zkvm_interface::Input,
) -> Result<zkvm_interface::ProgramExecutionReport, Self::Error> {
// TODO: This is expensive, should move it out and make the struct stateful
let client = ProverClient::from_env();
let client = ProverClient::builder().cpu().build();
let mut stdin = SP1Stdin::new();
for input in inputs.chunked_iter() {
@@ -91,7 +91,9 @@ impl zkVM<EreSP1> for EreSP1 {
) -> Result<(Vec<u8>, zkvm_interface::ProgramProvingReport), Self::Error> {
info!("Generating proof…");
let client = ProverClient::from_env();
// TODO: This is expensive, should move it out and make the struct stateful
let client = ProverClient::builder().cpu().build();
// TODO: This can also be cached
let (pk, _vk) = client.setup(&program_bytes);
let mut stdin = SP1Stdin::new();