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

risc0: generate succinct proofs (#38)

Browse Source 
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
This commit is contained in:
Ignacio Hagopian
2025-06-21 16:14:44 +02:00
committed by GitHub
parent 10f1655bf2
commit 9af117fd17
1 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1,7 +1,7 @@
use std::time::Instant;
use compile::compile_risczero_program;
use risc0_zkvm::{ExecutorEnv, Receipt, default_executor, default_prover};
use risc0_zkvm::{ExecutorEnv, ProverOpts, Receipt, default_executor, default_prover};
use zkvm_interface::{
Compiler, Input, InputItem, ProgramExecutionReport, ProgramProvingReport, ProverResourceType,
zkVM, zkVMError,
@@ -41,7 +41,9 @@ impl EreRisc0 {
panic!("GPU selected but neither 'cuda' nor 'metal' feature is enabled");
}
ProverResourceType::Network(_) => {
panic!("Network proving not yet implemented for RISC Zero. Use CPU or GPU resource type.");
panic!(
"Network proving not yet implemented for RISC Zero. Use CPU or GPU resource type."
);
}
}
@@ -102,7 +104,7 @@ impl zkVM for EreRisc0 {
let now = std::time::Instant::now();
let prove_info = prover
.prove(env, &self.program.elf)
.prove_with_opts(env, &self.program.elf, &ProverOpts::succinct())
.map_err(|err| zkVMError::Other(err.into()))?;
let proving_time = now.elapsed();