pub fn generate_air_proof_input<SC: StarkGenericConfig, C: Chip<SC>>(
chip: C,
height: Option<usize>,
) -> AirProofInput<SC>Expand description
Generates an AIR proof input of the chip with the given height, if any.
Assumption: an all-0 row is a valid dummy row for chip.