Crate informalsystems_ics23[−][src]
Modules
Nested message and enum types in BatchEntry
.
Nested message and enum types in CommitmentProof
.
Nested message and enum types in CompressedBatchEntry
.
Structs
Use BatchEntry not CommitmentProof, to avoid recursion
BatchProof is a group of multiple proof types than can be compressed
CommitmentProof is either an ExistenceProof or a NonExistenceProof, or a Batch of such messages
Use BatchEntry not CommitmentProof, to avoid recursion
InnerSpec contains all store-specific structure info to determine if two proofs from a given store are neighbors.
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.