Checked (snarky.Snarky_backendless.Merkle

Parameters

module Impl : Snark_intf.S

module Hash : sig ... end

module Elt : sig ... end

Signature

module Address : sig ... end

module Path : sig ... end

type Request.t +=

| Get_element : Address.value -> (Elt.value * Path.value) Request.t

| Get_path : Address.value -> Path.value Request.t

| Set : Address.value * Elt.value -> unit Request.t

val implied_root : 
  Hash.var ->
  Address.var ->
  Path.var ->
  Hash.var Impl.Checked.t

val modify_req : 
  depth:int ->
  Hash.var ->
  Address.var ->
  f:( Elt.var -> Elt.var Impl.Checked.t ) ->
  Hash.var Impl.Checked.t

val fetch_and_update_req : 
  depth:int ->
  Hash.var ->
  Address.var ->
  f:( Elt.var -> Elt.var Impl.Checked.t ) ->
  (Hash.var * [ `Old of Elt.var ] * [ `New of Elt.var ]) Impl.Checked.t

val get_req : depth:int -> Hash.var -> Address.var -> Elt.var Impl.Checked.t

val update_req : 
  depth:int ->
  root:Hash.var ->
  prev:Elt.var ->
  next:Elt.var ->
  Address.var ->
  Hash.var Impl.Checked.t