Enum miden_core::AdviceInjector
source · Expand description
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.
Trait Implementations
sourceimpl Clone for AdviceInjector
impl Clone for AdviceInjector
sourcefn clone(&self) -> AdviceInjector
fn clone(&self) -> AdviceInjector
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresourceimpl Debug for AdviceInjector
impl Debug for AdviceInjector
sourceimpl Display for AdviceInjector
impl Display for AdviceInjector
sourceimpl PartialEq<AdviceInjector> for AdviceInjector
impl PartialEq<AdviceInjector> for AdviceInjector
sourcefn eq(&self, other: &AdviceInjector) -> bool
fn eq(&self, other: &AdviceInjector) -> bool
impl Copy for AdviceInjector
impl Eq for AdviceInjector
impl StructuralEq for AdviceInjector
impl StructuralPartialEq for AdviceInjector
Auto Trait Implementations
impl RefUnwindSafe for AdviceInjector
impl Send for AdviceInjector
impl Sync for AdviceInjector
impl Unpin for AdviceInjector
impl UnwindSafe for AdviceInjector
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more