feat: write program vk_hash

Author: MarcosNicolau

examples/L2/Cargo.lock

@@ -3,4 +3,10 @@
 SHELL := /bin/bash
 
 run:
-	@cd crates/l2 && cargo run --release
+	@cd crates/l2 && cargo run --release --bin main
+
+print_program_id:
+	@cd crates/l2 && cargo run --release --bin write_program_id
+	@cat ./crates/l2/programs_ids.json
+
+

examples/L2/Makefile

@@ -9,6 +9,8 @@ serde_json = { workspace = true }
 types = { workspace = true }
 lambdaworks-crypto = { workspace = true }
 primitive-types = { workspace = true}
+tracing = { version = "0.1", features = ["log"] }
+tracing-subscriber = { version = "0.3.0", features = ["env-filter"] }
 rand = "0.8"
 sp1-sdk = "4.1.7"
 sp1_state_transition_program = { path = "./zkvm_programs/sp1/" }
@@ -18,6 +20,14 @@ futures-util = "0.3"
 tokio = "1.44"
 alloy = { version = "0.14", features = ["full", "providers"] }
 
+[[bin]]
+name = "main"
+path = "./src/main.rs"
+
+[[bin]]
+name = "write_program_id"
+path = "./zkvm_programs/bin/write_program_ids.rs"
+
 [build-dependencies]
 sp1-build = { version = "4.1.7" } 
 

examples/L2/contracts/script/StateTransitionDeployer.sol

@@ -0,0 +1,3 @@
+{
+  "sp1_vk_hash": "0x5961f68d41b2798f4dab05184d8f9cda39637d28097819906033c2f10b365ab1"
+}

examples/L2/crates/l2/Cargo.toml

@@ -7,3 +7,5 @@ members = ["sp1"]
 
 [workspace.dependencies]
 types = { path = "../../types"}
+tracing = { version = "0.1", features = ["log"] }
+tracing-subscriber = { version = "0.3.0", features = ["env-filter"] }

examples/L2/crates/l2/programs_ids.json

@@ -0,0 +1,29 @@
+use alloy::hex::hex;
+use serde_json::json;
+use sp1_sdk::{HashableKey, Prover};
+use std::{fs, path::Path};
+use tracing::info;
+use tracing_subscriber::FmtSubscriber;
+
+const SP1_PROGRAM_ELF: &[u8] = include_bytes!("../sp1/elf/sp1_state_transition_program");
+
+fn main() {
+    let subscriber = FmtSubscriber::builder().finish();
+    tracing::subscriber::set_global_default(subscriber).expect("setting default subscriber failed");
+
+    info!("About to write sp1 program vk hash bytes");
+    let client = sp1_sdk::ProverClient::builder().cpu().build();
+    let (_pk, vk) = client.setup(SP1_PROGRAM_ELF);
+    let sp1_vk_hash = vk.hash_bytes();
+    let sp1_vk_hash_hex = hex::encode(sp1_vk_hash);
+
+    let dest_path = Path::new("programs_ids.json");
+    let json_data = json!({
+        "sp1_vk_hash": format!("0x{}", sp1_vk_hash_hex),
+    });
+
+    // Write to the file
+    fs::write(dest_path, serde_json::to_string_pretty(&json_data).unwrap()).unwrap();
+
+    info!("Program ids written to {:?}", dest_path);
+}