Function step

pub fn step<C: ProofConstants, const N_PREVIOUS: usize>(
    params: StepParams<'_, N_PREVIOUS>,
    w: &mut Witness<Fp>,
) -> Result<StepProof>