Module ibc_proto::ibc::core::commitment::v1 [−][src]
Structs
MerklePath | MerklePath is the path used to verify commitment proofs, which can be an arbitrary structured object (defined by a commitment type). MerklePath is represented from root-to-leaf |
MerklePrefix | MerklePrefix is merkle path prefixed to the key. The constructed key from the Path and the key will be append(Path.KeyPath, append(Path.KeyPrefix, key…)) |
MerkleProof | MerkleProof is a wrapper type over a chain of CommitmentProofs. It demonstrates membership or non-membership for an element or set of elements, verifiable in conjunction with a known commitment root. Proofs should be succinct. MerkleProofs are ordered from leaf-to-root |
MerkleRoot | MerkleRoot defines a merkle root hash. In the Cosmos SDK, the AppHash of a block header becomes the root. |