About the Execution proof category

Resource Machine Stuff Execution proof
1

This category is dedicated to discussing the succinct proof that verifies out-of-circuit checks required by the resource machine.