Module verify 

Available on non-target_family=wasm only.

Verification of existing stored trie nodes against state data. Parallel verification of persisted account and storage tries.

Structs

StorageJob

Storage to verify, including whether the account walk needs its root.

StorageWorker

Cursors for one parallel storage verification thread of a Verifier.

Verifier

Compares the persisted account and storage trie tables against tries recomputed from the hashed state tables, yielding an Output for every inconsistency found.

Enums

Output

Output describes an inconsistency found when comparing the hashed state tables (HashedCursor) with that of the trie tables (TrieCursor). The hashed tables are considered the source of truth; outputs are on the part of the trie tables.

Constants

DEFAULT_STORAGE_LOOKAHEAD

Default maximum number of storage roots computed or in flight ahead of the account walk.

Functions

default_storage_workers

Returns the default number of StorageWorkers to pass to Verifier::new: one per available CPU, or one if the CPU count cannot be determined.