[−][src]Crate ics23
Modules
| batch_entry | |
| commitment_proof | |
| compressed_batch_entry |
Structs
| BatchEntry | Use BatchEntry not CommitmentProof, to avoid recursion |
| BatchProof | BatchProof is a group of multiple proof types than can be compressed |
| CommitmentProof | CommitmentProof is either an ExistenceProof or a NonExistenceProof, or a Batch of such messages |
| CompressedBatchEntry | Use BatchEntry not CommitmentProof, to avoid recursion |
| CompressedBatchProof | |
| CompressedExistenceProof | |
| CompressedNonExistenceProof | |
| ExistenceProof |
|
| InnerOp |
|
| InnerSpec | InnerSpec contains all store-specific structure info to determine if two proofs from a given store are neighbors. |
| LeafOp |
|
| NonExistenceProof | NonExistenceProof takes a proof of two neighbors, one left of the desired key, one right of the desired key. If both proofs are valid AND they are neighbors, then there is no valid proof for the given key. |
| ProofSpec |
|
Enums
| HashOp | |
| LengthOp |
|
Functions
| calculate_existence_root | |
| compress | |
| decompress | |
| iavl_spec | |
| is_compressed | |
| tendermint_spec | |
| verify_batch_membership | |
| verify_batch_non_membership | |
| verify_membership | |
| verify_non_membership |
Type Definitions
| Hash | |
| Result |