Module `Verification_key.Checked`

type t

val to_input : t -> Impls.Step.Field.t Random_oracle_input.Chunked.t