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 parameters(&self) -> Vec<(DataType, String)>

The parameters expected by this snippet.

fn return_values(&self) -> Vec<(DataType, String)>

The (types of the) values this snippet computes.

fn entrypoint(&self) -> String

The name of the snippet as a possible target for Triton VM’s instruction call.

fn code(&self, library: &mut Library) -> Vec<LabelledInstruction>

The Triton Assembly that defines this snippet.

fn annotated_code(&self, library: &mut Library) -> Vec<LabelledInstruction>

Adds “type hints” to the code.

fn stack_diff(&self) -> isize

The size difference of the stack as a result of executing this snippet.

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

Contains an entry for every sign off.

impl Clone for NewRecursive

fn clone(&self) -> NewRecursive

Returns a duplicate 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