Vesta_based_plonk.Verification_key
type t = ( Pasta_bindings.Fp.t, Kimchi_bindings.Protocol.SRS.Fp.t, Pasta_bindings.Fq.t Kimchi_types.or_infinity Kimchi_types.poly_comm ) Kimchi_types.VerifierIndex.verifier_index
val to_string : 'a -> 'b
val of_string : 'a -> 'b
val shifts : t -> Pasta_bindings.Fp.t array