update refs

book/static/crates_zkvm_lib_src_lib.rs.mdx

@@ -6,12 +6,17 @@
 
 pub mod bls12381;
 pub mod bn254;
+
+#[cfg(feature = "ecdsa")]
+pub mod ecdsa;
+
 pub mod ed25519;
 pub mod io;
 pub mod secp256k1;
 pub mod secp256r1;
 pub mod unconstrained;
 pub mod utils;
+
 #[cfg(feature = "verify")]
 pub mod verify;
 
@@ -146,5 +151,14 @@ extern "C" {
     /// Executes a BN254 Fp2 multiplication on the given inputs.
     pub fn syscall_bn254_fp2_mulmod(p: *mut u32, q: *const u32);
 
+    /// Reads a buffer from the input stream.
+    pub fn read_vec_raw() -> ReadVecResult;
+}
+
+#[repr(C)]
+pub struct ReadVecResult {
+    pub ptr: *mut u8,
+    pub len: usize,
+    pub capacity: usize,
 }
 ```

book/static/examples_fibonacci_script_src_main.rs.mdx

@@ -25,7 +25,7 @@ fn main() {
 
     // Generate the proof for the given program and input.
     let (pk, vk) = client.setup(ELF);
-    let mut proof = client.prove(&pk, &stdin).run().unwrap();
+    let mut proof = client.prove(&pk, &stdin).compressed().run().unwrap();
 
     println!("generated proof");