test fixes

src/air/public_input.cairo

@@ -205,6 +205,7 @@ fn verify_cairo1_public_input(public_input: @PublicInput) -> (felt252, felt252)
 
 #[cfg(test)]
 mod tests {
+    use core::debug::PrintTrait;
     use super::get_public_input_hash;
     use cairo_verifier::tests::stone_proof_fibonacci_keccak::public_input::get;
     // test data from cairo0-verifier run on stone-prover generated proof
@@ -213,9 +214,9 @@ mod tests {
     fn test_get_public_input_hash() {
         let public_input = get();
         let hash = get_public_input_hash(@public_input, 20);
-
         assert(
-            hash == 0xaf91f2c71f4a594b1575d258ce82464475c82d8fb244142d0db450491c1b52, 'Hash invalid'
+            hash == 0x113b1d4f79ee0dac11d2677f9f6dc8ffacb6ea129f3ae1e45e1158ad500791f,
+            'Hash invalid'
         )
     }
 }

src/common/hasher.cairo

@@ -29,8 +29,8 @@ fn hash_n_bytes(mut data: Array<u64>, n: u8, hash_len: bool) -> u256 {
     }
 }
 fn hash_truncated(mut data: Array<u64>) -> felt252 {
-    (keccak::cairo_keccak(ref data, 0, 0)
-        .flip_endianness() & 0x00FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF)
+    (keccak::cairo_keccak(ref data, 0, 0).flip_endianness()
+        & 0x00FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF)
         .try_into()
         .unwrap()
 }

src/common/tests/test_blake2s_u8.cairo

@@ -1,6 +1,4 @@
-use cairo_verifier::common::{
-    array_append::ArrayAppendTrait, blake2s_u8::{blake2s, load32}
-};
+use cairo_verifier::common::{array_append::ArrayAppendTrait, blake2s_u8::{blake2s, load32}};
 
 fn get_arr_v1(n: u32) -> Array<u8> {
     let mut arr = ArrayTrait::new();
@@ -88,4 +86,4 @@ fn test_blake2s_v2() {
         ) == 0x5229f5d506302edae36f9cac3f5d176cd9b6aa8420da6d74d7956789099faf70,
         'invalid hash (2)'
     );
-}
+}

src/stark.cairo

@@ -89,7 +89,9 @@ impl StarkProofImpl of StarkProofTrait {
         self.public_input.validate(@stark_domains);
 
         // Compute the initial hash seed for the Fiat-Shamir channel.
-        let digest = get_public_input_hash(self.public_input, *self.config.n_verifier_friendly_commitment_layers);
+        let digest = get_public_input_hash(
+            self.public_input, *self.config.n_verifier_friendly_commitment_layers
+        );
         // Construct the channel.
         let mut channel = ChannelImpl::new(digest);
 

src/stark/tests.cairo

@@ -1,6 +1,5 @@
 // === RECURSIVE BEGIN ===
 mod test_stark_commit;
-mod test_stark_proof_verify;
 mod test_stark_verify;
 // === RECURSIVE END ===