Keyboard shortcuts

Press or to navigate between chapters

Press ? to show this help

Press Esc to hide this help

ContractStateProof

Represents a complete contract state proof for verification

This structure contains all components needed to verify a contract’s state against the Starknet global state commitment, including the class commitment, contract proof, and contract-specific data.

Fields

  • class_commitment - The commitment hash for contract classes
  • contract_proof - Array of TrieNode representing the contract proof path
  • contract_data - ContractData containing contract-specific information and storage proof

Fully qualified path: alexandria_merkle_tree::storage_proof::ContractStateProof

[derive(Destruct, Serde)]
pub struct ContractStateProof { /* private fields */ }