VerifierIndex.Fq
type nonrec t = ( Pasta_bindings.Fq.t, SRS.Fq.t, Pasta_bindings.Fp.t Kimchi_types.or_infinity Kimchi_types.poly_comm ) Kimchi_types.VerifierIndex.verifier_index
val create : Index.Fq.t -> t
val read : int option -> SRS.Fq.t -> string -> t
val write : bool option -> t -> string -> unit
val shifts : int -> Pasta_bindings.Fq.t array
val dummy : unit -> t
val deep_copy : t -> t