fix(zkquiz): use compressed mode for sp1 (#2155)

Author: JuArce

docs/3_guides/2_build_your_first_aligned_application.md

@@ -237,7 +237,7 @@ println!("Generating Proof ");
 let client = ProverClient::new();
 let (pk, vk) = client.setup(ELF);
 
-let Ok(proof) = client.prove(&pk, stdin).run() else {
+let Ok(proof) = client.prove(&pk, stdin).compressed().run() else {
     println!("Incorrect answers!");
     return;
 };

examples/zkquiz/quiz/script/src/main.rs

@@ -183,7 +183,7 @@ async fn main() {
     let client = ProverClient::from_env();
     let (pk, vk) = client.setup(ELF);
 
-    let Ok(proof) = client.prove(&pk, &stdin).run() else {
+    let Ok(proof) = client.prove(&pk, &stdin).compressed().run() else {
         println!("Incorrect answers!");
         return;
     };