The current verifier that lives in tasm-lib/src/verifier/stark_verify.rs expects both the claim and the vm_proof_iter to be on the stack when it is invoked. This doesn't work for recursive verification, as can only prove programs that start execution with an empty stack. So we need some kind of wrapper for the STARK verifier program.
The current verifier that lives in
tasm-lib/src/verifier/stark_verify.rsexpects both the claim and thevm_proof_iterto be on the stack when it is invoked. This doesn't work for recursive verification, as can only prove programs that start execution with an empty stack. So we need some kind of wrapper for the STARK verifier program.