pub fn challenge_polynomial_checked<F: FieldWitness>( chals: &[F], ) -> impl Fn(F, &mut Witness<F>) -> F + '_
https://github.com/MinaProtocol/mina/blob/bfd1009abdbee78979ff0343cc73a3480e862f58/src/lib/pickles/wrap_verifier.ml#L16