Anoma.CairoResource.Tree (Anoma v0.29.0)

I represent a resource merkle tree. The resource tree should be quite small, such as with a depth of 4

Summary

t()

prove(rt, leaf)

@type t() :: %Anoma.CairoResource.Tree{
  leaves: [<<_::256>>],
  root: <<_::256>>,
  tree: CommitmentTree.t()
}

@spec construct(CommitmentTree.Spec.t(), [binary()]) :: t()

@spec prove(t(), binary()) :: list() | nil