refactor: use hash bytes instead of hash_u32 for vk

Author: MarcosNicolau

aggregation_mode/aggregation_programs/sp1/src/lib.rs

@@ -11,7 +11,7 @@ impl SP1VkAndPubInputs {
     pub fn hash(&self) -> [u8; 32] {
         let mut hasher = Keccak256::new();
         for &word in &self.vk {
-            hasher.update(word.to_le_bytes());
+            hasher.update(word.to_be_bytes());
         }
         hasher.update(&self.public_inputs);
         hasher.finalize().into()

aggregation_mode/src/aggregators/sp1_aggregator.rs

@@ -22,9 +22,8 @@ pub struct SP1ProofWithPubValuesAndElf {
 impl SP1ProofWithPubValuesAndElf {
     pub fn hash_vk_and_pub_inputs(&self) -> [u8; 32] {
         let mut hasher = Keccak256::new();
-        for &word in &self.vk().hash_u32() {
-            hasher.update(word.to_le_bytes());
-        }
+        let vk_bytes = &self.vk().hash_bytes();
+        hasher.update(vk_bytes);
         hasher.update(self.proof_with_pub_values.public_values.as_slice());
         hasher.finalize().into()
     }