feat: vk binary in fibonacci proof generator

Author: MarcosNicolau

scripts/test_files/sp1/fibonacci_proof_generator/script/Cargo.lock

@@ -6,6 +6,7 @@ edition = "2021"
 
 [dependencies]
 sp1-sdk = { git = "https://github.com/succinctlabs/sp1.git", rev = "v5.0.0" }
+bincode = "1.3.3"
 
 [build-dependencies]
 sp1-helper = { git = "https://github.com/succinctlabs/sp1.git", rev = "v5.0.0"  }

scripts/test_files/sp1/fibonacci_proof_generator/script/Cargo.toml

@@ -39,11 +39,23 @@ fn main() {
     let proof_file_path = format!("../../sp1_fibonacci_{}.proof", SP1_VERSION);
     proof.save(proof_file_path).expect("saving proof failed");
 
-    std::fs::write(format!("../../sp1_fibonacci_{}.pub", SP1_VERSION), proof.public_values)
-        .expect("failed to save public inputs");
+    std::fs::write(
+        format!("../../sp1_fibonacci_{}.pub", SP1_VERSION),
+        proof.public_values,
+    )
+    .expect("failed to save public inputs");
 
-    std::fs::write(format!("../../sp1_fibonacci_{}.vk", SP1_VERSION), vk.hash_bytes())
-        .expect("failed to save vk hash");
+    std::fs::write(
+        format!("../../sp1_fibonacci_{}.vk", SP1_VERSION),
+        vk.hash_bytes(),
+    )
+    .expect("failed to save vk hash");
+
+     std::fs::write(
+        format!("../../sp1_fibonacci_{}_vk.bin", SP1_VERSION),
+        bincode::serialize(&vk).unwrap()
+    )
+    .expect("failed to save vk hash");
 
     let elf_file_path = format!("../../sp1_fibonacci_{}.elf", SP1_VERSION);
     let mut file = std::fs::File::create(elf_file_path).unwrap();

scripts/test_files/sp1/fibonacci_proof_generator/script/src/main.rs

@@ -1 +1 @@
-\
:ܬ�:D�8=[a��-�]�u,�(
+g�~�V�EU�'�S�&J��Y�iA�[ +j�