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