tasm_lib::verifier::claim

Module new_recursive

Source

Structs§

  • NewRecursive
    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.