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.

Enums

Functions

Type Definitions