Side_loaded.Verification_key
module Stable : sig ... end
type t = Stable.Latest.t
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val hash_fold_t :
Ppx_hash_lib.Std.Hash.state ->
t ->
Ppx_hash_lib.Std.Hash.state
val hash : t -> Ppx_hash_lib.Std.Hash.hash_value
include Codable.Base58_check_intf with type t := t
val to_base58_check : t -> string
explicit Base58Check encoding
include Codable.Base58_check_base_intf with type t := t
val of_base58_check : string -> t Base.Or_error.t
Base58Check decoding
val of_base58_check_exn : string -> t
Base58Check decoding
include Codable.Base64_intf with type t := t
val to_base64 : t -> string
val of_base64 : string -> t Core_kernel.Or_error.t
val dummy : t
val to_input : t -> Impls.Step.Field.Constant.t Random_oracle_input.Chunked.t
module Checked : sig ... end
val typ : ( Checked.t, t ) Impls.Step.Typ.t
module Max_branches : Pickles_types.Nat.Add.Intf
module Max_width = Pickles_types.Nat.N2