Crate novasmt[−][src]
Structs
A compressed proof.
A database full of SMTs. Generic over where the SMTs are actually stored.
A full proof with 256 levels.
An in-memory ContentAddrStore.
Traits
Trait that implements a thread-safe, concurrent low-level content addressed store.