Data_as_hash (mina_base.Mina_base.Data_as

type 'value t

An in-circuit commitment to some data, without explicitly exposing this data within the circuit.

For example, a string t might be used to 'talk about' a string into the circuit -- potentially as an argument to a recursively-verified proof -- but if the string itself isn't useful in this circuit, its actual contents can be elided.

{ let%bind x = exists (Data_as_hash.typ ~hash:hash_foo) ~request:Foo in ... let x_hash = Data_as_hash.hash x in (* Use the hash representing x *) ... let%bind () = as_prover As_prover.( let%map x = As_prover.Ref.get (Data_as_hash.ref x) in printf "%s\n" (Foo.to_string x) ) in ... }

val hash : _ t -> Snark_params.Tick.Field.Var.t

val ref : 'value t -> 'value Snark_params.Tick.As_prover.Ref.t

val typ : 
  hash:( 'value -> Snark_params.Tick.Field.t ) ->
  ( 'value t, 'value ) Snark_params.Tick.Typ.t

val optional_typ : 
  hash:( 'value -> Snark_params.Tick.Field.t ) ->
  non_preimage:Snark_params.Tick.Field.t ->
  dummy_value:'value ->
  ( 'value t, 'value option ) Snark_params.Tick.Typ.t

val to_input : 
  _ t ->
  Snark_params.Tick.Field.Var.t Random_oracle_input.Chunked.t

val if_ : 
  Snark_params.Tick.Boolean.var ->
  then_:'value t ->
  else_:'value t ->
  'value t

val make_unsafe : 
  Snark_params.Tick.Field.Var.t ->
  'value Snark_params.Tick.As_prover.Ref.t ->
  'value t

module As_record : sig ... end

val deriver : 
  ( < contramap : ( 'a -> 'b ) Stdlib.ref
      ; graphql_arg : ( unit -> 'c ) Stdlib.ref
      ; graphql_arg_accumulator : 
        'd Fields_derivers_graphql.Graphql.Args.Acc.T.t Stdlib.ref
      ; graphql_creator : ( 'e -> 'f ) Stdlib.ref
      ; graphql_fields : 
        'g Fields_derivers_graphql.Graphql.Fields.Input.T.t Stdlib.ref
      ; graphql_fields_accumulator : 'h list Stdlib.ref
      ; graphql_query : 'i option Stdlib.ref
      ; graphql_query_accumulator : 'j list Stdlib.ref
      ; js_layout : [> `Assoc of 'k list ] Stdlib.ref
      ; js_layout_accumulator : 'l list Stdlib.ref
      ; map : ( 'm -> 'n ) Stdlib.ref
      ; nullable_graphql_arg : ( unit -> 'o ) Stdlib.ref
      ; nullable_graphql_fields : 
        'p Fields_derivers_graphql.Graphql.Fields.Input.T.t Stdlib.ref
      ; of_json : ( 'q -> 'r ) Stdlib.ref
      ; of_json_creator : 
        ( string, 's, Base.String.comparator_witness ) Base.Map.t Stdlib.ref
      ; skip : bool Stdlib.ref
      ; to_json : ( 't -> 'u ) Stdlib.ref
      ; to_json_accumulator : 'v list Stdlib.ref > ->
    < contramap : ( 'w -> 'x ) Stdlib.ref
    ; graphql_arg : 
      ( unit -> 'y Fields_derivers_graphql.Schema.Arg.arg_typ ) Stdlib.ref
    ; graphql_fields : 
      'x Fields_derivers_graphql.Graphql.Fields.Input.T.t Stdlib.ref
    ; graphql_query : string option Stdlib.ref
    ; js_layout : Yojson.Safe.t Stdlib.ref
    ; map : ( 'y -> 'z ) Stdlib.ref
    ; nullable_graphql_arg : 
      ( unit -> 'a1 Fields_derivers_graphql.Schema.Arg.arg_typ ) Stdlib.ref
    ; nullable_graphql_fields : 
      'b1 Fields_derivers_graphql.Graphql.Fields.Input.T.t Stdlib.ref
    ; of_json : ( Yojson.Safe.t -> 'y ) Stdlib.ref
    ; skip : bool Stdlib.ref
    ; to_json : ( 'x -> Yojson.Safe.t ) Stdlib.ref.. > ) ->
  < contramap : ( 'w As_record.t -> 'w As_record.t ) Stdlib.ref
    ; graphql_arg : 
      ( unit ->
        'z As_record.t Fields_derivers_graphql.Schema.Arg.arg_typ )
        Stdlib.ref
    ; graphql_arg_accumulator : 
      'z As_record.t Fields_derivers_graphql.Graphql.Args.Acc.T.t Stdlib.ref
    ; graphql_creator : ( 'c1 -> 'z As_record.t ) Stdlib.ref
    ; graphql_fields : 
      'w As_record.t Fields_derivers_graphql.Graphql.Fields.Input.T.t
        Stdlib.ref
    ; graphql_fields_accumulator : 
      'w As_record.t Fields_derivers_graphql.Graphql.Fields.Accumulator.T.t
        list
        Stdlib.ref
    ; graphql_query : string option Stdlib.ref
    ; graphql_query_accumulator : 
      (string * string option) option list Stdlib.ref
    ; js_layout : [> `Assoc of (string * Yojson.Safe.t) list ] Stdlib.ref
    ; js_layout_accumulator : 
      Fields_derivers_zkapps.Js_layout.Accumulator.field option list Stdlib.ref
    ; map : ( 'z As_record.t -> 'z As_record.t ) Stdlib.ref
    ; nullable_graphql_arg : 
      ( unit -> 'd1 Fields_derivers_graphql.Schema.Arg.arg_typ ) Stdlib.ref
    ; nullable_graphql_fields : 
      'w As_record.t option Fields_derivers_graphql.Graphql.Fields.Input.T.t
        Stdlib.ref
    ; of_json : 
      ( [> `Assoc of (string * Yojson.Safe.t) list ] ->
        'z As_record.t )
        Stdlib.ref
    ; of_json_creator : Yojson.Safe.t Core_kernel.String.Map.t Stdlib.ref
    ; skip : bool Stdlib.ref
    ; to_json : 
      ( 'w As_record.t ->
        [> `Assoc of (string * Yojson.Safe.t) list ] )
        Stdlib.ref
    ; to_json_accumulator : 
      (string * ( 'w As_record.t -> Yojson.Safe.t )) option list Stdlib.ref.. > as 'c1 ->
  'c1