Struct NewRecursive

pub struct NewRecursive { /* private fields */ }

Return a pointer to a claim representing the verification of a proof of the program’s own execution. Must be called with an empty stack, as the program digest is read from the bottom of the stack.

Trait Implementations

impl BasicSnippet for NewRecursive

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>

fn init_stack_for_isolated_run(&self) -> Vec<BFieldElement>

Initial stack on program start, when the snippet runs in isolation.

fn stack_diff(&self) -> isize

fn sign_offs(&self) -> HashMap<Reviewer, SignOffFingerprint>

Contains an entry for every sign off.

impl Clone for NewRecursive

fn clone(&self) -> NewRecursive

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for NewRecursive

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

Formats the value using the given formatter.

impl Copy for NewRecursive