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