Update EIP-7916: Address review feedback

Merged by EIP-Bot.

Author: etan-status

Diff for: EIPS/eip-7916.md

@@ -67,7 +67,7 @@ ProgressiveList[T]
      \/
     ROOT
 
-V1: Vector[T, 1]
+V1: Vector[T, 1]  # Assuming `T` with a 32-byte chunk size; otherwise vectors are scaled accordingly
 V2: Vector[T, 4]
 V3: Vector[T, 16]
 V4: Vector[T, 64]
@@ -167,7 +167,7 @@ Mixing in successor subtrees ensures predictable gindices and proof sizes.
 
 ## Security Considerations
 
-- Resource limits: The `uint32` length-prefix caps serialization of variable-length subsections at 4GB, but practical limits (e.g., 10MB libp2p messages) apply. Implementations SHOULD enforce context-specific bounds.
+- Resource limits: The `uint32` limit for variable-length offsets essentially introduces a ~4GB cap when including a `ProgressiveList[T]` within another complex type, but practical limits (e.g., 10MB libp2p messages) apply. Implementations SHOULD enforce context-specific bounds.
 - Variable proof size: Recursive traversal may increase proof sizes for large indices, though logarithmic in list size due to scaling.
 
 ## Copyright