tasm_lib

Function prove_and_verify

Source 
pub fn prove_and_verify(
    program: Program,
    std_in: &[BFieldElement],
    nondeterminism: &NonDeterminism,
    init_stack: Option<Vec<BFieldElement>>,
)
Expand description

Run prover on the program, with stack-initialization converted to code.

Run the prover on the program. If init_stack is provided, the prover is run on a program with the code to setup the stack prepended, since the prover will always fail if the stack is not initialized to the minimal height. The first NUM_OP_STACK_REGISTERS of init_stack are ignored. If you run this, make sure opt-level is set to 3.