Skip to main content

Module recursion

Module recursion 

Source

Structsยง

SP1RecursionProof
An intermediate proof which proves the execution of a Hypercube verifier.