Pallas_based_plonk.Verification_key
type t = ( Pasta_bindings.Fq.t, Kimchi_bindings.Protocol.SRS.Fq.t, Pasta_bindings.Fp.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 -> Pallas_based_plonk.Field.t array