Trait sc_client_api::proof_provider::ProofProvider

source · [−]
pub trait ProofProvider<Block: BlockT> {
    fn read_proof(
        &self, 
        id: &BlockId<Block>, 
        keys: &mut dyn Iterator<Item = &[u8]>
    ) -> Result<StorageProof>;

    fn read_child_proof(
        &self, 
        id: &BlockId<Block>, 
        child_info: &ChildInfo, 
        keys: &mut dyn Iterator<Item = &[u8]>
    ) -> Result<StorageProof>;

    fn execution_proof(
        &self, 
        id: &BlockId<Block>, 
        method: &str, 
        call_data: &[u8]
    ) -> Result<(Vec<u8>, StorageProof)>;

    fn header_proof(
        &self, 
        id: &BlockId<Block>
    ) -> Result<(Block::Header, StorageProof)>;

    fn key_changes_proof(
        &self, 
        first: Block::Hash, 
        last: Block::Hash, 
        min: Block::Hash, 
        max: Block::Hash, 
        storage_key: Option<&PrefixedStorageKey>, 
        key: &StorageKey
    ) -> Result<ChangesProof<Block::Header>>;
}
Expand description

Interface for providing block proving utilities.

Required methods

Reads storage value at a given block + key, returning read proof.

Reads child storage value at a given block + storage_key + key, returning read proof.

Execute a call to a contract on top of state in a block of given hash AND returning execution proof.

No changes are made.

Reads given header and generates CHT-based header proof.

Get proof for computation of (block, extrinsic) pairs where key has been changed at given blocks range. min is the hash of the first block, which changes trie root is known to the requester - when we’re using changes tries from ascendants of this block, we should provide proofs for changes tries roots max is the hash of the last block known to the requester - we can’t use changes tries from descendants of this block. Works only for runtimes that are supporting changes tries.

Implementors