Crate novasmt

Modules

• dense

Structs

• CompressedProof
  A compressed proof.
• Database
  A database full of SMTs. Generic over where the SMTs are actually stored.
• FullProof
  A full proof with 256 levels.
• InMemoryCas
  An in-memory ContentAddrStore.
• Tree
  A SMT tree stored in some database.

Traits

• ContentAddrStore
  Trait that implements a thread-safe, concurrent low-level content addressed store.

Functions

• hash_data
  Hash a data block
• hash_node
  Hash a node

Type Definitions

• Hashed