Zkapp_verification_keys (archive_lib.Archive_lib.Processor.Zkapp_verification

type t = {

verification_key : string;

hash : string;

}

val hash : t -> string

val verification_key : t -> string

module Fields : sig ... end

val to_hlist : t -> ( unit, string -> string -> unit ) H_list.t

val of_hlist : ( unit, string -> string -> unit ) H_list.t -> t

val typ : t Caqti_type.t

val table_name : string

val add_if_doesn't_exist : 
  (module Caqti_async.CONNECTION) ->
  ( Pickles.Side_loaded.Verification_key.t, Pickles.Backend.Tick.Field.t )
    With_hash.t ->
  ( int, [> Caqti_error.call_or_retrieve ] ) Async_kernel__Deferred_result.t

val load : 
  (module Caqti_async.CONNECTION) ->
  int ->
  ( t, [> Caqti_error.call_or_retrieve ] ) Stdlib.result
    Async_kernel.Deferred.t