Utils.Fr_generationval powers : int -> Bls.Scalar.t -> Bls.Scalar.t arrayval batch : Bls.Scalar.t -> Bls.Scalar.t list -> Bls.Scalar.tval build_quadratic_non_residues : int -> Bls.Scalar.t arrayval random_fr_list : Transcript.t -> int -> Bls.Scalar.t list * Transcript.tval random_fr : Transcript.t -> Bls.Scalar.t * Transcript.t