feat: update write_program_image_id_vk_hash with new programs

Author: MarcosNicolau

aggregation_mode/bin/write_program_image_id_vk_hash.rs

@@ -1,36 +1,48 @@
 use alloy::hex::hex;
-use proof_aggregator::aggregators::{
-    risc0_aggregator::RISC0_AGGREGATOR_PROGRAM_ID_BYTES, sp1_aggregator,
-};
+use proof_aggregator::aggregators::{risc0_aggregator, sp1_aggregator};
 use serde_json::json;
 use sp1_sdk::HashableKey;
 use std::{env, fs, path::Path};
 use tracing::info;
 use tracing_subscriber::FmtSubscriber;
 
-const SP1_PROGRAM_ELF: &[u8] =
-    include_bytes!("../aggregation_programs/sp1/elf/sp1_aggregator_program");
+const SP1_CHUNK_AGGREGATOR_PROGRAM_ELF: &[u8] =
+    include_bytes!("../aggregation_programs/sp1/elf/sp1_chunk_aggregator_program");
 
-// include!(concat!(env!("OUT_DIR"), "/methods.rs"));
+const SP1_ROOT_AGGREGATOR_PROGRAM_ELF: &[u8] =
+    include_bytes!("../aggregation_programs/sp1/elf/sp1_root_aggregator_program");
 
 fn main() {
     let subscriber = FmtSubscriber::builder().finish();
     tracing::subscriber::set_global_default(subscriber).expect("setting default subscriber failed");
 
     info!("About to write sp1 programs vk hash bytes + risc0 programs image id bytes");
-    let sp1_vk_hash = sp1_aggregator::vk_from_elf(SP1_PROGRAM_ELF).bytes32_raw();
-    //let risc0_image_id_bytes = RISC0_AGGREGATOR_PROGRAM_ID_BYTES;
-    // Just to test sp1
-    let risc0_image_id_bytes = SP1_PROGRAM_ELF;
-
-    let sp1_vk_hash_hex = hex::encode(sp1_vk_hash);
-    let risc0_image_id_hex = hex::encode(risc0_image_id_bytes);
+    let sp1_chunk_aggregator_vk_hash =
+        sp1_aggregator::vk_from_elf(SP1_CHUNK_AGGREGATOR_PROGRAM_ELF).bytes32_raw();
+    let sp1_chunk_aggregator_vk_hash_words =
+        sp1_aggregator::vk_from_elf(SP1_CHUNK_AGGREGATOR_PROGRAM_ELF).hash_u32();
+    let sp1_root_aggreagot_vk_hash =
+        sp1_aggregator::vk_from_elf(SP1_ROOT_AGGREGATOR_PROGRAM_ELF).bytes32_raw();
+
+    let risc0_chunk_aggregator_image_id_bytes =
+        risc0_aggregator::RISC0_CHUNK_AGGREGATOR_PROGRAM_ID_BYTES;
+    let risc0_root_aggregator_image_id_bytes =
+        risc0_aggregator::RISC0_ROOT_AGGREGATOR_PROGRAM_ID_BYTES;
+
+    let sp1_chunk_aggregator_vk_hash_hex = hex::encode(sp1_chunk_aggregator_vk_hash);
+    let sp1_root_aggregator_vk_hash_hex = hex::encode(sp1_root_aggreagot_vk_hash);
+    let risc0_chunk_aggregator_image_id_hex = hex::encode(risc0_chunk_aggregator_image_id_bytes);
+    let risc0_root_aggregator_imaged_id_hex = hex::encode(risc0_root_aggregator_image_id_bytes);
 
     let dest_path = Path::new("programs_ids.json");
 
     let json_data = json!({
-        "sp1_vk_hash": format!("0x{}", sp1_vk_hash_hex),
-        "risc0_image_id": format!("0x{}", risc0_image_id_hex),
+        "sp1_chunk_aggregator_vk_hash": format!("0x{}", sp1_chunk_aggregator_vk_hash_hex),
+        "sp1_chunk_aggregator_vk_hash_words": format!("{:?}", sp1_chunk_aggregator_vk_hash_words),
+        "sp1_root_aggregator_vk_hash": format!("0x{}", sp1_root_aggregator_vk_hash_hex),
+        "risc0_chunk_aggregator_image_id": format!("0x{}", risc0_chunk_aggregator_image_id_hex),
+        "risc0_chunk_aggregator_image_id_bytes": format!("{:?}", risc0_chunk_aggregator_image_id_bytes),
+        "risc0_root_aggregator_image_id": format!("0x{}", risc0_root_aggregator_imaged_id_hex),
     });
 
     // Write to the file

aggregation_mode/programs_ids.json

@@ -1,4 +1,8 @@
 {
-  "risc0_image_id": "0xb0ce0665805c4219d134845b74be6f1f97ab74dbbc1b341b73af4068d33bc1b0",
-  "sp1_vk_hash": "0x0035279b39b0a20aac302dd3c569f3a6324a00acc1b8e864af9e3a5fbf453b69"
-}
+  "risc0_chunk_aggregator_image_id": "0x0184e25336a5ce1757febbca2ec2cd9ae0e7de82389b8d4e4189a044f2adceef",
+  "risc0_chunk_aggregator_image_id_bytes": "[1, 132, 226, 83, 54, 165, 206, 23, 87, 254, 187, 202, 46, 194, 205, 154, 224, 231, 222, 130, 56, 155, 141, 78, 65, 137, 160, 68, 242, 173, 206, 239]",
+  "risc0_root_aggregator_image_id": "0x4e2bb70eabcbf1a1f2cda2dd46d84f77014489f938e860d64114df01012cb379",
+  "sp1_chunk_aggregator_vk_hash": "0x006b4421a6fed44853b9c3ec3c82612827e04fba80d6b8606edae2a4523d9e1e",
+  "sp1_chunk_aggregator_vk_hash_words": "[899813587, 1068831252, 2000190855, 1210454658, 1057127892, 56287617, 1572193608, 1379769886]",
+  "sp1_root_aggregator_vk_hash": "0x00a2d19dfab6d777d6cc83ca708170098e1ba92ce2a50b23d980f7e3cff1b36e"
+}