pub struct VerifyNdSiIntegrity<PreloadedData: TasmObject + BFieldCodec + Clone + Debug> { /* private fields */ }Expand description
Verify size-indicator integrity of preloaded data, return size.
Crashes the VM if the structure in question is not entirely contained within the non-deterministic section of memory as defined in the memory layout.
Trait Implementations§
Source§impl<T: TasmObject + BFieldCodec + Clone + Debug> BasicSnippet for VerifyNdSiIntegrity<T>
impl<T: TasmObject + BFieldCodec + Clone + Debug> BasicSnippet for VerifyNdSiIntegrity<T>
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
Source§impl<PreloadedData: Clone + TasmObject + BFieldCodec + Clone + Debug> Clone for VerifyNdSiIntegrity<PreloadedData>
impl<PreloadedData: Clone + TasmObject + BFieldCodec + Clone + Debug> Clone for VerifyNdSiIntegrity<PreloadedData>
Source§fn clone(&self) -> VerifyNdSiIntegrity<PreloadedData>
fn clone(&self) -> VerifyNdSiIntegrity<PreloadedData>
Returns a copy of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl<PreloadedData: Debug + TasmObject + BFieldCodec + Clone + Debug> Debug for VerifyNdSiIntegrity<PreloadedData>
impl<PreloadedData: Debug + TasmObject + BFieldCodec + Clone + Debug> Debug for VerifyNdSiIntegrity<PreloadedData>
Source§impl<T: TasmObject + BFieldCodec + Clone + Debug> Default for VerifyNdSiIntegrity<T>
impl<T: TasmObject + BFieldCodec + Clone + Debug> Default for VerifyNdSiIntegrity<T>
Auto Trait Implementations§
impl<PreloadedData> Freeze for VerifyNdSiIntegrity<PreloadedData>
impl<PreloadedData> RefUnwindSafe for VerifyNdSiIntegrity<PreloadedData>where
PreloadedData: RefUnwindSafe,
impl<PreloadedData> Send for VerifyNdSiIntegrity<PreloadedData>where
PreloadedData: Send,
impl<PreloadedData> Sync for VerifyNdSiIntegrity<PreloadedData>where
PreloadedData: Sync,
impl<PreloadedData> Unpin for VerifyNdSiIntegrity<PreloadedData>where
PreloadedData: Unpin,
impl<PreloadedData> UnwindSafe for VerifyNdSiIntegrity<PreloadedData>where
PreloadedData: UnwindSafe,
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> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
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