Expand description
Content-addressed deferred computation for VM hints.
Deferred events let programs commit opaque statements during execution and leave their
semantic checks to installed Precompiles. The framework stores those commitments as a DAG
of Nodes and a deferred root commitment that verifies by evaluating every logged statement
to TRUE.
miden-core owns the data model, registry, state, and wire validation; the processor only
provides system-event plumbing.
Structs§
- Deferred
Context - Capability object passed to precompiles during recursive evaluation.
- Deferred
Root Tracker - Small helper for tests and trace plumbing that need to advance a deferred root incrementally.
- Deferred
State - In-memory witness for deferred-DAG verification.
- Deferred
State Wire - Wire representation of a deferred root opening.
- Node
- A deferred DAG entry whose meaning is supplied by a framework tag or owning
super::Precompile. - Payload
- In-memory body of a deferred node.
- Precompile
Registry - Installed set of precompiles for deferred-node validation and evaluation.
- Tag
- Identifies the precompile that owns a node and carries its local immediates.
Enums§
- Deferred
Error - Coarse deferred-framework failures shared by deferred state and precompile evaluation.
- Integrity
Error - Reasons untrusted wire data failed deferred-state rehydration.
- Node
Type - Framework shape a precompile declares for a recognized tag.
- Precompile
Error - Errors produced while evaluating deferred nodes through precompiles.
- Wire
Entry - One explicit deferred DAG entry in topological wire order.
Constants§
- DEFAULT_
MAX_ DEFERRED_ ELEMENTS - Default maximum approximate number of field elements allowed in deferred state.
- DEFERRED_
ROOT_ DOMAIN - Fixed capacity word used to domain-separate deferred root folds.
- TRUE_
DIGEST - Digest of
Node::TRUE, root for an empty deferred state, and terminal of the AND-chain. - TRUE_
INDEX - Reserved index for the always-known
super::TRUE_DIGEST/super::Node::TRUEnode.
Traits§
- Precompile
- Semantic module installed in a
PrecompileRegistry.
Functions§
- fold_
deferred_ root - Folds a verified deferred statement into the rolling deferred root.
- precompile_
id - Derives the canonical id a registry expects for a precompile name.
Type Aliases§
- Data
Chunk - One Poseidon2 rate block, used as the unit of deferred data payloads.
- Deferred
Root - The deferred root committed in public inputs.
- Digest
- Stable address of a deferred
Node, computed as a 4-felt Poseidon2 digest.