fn lookup_single_bit<F: FieldWitness>( b: bool, (t1, t2): (InnerCurve<F>, InnerCurve<F>), ) -> (F, F)