From 99ecdca3a57367ad97c2e89dc8e8838c5ca59944 Mon Sep 17 00:00:00 2001
From: Ignacio Hagopian <jsign.uy@gmail.com>
Date: Fri, 20 Jun 2025 09:00:46 -0300
Subject: [PATCH] sp1: use compressed proofs

Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
---
 crates/ere-sp1/src/lib.rs | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/crates/ere-sp1/src/lib.rs b/crates/ere-sp1/src/lib.rs
index 6678db9..ee1b265 100644
--- a/crates/ere-sp1/src/lib.rs
+++ b/crates/ere-sp1/src/lib.rs
@@ -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())))
     }