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 Aliases

Hashed