Constant arrabbiata::witness::VERIFIER_STARTING_INSTRUCTION

pub const VERIFIER_STARTING_INSTRUCTION: Instruction;

The first instruction in the verifier circuit (often shortened in “IVC” in the crate) is the Poseidon permutation. It is used to start hashing the public input.