Module block

Structs

AccountTree

The sparse merkle tree of all accounts in the blockchain.

AccountUpdateWitness

This type encapsulates essentially three components:

AccountWitness

A specialized version of an SmtProof for use in AccountTree and PartialAccountTree. It proves the inclusion of an account ID at a certain state (i.e. Account::commitment) in the AccountTree.

BlockAccountUpdate

Describes the changes made to an account state resulting from executing transactions contained in a block.

BlockHeader

The header of a block. It contains metadata about the block, commitments to the current state of the chain and the hash of the proof that attests to the integrity of the chain.

BlockInputs

The required inputs for building a ProposedBlock.

BlockNoteIndex

Index of a block note.

BlockNoteTree

Wrapper over SimpleSmt<BLOCK_NOTE_TREE_DEPTH> for notes tree.

BlockNumber

A convenience wrapper around a u32 representing the number of a block.

Blockchain

The Merkle Mountain Range defining the Miden blockchain.

NullifierTree

The sparse merkle tree of all nullifiers in the blockchain.

NullifierWitness

A proof that a certain nullifier is in the nullifier tree with the contained state.

PartialAccountTree

The partial sparse merkle tree containing the state commitments of accounts in the chain.

PartialNullifierTree

The partial sparse merkle tree containing the nullifiers of consumed notes.

ProposedBlock

A proposed block with many, but not all constraints of a ProvenBlock enforced.

ProvenBlock

A block in the Miden chain.

Type Aliases

OutputNoteBatch

The set of notes created in a transaction batch with their index in the batch.