Module Vesta_based_plonk.Verification_key

val to_string : 'a -> 'b
val of_string : 'a -> 'b
val shifts : t -> Pasta_bindings.Fp.t array