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

modify interface to add ProverResourceType

Browse Source
This commit is contained in:
Kevaundray Wedderburn
2025-05-19 14:16:37 +01:00
parent 491ac02431
commit 536ebe374b
1 changed files with 9 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
crates/zkvm-interface/src/lib.rs
View File

@@ -15,12 +15,20 @@ pub trait Compiler {
fn compile(path_to_program: &Path) -> Result<Self::Program, Self::Error>;
}
/// ResourceType specifies what resource will be used to create the proofs.
#[derive(Debug, Copy, Clone, Default)]
pub enum ProverResourceType {
#[default]
Cpu,
Gpu,
}
#[allow(non_camel_case_types)]
/// zkVM trait to abstract away the differences between each zkVM
pub trait zkVM<C: Compiler> {
type Error: std::error::Error + Send + Sync + 'static;
fn new(program_bytes: C::Program) -> Self;
fn new(program_bytes: C::Program, resource: ProverResourceType) -> Self;
/// Executes the given program with the inputs accumulated in the Input struct.
/// For RISCV programs, `program_bytes` will be the ELF binary