pub(super) fn hash_prev_challenge<F: FieldWitness>( prevs: &[RecursionChallenge<F::OtherCurve>], ) -> String