Enum miden_core::AdviceInjector

pub enum AdviceInjector {
    MerkleNode,
    DivResultU64,
    MapValue,
    Memory(u32, u32),
    Ext2Inv,
    Ext2INTT,
}

TODO: add docs

Variants

MerkleNode

Injects a node of the Merkle tree specified by the values on the stack at the head of the advice tape. The stack is expected to be arranged as follows (from the top):

• depth of the node, 1 element
• index of the node, 1 element
• root of the tree, 4 elements

DivResultU64

Injects the result of u64 division (both the quotient and the remainder) at the head of the advice tape. The stack is expected to be arranged as follows (from the top):

• divisor split into two 32-bit elements
• dividend split into two 32-bit elements

The result is injected into the advice tape as follows: first the remainder is injected, then the quotient is injected.

MapValue

Injects a list of field elements at the front of the advice tape. The list is looked up in the key-value map maintained by the advice provider using the top 4 elements on the stack as the key.

Memory(u32, u32)

Injects a list of words from the memory starting from the specified start address.

Ext2Inv

Given an element of quadratic extension field, it computes multiplicative inverse and injects the result into advice tape.

Ext2INTT

Given ( power of 2 many ) evaluations of a polynomial over some specified domain, this routine interpolates ( using inverse NTT ) the evaluations into a polynomial in coefficient form and injects the result into the advice tape.

Trait Implementations

impl Clone for AdviceInjector

fn clone(&self) -> AdviceInjector

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for AdviceInjector

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for AdviceInjector

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq<AdviceInjector> for AdviceInjector

fn eq(&self, other: &AdviceInjector) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for AdviceInjector

impl Eq for AdviceInjector

impl StructuralEq for AdviceInjector

impl StructuralPartialEq for AdviceInjector