Feature: Implement KZG commitment functionality and hints

Cargo.toml

@@ -37,6 +37,7 @@ cairo-lang-casm = { version = "=2.7.1" }
 cairo-type-derive = { version = "0.1.0", path = "crates/cairo-type-derive" }
 cairo-vm = { git = "https://github.com/Moonsong-Labs/cairo-vm", rev = "40ebe36e64ffa429ff18cba8ef0bd7d2c122ac12", features = ["cairo-1-hints", "extensive_hints", "mod_builtin"] }
 clap = { version = "4.5.4", features = ["derive"] }
+c-kzg = { version = "1.0.3" }
 env_logger = "0.11.3"
 flate2 = "1.0.32"
 futures = "0.3.30"

crates/bin/prove_block/tests/prove_block.rs

@@ -10,6 +10,7 @@ use rstest::rstest;
 // # * 87019: diff assert values in contract subcall
 // # * 90000: one of the subcalls results in a call to `replace_class()`.
 // # * 87041: block with nonce bump inconsistency
+// # * 66645 / 66776: Blob DA blocks
 // # * 97581, 101556, 102076 deploy account txns
 #[rstest]
 #[case::small_block_with_only_invoke_txs(76793)]
@@ -24,6 +25,8 @@ use rstest::rstest;
 #[case::l1_handler(98000)]
 #[case::invoke_with_call_to_deploy_syscall(124534)]
 #[case::block_with_nonce_bump_inconsistency(87041)]
+#[case::block_with_blob_da_1(66645)]
+#[case::block_with_blob_da_2(66776)]
 #[case::declare_tx(76840)]
 #[case::deploy_account_v1(97581)]
 #[case::deploy_account_v3(101556)]

crates/starknet-os/Cargo.toml

@@ -19,6 +19,7 @@ cairo-lang-starknet-classes = { workspace = true }
 cairo-lang-casm = { workspace = true }
 cairo-type-derive = { path = "../cairo-type-derive" }
 cairo-vm = { workspace = true }
+c-kzg = { workspace = true }
 futures = { workspace = true }
 futures-util = { workspace = true }
 heck = { workspace = true }

crates/starknet-os/src/execution/helper.rs

@@ -15,6 +15,7 @@ use tokio::sync::RwLock;
 
 use super::secp_handler::SecpSyscallProcessor;
 use crate::config::STORED_BLOCK_HASH_BUFFER;
+use crate::starknet::core::os::kzg_manager::KzgManager;
 use crate::starknet::starknet_storage::{CommitmentInfo, CommitmentInfoError, PerContractStorage};
 use crate::storage::storage::StorageError;
 
@@ -27,6 +28,7 @@ where
     PCS: PerContractStorage,
 {
     pub _prev_block_context: Option<BlockContext>,
+    pub kzg_manager: KzgManager,
     // Pointer tx execution info
     pub tx_execution_info_iter: IntoIter<TransactionExecutionInfo>,
     // Tx info for transaction currently being executed
@@ -81,6 +83,7 @@ where
     fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
         f.debug_struct("ExecutionHelper")
             .field("_prev_block_context", &self._prev_block_context)
+            .field("kzg_manager", &self.kzg_manager)
             .field("tx_execution_info_iter", &self.tx_execution_info_iter)
             .field("tx_execution_info", &self.tx_execution_info)
             .field("tx_info_ptr", &self.tx_info_ptr)
@@ -120,6 +123,7 @@ where
         Self {
             execution_helper: Rc::new(RwLock::new(ExecutionHelper {
                 _prev_block_context: prev_block_context,
+                kzg_manager: Default::default(),
                 tx_execution_info_iter: tx_execution_infos.into_iter(),
                 tx_execution_info: None,
                 tx_info_ptr: None,

crates/starknet-os/src/hints/block_context.rs

@@ -342,12 +342,12 @@ pub fn is_leaf(
     insert_value_from_var_name(vars::ids::IS_LEAF, is_leaf, vm, ids_data, ap_tracking)
 }
 
-pub const WRITE_USE_ZKG_DA_TO_MEM: &str = indoc! {r#"
+pub const WRITE_USE_KZG_DA_TO_MEM: &str = indoc! {r#"
     memory[fp + 18] = to_felt_or_relocatable(syscall_handler.block_info.use_kzg_da and (
         not os_input.full_output
     ))"#
 };
-pub fn write_use_zkg_da_to_mem(
+pub fn write_use_kzg_da_to_mem(
     vm: &mut VirtualMachine,
     exec_scopes: &mut ExecutionScopes,
     _ids_data: &HashMap<String, HintReference>,