pub fn create_shifted_inner_curve<F>(w: &mut Witness<F>) -> InnerCurve<F>where F: FieldWitness,
https://github.com/openmina/mina/blob/45c195d72aa8308fcd9fc1c7bc5da36a0c3c3741/src/lib/snarky_curves/snarky_curves.ml#L267