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

sp1: use compressed proofs

Browse Source 
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
This commit is contained in:
Ignacio Hagopian
2025-06-20 09:00:46 -03:00
parent 33f0b62d34
commit 99ecdca3a5
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

@@ -57,9 +57,11 @@ impl ProverType {
input: &SP1Stdin,
) -> Result<SP1ProofWithPublicValues, SP1Error> {
match self {
ProverType::Cpu(cpu_prover) => cpu_prover.prove(pk, input).core().run(),
ProverType::Gpu(cuda_prover) => cuda_prover.prove(pk, input).core().run(),
ProverType::Network(network_prover) => network_prover.prove(pk, input).core().run(),
ProverType::Cpu(cpu_prover) => cpu_prover.prove(pk, input).compressed().run(),
ProverType::Gpu(cuda_prover) => cuda_prover.prove(pk, input).compressed().run(),
ProverType::Network(network_prover) => {
network_prover.prove(pk, input).compressed().run()
}
}
.map_err(|e| SP1Error::Prove(ProveError::Client(e.into())))
}