pub struct New;Expand description
Create a new VmProofIter instance.
A VmProofIter points to the next proof item in memory to be read in
verifying a proof. It also counts how many proof items have been read and
records the starting point and indicated length of the proof.
Implementations§
Source§impl New
impl New
pub const FIRST_PROOF_ITEM_OFFSET: u64 = 4u64
pub const MAX_PROOF_SIZE: usize = 67_108_864usize
pub const MAX_NUM_PROOF_ITEMS: usize = 87usize
Trait Implementations§
Source§impl BasicSnippet for New
impl BasicSnippet for New
fn inputs(&self) -> Vec<(DataType, String)>
fn outputs(&self) -> Vec<(DataType, String)>
fn entrypoint(&self) -> String
fn code(&self, library: &mut Library) -> Vec<LabelledInstruction>
fn annotated_code(&self, library: &mut Library) -> Vec<LabelledInstruction>
fn link_for_isolated_run(&self) -> Vec<LabelledInstruction>
Source§fn init_stack_for_isolated_run(&self) -> Vec<BFieldElement>
fn init_stack_for_isolated_run(&self) -> Vec<BFieldElement>
Intial stack on program start, when the snippet runs in isolation.
fn stack_diff(&self) -> isize
Auto Trait Implementations§
impl Freeze for New
impl RefUnwindSafe for New
impl Send for New
impl Sync for New
impl Unpin for New
impl UnwindSafe for New
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more