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.

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

Enums

• HashOp
• LengthOp

Constants

• FILE_DESCRIPTOR_SET

Traits

• 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.

Functions

• calculate_existence_root
• compress
• decompress
• iavl_spec
• is_compressed
• smt_spec
• tendermint_spec
• verify_batch_membership
• verify_batch_non_membership
• verify_membership
• verify_non_membership

Type Aliases

• Hash
• Result