pub fn fetch_next_instruction(current_instruction: Instruction) -> Instruction
Expand description

Describe the control-flow for the verifier circuit.