pub fn fetch_next_instruction(current_instruction: Instruction) -> Instruction
Expand description
Describe the control-flow for the verifier circuit.
pub fn fetch_next_instruction(current_instruction: Instruction) -> Instruction
Describe the control-flow for the verifier circuit.