starknet_committer: compute and store accessed keys digest

Author: ArielElp

Cargo.lock

@@ -7,9 +7,13 @@ license.workspace = true
 description = "Computes and manages Starknet state."
 
 [features]
+os_input = ["dep:bincode", "dep:blake2", "dep:digest"]
 testing = ["starknet_patricia/testing"]
 
 [dependencies]
+bincode = { workspace = true, optional = true }
+blake2 = { workspace = true, optional = true }
+digest = { workspace = true, optional = true }
 apollo_config.workspace = true
 async-trait.workspace = true
 derive_more = { workspace = true, features = ["as_ref", "from", "into"] }

crates/starknet_committer/Cargo.toml

@@ -1,8 +1,17 @@
+#[cfg(feature = "os_input")]
+use blake2::Blake2s256;
+#[cfg(feature = "os_input")]
+use digest::Digest;
 use serde::{Deserialize, Serialize};
 use starknet_api::block::BlockNumber;
+#[cfg(feature = "os_input")]
+use starknet_patricia::patricia_merkle_tree::types::NodeIndex;
 use starknet_patricia_storage::storage_trait::DbValue;
 use starknet_types_core::felt::Felt;
 
+#[cfg(feature = "os_input")]
+use crate::patricia_merkle_tree::tree::SortedLeavesRequest;
+
 #[derive(Clone, Debug, Default, Deserialize, Eq, PartialEq, Hash, Serialize)]
 pub struct DbBlockNumber(pub BlockNumber);
 
@@ -23,3 +32,42 @@ pub fn serialize_felt_no_packing(felt: Felt) -> DbValue {
 pub fn deserialize_felt_no_packing(value: &DbValue) -> Felt {
     Felt::from_bytes_be_slice(&value.0)
 }
+
+/// BLAKE2s-256 digest over a deterministic encoding of [`SortedLeavesRequest`].
+#[cfg(feature = "os_input")]
+pub fn accessed_keys_digest(sorted: &SortedLeavesRequest<'_>) -> [u8; 32] {
+    let mut payload = Vec::new();
+
+    let class = sorted.class_sorted.get_indices();
+    payload.extend_from_slice(&encode_usize(class.len()));
+    for idx in class {
+        payload.extend_from_slice(&idx.0.to_be_bytes());
+    }
+
+    let contract = sorted.contract_sorted.get_indices();
+    payload.extend_from_slice(&encode_usize(contract.len()));
+    for idx in contract {
+        payload.extend_from_slice(&idx.0.to_be_bytes());
+    }
+
+    let mut contract_indices: Vec<NodeIndex> = sorted.storage_sorted.keys().copied().collect();
+    contract_indices.sort_unstable();
+
+    payload.extend_from_slice(&encode_usize(contract_indices.len()));
+    for contract_idx in contract_indices {
+        let sorted_slots = sorted.storage_sorted.get(&contract_idx).unwrap();
+        payload.extend_from_slice(&contract_idx.0.to_be_bytes());
+        let slot_indices = sorted_slots.get_indices();
+        payload.extend_from_slice(&encode_usize(slot_indices.len()));
+        for slot in slot_indices {
+            payload.extend_from_slice(&slot.0.to_be_bytes());
+        }
+    }
+
+    Blake2s256::digest(&payload).into()
+}
+
+#[cfg(feature = "os_input")]
+fn encode_usize(n: usize) -> [u8; 8] {
+    (n as u64).to_be_bytes()
+}