Structs§
- Account
Update Witness - This type encapsulates essentially three components:
- Account
Witness - A proof that a certain account is in the account tree and whose current state is the contained initial state commitment.
- Block
Account Update - Describes the changes made to an account state resulting from executing transactions contained in a block.
- Block
Header - 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.
- Block
Inputs - The required inputs for building a
ProposedBlock. - Block
Note Index - Index of a block note.
- Block
Note Tree - Wrapper over SimpleSmt<BLOCK_NOTE_TREE_DEPTH> for notes tree.
- Block
Number - A convenience wrapper around a
u32representing the number of a block. - Nullifier
Witness - A proof that a certain nullifier is in the nullifier tree with the contained state.
- Partial
Nullifier Tree - The partial sparse merkle tree containing the nullifiers of consumed notes.
- Proposed
Block - A proposed block with many, but not all constraints of a
ProvenBlockenforced. - Proven
Block - A block in the Miden chain.
Type Aliases§
- Output
Note Batch - The set of notes created in a transaction batch with their index in the batch.