diff --git a/aptos-move/aptos-aggregator/src/types.rs b/aptos-move/aptos-aggregator/src/types.rs
index a4530bb750cefa..81b99d6a2445b4 100644
--- a/aptos-move/aptos-aggregator/src/types.rs
+++ b/aptos-move/aptos-aggregator/src/types.rs
@@ -244,6 +244,17 @@ impl DelayedFieldValue {
             },
         })
     }
+
+    /// Approximate memory consumption of current DelayedFieldValue
+    pub fn get_approximate_memory_size(&self) -> usize {
+        // 32 + len
+        std::mem::size_of::<DelayedFieldValue>()
+            + match &self {
+                DelayedFieldValue::Aggregator(_) | DelayedFieldValue::Snapshot(_) => 0,
+                // additional allocated memory for the data:
+                DelayedFieldValue::Derived(v) => v.len(),
+            }
+    }
 }
 
 impl TryFromMoveValue for DelayedFieldValue {
diff --git a/aptos-move/block-executor/src/counters.rs b/aptos-move/block-executor/src/counters.rs
index 5788051e352068..50c2d2bb1f5df5 100644
--- a/aptos-move/block-executor/src/counters.rs
+++ b/aptos-move/block-executor/src/counters.rs
@@ -2,9 +2,11 @@
 // SPDX-License-Identifier: Apache-2.0
 
 use aptos_metrics_core::{
-    exponential_buckets, register_histogram, register_histogram_vec, register_int_counter,
-    register_int_counter_vec, Histogram, HistogramVec, IntCounter, IntCounterVec,
+    exponential_buckets, register_avg_counter_vec, register_histogram, register_histogram_vec,
+    register_int_counter, register_int_counter_vec, Histogram, HistogramVec, IntCounter,
+    IntCounterVec,
 };
+use aptos_mvhashmap::BlockStateStats;
 use aptos_types::fee_statement::FeeStatement;
 use once_cell::sync::Lazy;
 
@@ -211,6 +213,22 @@ pub static BLOCK_COMMITTED_TXNS: Lazy<HistogramVec> = Lazy::new(|| {
     .unwrap()
 });
 
+pub static BLOCK_VIEW_DISTINCT_KEYS: Lazy<HistogramVec> = Lazy::new(|| {
+    register_avg_counter_vec(
+        "aptos_execution_block_view_distinct_keys",
+        "Size (number of keys) ",
+        &["mode", "object_type"],
+    )
+});
+
+pub static BLOCK_VIEW_BASE_VALUES_MEMORY_USAGE: Lazy<HistogramVec> = Lazy::new(|| {
+    register_avg_counter_vec(
+        "aptos_execution_block_view_base_values_memory_usage",
+        "Memory usage (in bytes) for base values",
+        &["mode", "object_type"],
+    )
+});
+
 fn observe_gas(counter: &Lazy<HistogramVec>, mode_str: &str, fee_statement: &FeeStatement) {
     counter
         .with_label_values(&[mode_str, GasType::TOTAL_GAS])
@@ -275,3 +293,31 @@ pub(crate) fn update_txn_gas_counters(txn_fee_statements: &Vec<FeeStatement>, is
         observe_gas(&TXN_GAS, mode_str, fee_statement);
     }
 }
+
+pub(crate) fn update_state_counters(block_state_stats: BlockStateStats, is_parallel: bool) {
+    let mode_str = if is_parallel {
+        Mode::PARALLEL
+    } else {
+        Mode::SEQUENTIAL
+    };
+
+    BLOCK_VIEW_DISTINCT_KEYS
+        .with_label_values(&[mode_str, "resource"])
+        .observe(block_state_stats.num_resources as f64);
+    BLOCK_VIEW_DISTINCT_KEYS
+        .with_label_values(&[mode_str, "resource_group"])
+        .observe(block_state_stats.num_resource_groups as f64);
+    BLOCK_VIEW_DISTINCT_KEYS
+        .with_label_values(&[mode_str, "delayed_field"])
+        .observe(block_state_stats.num_delayed_fields as f64);
+    BLOCK_VIEW_DISTINCT_KEYS
+        .with_label_values(&[mode_str, "module"])
+        .observe(block_state_stats.num_modules as f64);
+
+    BLOCK_VIEW_BASE_VALUES_MEMORY_USAGE
+        .with_label_values(&[mode_str, "resource"])
+        .observe(block_state_stats.base_resources_size as f64);
+    BLOCK_VIEW_BASE_VALUES_MEMORY_USAGE
+        .with_label_values(&[mode_str, "delayed_field"])
+        .observe(block_state_stats.base_delayed_fields_size as f64);
+}
diff --git a/aptos-move/block-executor/src/executor.rs b/aptos-move/block-executor/src/executor.rs
index 947fe4bffe3331..3968a81326ce2f 100644
--- a/aptos-move/block-executor/src/executor.rs
+++ b/aptos-move/block-executor/src/executor.rs
@@ -910,6 +910,9 @@ where
             }
         });
         drop(timer);
+
+        counters::update_state_counters(versioned_cache.stats(), true);
+
         // Explicit async drops.
         DEFAULT_DROPPER.schedule_drop((last_input_output, scheduler, versioned_cache));
 
@@ -1272,6 +1275,8 @@ where
 
         ret.resize_with(num_txns, E::Output::skip_output);
 
+        counters::update_state_counters(unsync_map.stats(), false);
+
         // TODO add block end info to output.
         // block_limit_processor.is_block_limit_reached();
 
diff --git a/aptos-move/block-executor/src/view.rs b/aptos-move/block-executor/src/view.rs
index b8aab18868c969..d0a8cd3ecc5489 100644
--- a/aptos-move/block-executor/src/view.rs
+++ b/aptos-move/block-executor/src/view.rs
@@ -790,7 +790,7 @@ impl<'a, T: Transaction, X: Executable> SequentialState<'a, T, X> {
     }
 
     pub(crate) fn set_delayed_field_value(&self, id: T::Identifier, base_value: DelayedFieldValue) {
-        self.unsync_map.write_delayed_field(id, base_value)
+        self.unsync_map.set_base_delayed_field(id, base_value)
     }
 
     pub(crate) fn read_delayed_field(&self, id: T::Identifier) -> Option<DelayedFieldValue> {
diff --git a/aptos-move/mvhashmap/src/lib.rs b/aptos-move/mvhashmap/src/lib.rs
index ef675d1e3268e9..a9f2ffe8cd3b1c 100644
--- a/aptos-move/mvhashmap/src/lib.rs
+++ b/aptos-move/mvhashmap/src/lib.rs
@@ -60,6 +60,17 @@ impl<
         }
     }
 
+    pub fn stats(&self) -> BlockStateStats {
+        BlockStateStats {
+            num_resources: self.data.num_keys(),
+            num_resource_groups: self.group_data.num_keys(),
+            num_delayed_fields: self.delayed_fields.num_keys(),
+            num_modules: self.modules.num_keys(),
+            base_resources_size: self.data.total_base_value_size(),
+            base_delayed_fields_size: self.delayed_fields.total_base_value_size(),
+        }
+    }
+
     /// Contains 'simple' versioned data (nothing contained in groups).
     pub fn data(&self) -> &VersionedData<K, V> {
         &self.data
@@ -92,3 +103,13 @@ impl<
         Self::new()
     }
 }
+
+pub struct BlockStateStats {
+    pub num_resources: usize,
+    pub num_resource_groups: usize,
+    pub num_delayed_fields: usize,
+    pub num_modules: usize,
+
+    pub base_resources_size: u64,
+    pub base_delayed_fields_size: u64,
+}
diff --git a/aptos-move/mvhashmap/src/unsync_map.rs b/aptos-move/mvhashmap/src/unsync_map.rs
index 42252afb95044e..539b95100a8620 100644
--- a/aptos-move/mvhashmap/src/unsync_map.rs
+++ b/aptos-move/mvhashmap/src/unsync_map.rs
@@ -4,6 +4,7 @@
 use crate::{
     types::{GroupReadResult, MVModulesOutput, UnsyncGroupError, ValueWithLayout},
     utils::module_hash,
+    BlockStateStats,
 };
 use aptos_aggregator::types::{code_invariant_error, DelayedFieldValue};
 use aptos_crypto::hash::HashValue;
@@ -16,7 +17,16 @@ use aptos_vm_types::resource_group_adapter::group_size_as_sum;
 use move_binary_format::errors::PartialVMResult;
 use move_core_types::value::MoveTypeLayout;
 use serde::Serialize;
-use std::{cell::RefCell, collections::HashMap, fmt::Debug, hash::Hash, sync::Arc};
+use std::{
+    cell::RefCell,
+    collections::HashMap,
+    fmt::Debug,
+    hash::Hash,
+    sync::{
+        atomic::{AtomicU64, Ordering},
+        Arc,
+    },
+};
 
 /// UnsyncMap is designed to mimic the functionality of MVHashMap for sequential execution.
 /// In this case only the latest recorded version is relevant, simplifying the implementation.
@@ -38,6 +48,9 @@ pub struct UnsyncMap<
     executable_cache: RefCell<HashMap<HashValue, Arc<X>>>,
     executable_bytes: RefCell<usize>,
     delayed_field_map: RefCell<HashMap<I, DelayedFieldValue>>,
+
+    total_base_resource_size: AtomicU64,
+    total_base_delayed_field_size: AtomicU64,
 }
 
 impl<
@@ -56,6 +69,8 @@ impl<
             executable_cache: RefCell::new(HashMap::new()),
             executable_bytes: RefCell::new(0),
             delayed_field_map: RefCell::new(HashMap::new()),
+            total_base_resource_size: AtomicU64::new(0),
+            total_base_delayed_field_size: AtomicU64::new(0),
         }
     }
 }
@@ -72,6 +87,17 @@ impl<
         Self::default()
     }
 
+    pub fn stats(&self) -> BlockStateStats {
+        BlockStateStats {
+            num_resources: self.resource_map.borrow().len(),
+            num_resource_groups: self.group_cache.borrow().len(),
+            num_delayed_fields: self.delayed_field_map.borrow().len(),
+            num_modules: self.module_map.borrow().len(),
+            base_resources_size: self.total_base_resource_size.load(Ordering::Relaxed),
+            base_delayed_fields_size: self.total_base_delayed_field_size.load(Ordering::Relaxed),
+        }
+    }
+
     pub fn set_group_base_values(
         &self,
         group_key: K,
@@ -245,7 +271,13 @@ impl<
     }
 
     pub fn set_base_value(&self, key: K, value: ValueWithLayout<V>) {
-        self.resource_map.borrow_mut().insert(key, value);
+        let cur_size = value.bytes_len();
+        if self.resource_map.borrow_mut().insert(key, value).is_none() {
+            if let Some(cur_size) = cur_size {
+                self.total_base_resource_size
+                    .fetch_add(cur_size as u64, Ordering::Relaxed);
+            }
+        }
     }
 
     /// We return false if the executable was already stored, as this isn't supposed to happen
@@ -274,6 +306,14 @@ impl<
     pub fn write_delayed_field(&self, id: I, value: DelayedFieldValue) {
         self.delayed_field_map.borrow_mut().insert(id, value);
     }
+
+    pub fn set_base_delayed_field(&self, id: I, value: DelayedFieldValue) {
+        self.total_base_delayed_field_size.fetch_add(
+            value.get_approximate_memory_size() as u64,
+            Ordering::Relaxed,
+        );
+        self.delayed_field_map.borrow_mut().insert(id, value);
+    }
 }
 
 #[cfg(test)]
diff --git a/aptos-move/mvhashmap/src/versioned_data.rs b/aptos-move/mvhashmap/src/versioned_data.rs
index 17ba970476a623..6c87f14a787543 100644
--- a/aptos-move/mvhashmap/src/versioned_data.rs
+++ b/aptos-move/mvhashmap/src/versioned_data.rs
@@ -16,7 +16,10 @@ use std::{
     collections::btree_map::{self, BTreeMap},
     fmt::Debug,
     hash::Hash,
-    sync::Arc,
+    sync::{
+        atomic::{AtomicU64, Ordering},
+        Arc,
+    },
 };
 
 /// Every entry in shared multi-version data-structure has an "estimate" flag
@@ -52,6 +55,7 @@ struct VersionedValue<V> {
 /// Maps each key (access path) to an internal versioned value representation.
 pub struct VersionedData<K, V> {
     values: DashMap<K, VersionedValue<V>>,
+    total_base_value_size: AtomicU64,
 }
 
 impl<V> Entry<V> {
@@ -213,9 +217,18 @@ impl<K: Hash + Clone + Debug + Eq, V: TransactionWrite> VersionedData<K, V> {
     pub(crate) fn new() -> Self {
         Self {
             values: DashMap::new(),
+            total_base_value_size: AtomicU64::new(0),
         }
     }
 
+    pub(crate) fn num_keys(&self) -> usize {
+        self.values.len()
+    }
+
+    pub(crate) fn total_base_value_size(&self) -> u64 {
+        self.total_base_value_size.load(Ordering::Relaxed)
+    }
+
     pub fn add_delta(&self, key: K, txn_idx: TxnIndex, delta: DeltaOp) {
         let mut v = self.values.entry(key).or_default();
         v.versioned_map.insert(
@@ -278,6 +291,10 @@ impl<K: Hash + Clone + Debug + Eq, V: TransactionWrite> VersionedData<K, V> {
         use ValueWithLayout::*;
         match v.versioned_map.entry(ShiftedTxnIndex::zero_idx()) {
             Vacant(v) => {
+                if let Some(base_size) = value.bytes_len() {
+                    self.total_base_value_size
+                        .fetch_add(base_size as u64, Ordering::Relaxed);
+                }
                 v.insert(CachePadded::new(Entry::new_write_from(0, value)));
             },
             Occupied(mut o) => {
diff --git a/aptos-move/mvhashmap/src/versioned_delayed_fields.rs b/aptos-move/mvhashmap/src/versioned_delayed_fields.rs
index 951ca8a1c9e5ed..83ebf1024943cf 100644
--- a/aptos-move/mvhashmap/src/versioned_delayed_fields.rs
+++ b/aptos-move/mvhashmap/src/versioned_delayed_fields.rs
@@ -15,7 +15,7 @@ use std::{
     fmt::Debug,
     hash::Hash,
     iter::DoubleEndedIterator,
-    sync::atomic::Ordering,
+    sync::atomic::{AtomicU64, Ordering},
 };
 
 pub enum CommitError {
@@ -378,7 +378,9 @@ pub struct VersionedDelayedFields<K: Clone> {
 
     /// No deltas are allowed below next_idx_to_commit version, as all deltas (and snapshots)
     /// must be materialized and converted to Values during commit.
-    next_idx_to_commit: AtomicTxnIndex,
+    next_idx_to_commit: CachePadded<AtomicTxnIndex>,
+
+    total_base_value_size: CachePadded<AtomicU64>,
 }
 
 impl<K: Eq + Hash + Clone + Debug + Copy> VersionedDelayedFields<K> {
@@ -388,10 +390,19 @@ impl<K: Eq + Hash + Clone + Debug + Copy> VersionedDelayedFields<K> {
     pub(crate) fn new() -> Self {
         Self {
             values: DashMap::new(),
-            next_idx_to_commit: AtomicTxnIndex::new(0),
+            next_idx_to_commit: CachePadded::new(AtomicTxnIndex::new(0)),
+            total_base_value_size: CachePadded::new(AtomicU64::new(0)),
         }
     }
 
+    pub(crate) fn num_keys(&self) -> usize {
+        self.values.len()
+    }
+
+    pub(crate) fn total_base_value_size(&self) -> u64 {
+        self.total_base_value_size.load(Ordering::Relaxed)
+    }
+
     /// Must be called when an delayed field from storage is resolved, with ID replacing the
     /// base value. This ensures that VersionedValue exists for the delayed field before any
     /// other uses (adding deltas, etc).
@@ -399,9 +410,13 @@ impl<K: Eq + Hash + Clone + Debug + Copy> VersionedDelayedFields<K> {
     /// Setting base value multiple times, even concurrently, is okay for the same ID,
     /// because the corresponding value prior to the block is fixed.
     pub fn set_base_value(&self, id: K, base_value: DelayedFieldValue) {
-        self.values
-            .entry(id)
-            .or_insert(VersionedValue::new(Some(base_value)));
+        self.values.entry(id).or_insert_with(|| {
+            self.total_base_value_size.fetch_add(
+                base_value.get_approximate_memory_size() as u64,
+                Ordering::Relaxed,
+            );
+            VersionedValue::new(Some(base_value))
+        });
     }
 
     /// Must be called when an delayed field creation with a given ID and initial value is
diff --git a/aptos-move/mvhashmap/src/versioned_group_data.rs b/aptos-move/mvhashmap/src/versioned_group_data.rs
index e722f1753d262b..916d65eaf3c72f 100644
--- a/aptos-move/mvhashmap/src/versioned_group_data.rs
+++ b/aptos-move/mvhashmap/src/versioned_group_data.rs
@@ -377,6 +377,10 @@ impl<
         }
     }
 
+    pub(crate) fn num_keys(&self) -> usize {
+        self.group_values.len()
+    }
+
     pub fn set_raw_base_values(&self, key: K, base_values: impl IntoIterator<Item = (T, V)>) {
         // Incarnation is irrelevant for storage version, set to 0.
         self.group_values
diff --git a/aptos-move/mvhashmap/src/versioned_modules.rs b/aptos-move/mvhashmap/src/versioned_modules.rs
index 0037deba8b29f8..edab94b933fddf 100644
--- a/aptos-move/mvhashmap/src/versioned_modules.rs
+++ b/aptos-move/mvhashmap/src/versioned_modules.rs
@@ -107,6 +107,10 @@ impl<K: Hash + Clone + Eq, V: TransactionWrite, X: Executable> VersionedModules<
         }
     }
 
+    pub(crate) fn num_keys(&self) -> usize {
+        self.values.len()
+    }
+
     /// Mark an entry from transaction 'txn_idx' at access path 'key' as an estimated write
     /// (for future incarnation). Will panic if the entry is not in the data-structure.
     pub fn mark_estimate(&self, key: &K, txn_idx: TxnIndex) {
diff --git a/crates/aptos-metrics-core/src/avg_counter.rs b/crates/aptos-metrics-core/src/avg_counter.rs
index c18c062a0cbf9e..1091e4375b253f 100644
--- a/crates/aptos-metrics-core/src/avg_counter.rs
+++ b/crates/aptos-metrics-core/src/avg_counter.rs
@@ -1,6 +1,6 @@
 // Copyright © Aptos Foundation
 
-use prometheus::{register_histogram, Histogram};
+use prometheus::{register_histogram, register_histogram_vec, Histogram, HistogramVec};
 
 // use histogram, instead of pair of sum/count counters, to guarantee
 // atomicity of observing and fetching (which Histogram handles correctly)
@@ -8,7 +8,18 @@ pub fn register_avg_counter(name: &str, desc: &str) -> Histogram {
     register_histogram!(
         name,
         desc,
-        // We need to have at least one bucket in histogram, otherwise default buckets are used
+        // We need to have at least one bucket in histogram, otherwise default buckets are used.
+        vec![0.5],
+    )
+    .unwrap()
+}
+
+pub fn register_avg_counter_vec(name: &str, desc: &str, labels: &[&str]) -> HistogramVec {
+    register_histogram_vec!(
+        name,
+        desc,
+        labels,
+        // We need to have at least one bucket in histogram, otherwise default buckets are used.
         vec![0.5],
     )
     .unwrap()
diff --git a/crates/aptos-metrics-core/src/lib.rs b/crates/aptos-metrics-core/src/lib.rs
index 8adf054021da69..793bb72d717664 100644
--- a/crates/aptos-metrics-core/src/lib.rs
+++ b/crates/aptos-metrics-core/src/lib.rs
@@ -12,7 +12,7 @@ pub use prometheus::{
 };
 
 mod avg_counter;
-pub use avg_counter::register_avg_counter;
+pub use avg_counter::{register_avg_counter, register_avg_counter_vec};
 pub mod const_metric;
 pub mod op_counters;