Struct DeferredContext 

pub struct DeferredContext<'a> { /* private fields */ }

Capability object passed to precompiles during recursive evaluation.

Precompiles do not own the DAG; they receive this handle to evaluate registered children and to register helper nodes referenced by compound canonicals. The verifier reuses the same path during DeferredState::from_wire, so prover and verifier agree on how witnesses are reconstructed.

Implementations

impl<'a> DeferredContext<'a>

pub fn get_node(&self, digest: &Digest) -> Option<&Node>

Returns the registered node addressed by digest, if present.

This is a syntactic DAG lookup: it does not evaluate the node or canonicalize it.

pub fn evaluate_digest( &mut self, digest: Digest, ) -> Result<Digest, PrecompileError>

Evaluates a registered child digest and returns the canonical node digest.

The nodes membership check keeps local evaluation reproducible by to_wire and rehydration; memoization is transparent to precompile implementations. Use Self::get_node with the returned digest to inspect the canonical node contents.

pub fn evaluate_digest_pair( &mut self, lhs: Digest, rhs: Digest, ) -> Result<(Digest, Digest), PrecompileError>

Evaluates two registered child digests to their canonical node digests.

pub fn ensure_equal( &mut self, lhs: Digest, rhs: Digest, ) -> Result<(), PrecompileError>

Evaluates two child digests and requires their canonical nodes to be equal.

pub fn register(&mut self, node: Node) -> Result<Digest, PrecompileError>

Registers a freshly minted helper node and returns its original digest.

Use this when a compound canonical needs stable child commitments that were created during evaluation. Helper registration follows the same eager semantics as ordinary registration.