| BinaryNode | Represents a binary node in a Merkle Patricia Trie A binary node contains exactly two children, commonly used in Merkle trees… |
| EdgeNode | Represents an edge node in a Merkle Patricia Trie An edge node compresses a path of nodes in the trie, storing both the compressed… |
| ContractData | Represents contract-specific data needed for storage proof verification This structure contains all the necessary information about a contract’s state,… |
| ContractStateProof | Represents a complete contract state proof for verification This structure contains all components needed to verify a contract’s state against… |