fix: update proof commitment u16 in programs

Author: MarcosNicolau

aggregation_mode/aggregation_programs/risc0/src/lib.rs

@@ -2,7 +2,7 @@ use lambdaworks_crypto::merkle_tree::traits::IsMerkleTreeBackend;
 use serde::{Deserialize, Serialize};
 use tiny_keccak::{Hasher, Keccak};
 
-const RISC0_PROVING_SYSTEM_ID: u8 = 1;
+const RISC0_PROVING_SYSTEM_ID: u16 = 2;
 
 #[derive(Serialize, Deserialize)]
 pub struct Risc0ImageIdAndPubInputs {
@@ -13,7 +13,7 @@ pub struct Risc0ImageIdAndPubInputs {
 impl Risc0ImageIdAndPubInputs {
     pub fn commitment(&self) -> [u8; 32] {
         let mut hasher = Keccak::v256();
-        hasher.update(&[RISC0_PROVING_SYSTEM_ID]);
+        hasher.update(&RISC0_PROVING_SYSTEM_ID.to_be_bytes());
         for &word in &self.image_id {
             hasher.update(&word.to_be_bytes());
         }

aggregation_mode/aggregation_programs/sp1/src/lib.rs

@@ -2,7 +2,7 @@ use lambdaworks_crypto::merkle_tree::traits::IsMerkleTreeBackend;
 use serde::{Deserialize, Serialize};
 use sha3::{Digest, Keccak256};
 
-const SP1_PROVING_SYSTEM_ID: u8 = 0;
+const SP1_PROVING_SYSTEM_ID: u16 = 1;
 
 #[derive(Serialize, Deserialize)]
 pub struct SP1VkAndPubInputs {
@@ -13,7 +13,7 @@ pub struct SP1VkAndPubInputs {
 impl SP1VkAndPubInputs {
     pub fn commitment(&self) -> [u8; 32] {
         let mut hasher = Keccak256::new();
-        hasher.update(&[SP1_PROVING_SYSTEM_ID]);
+        hasher.update(&SP1_PROVING_SYSTEM_ID.to_be_bytes());
         for &word in &self.vk {
             hasher.update(word.to_be_bytes());
         }