fix: fibonacci default-run bin

examples/fibonacci/script/Cargo.toml

@@ -2,6 +2,7 @@
 version = "0.1.0"
 name = "fibonacci-script"
 edition = "2021"
+default-run = "fibonacci-script"
 
 [dependencies]
 itertools = "0.12.1"
@@ -21,4 +22,8 @@ path = "bin/compressed.rs"
 
 [[bin]]
 name = "execute"
-path = "bin/execute.rs"
+path = "bin/execute.rs"
+
+[[bin]]
+name = "fibonacci-script"
+path = "src/main.rs"

examples/fibonacci/script/src/main.rs

@@ -16,7 +16,7 @@ fn main() {
     // Generate the proof for the given program and input.
     let client = ProverClient::new();
     let (pk, vk) = client.setup(ELF);
-    let mut proof = client.prove(&pk, stdin).unwrap();
+    let mut proof = client.prove_compressed(&pk, stdin).unwrap();
 
     println!("generated proof");
 
@@ -29,7 +29,9 @@ fn main() {
     println!("b: {}", b);
 
     // Verify proof and public values
-    client.verify(&proof, &vk).expect("verification failed");
+    client
+        .verify_compressed(&proof, &vk)
+        .expect("verification failed");
 
     // Save the proof.
     proof

examples/ssz-withdrawals/script/src/main.rs

@@ -10,10 +10,12 @@ fn main() {
     let stdin = SP1Stdin::new();
     let client = ProverClient::new();
     let (pk, vk) = client.setup(ELF);
-    let proof = client.prove(&pk, stdin).expect("proving failed");
+    let proof = client.prove_compressed(&pk, stdin).expect("proving failed");
 
     // Verify proof.
-    client.verify(&proof, &vk).expect("verification failed");
+    client
+        .verify_compressed(&proof, &vk)
+        .expect("verification failed");
 
     // Save proof.
     proof

examples/tendermint/script/src/main.rs

@@ -62,11 +62,11 @@ fn main() {
 
     let client = ProverClient::new();
     let (pk, vk) = client.setup(TENDERMINT_ELF);
-        let proof = client.prove(&pk, stdin).expect("proving failed");
+        let proof = client.prove_compressed(&pk, stdin).expect("proving failed");
 
     // Verify proof.
     client
-        .verify(&proof, &vk)
+        .verify_compressed(&proof, &vk)
         .expect("verification failed");
 
     // Verify the public values