Crate ics23

Modules§

batch_entry: Nested message and enum types in BatchEntry.
commitment_proof: Nested message and enum types in CommitmentProof.
compressed_batch_entry: Nested message and enum types in CompressedBatchEntry.

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
HostFunctionsManager
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

HostFunctionsProvider: If this is to be executed in a blockchain context, then we need to delegate these hashing functions to a native implementation through host function calls. This trait provides that interface.