Examples.ECommitmentTree (Anoma v0.34.0)

Summary

a_merkle_proof()

A commitment tree with commits from Examples.ERM.EShielded.ETransaction.a_shielded_transaction/0

A commitment tree with commits from ETransaction.swap_from_actions/1

sha256_32_spec()

@spec a_merkle_proof() :: {CommitmentTree.t(), CommitmentTree.Proof.t(), any()}

@spec babylon_ct(CommitmentTree.Spec.t()) :: CommitmentTree.t()

@spec babylon_ct_new_hash(CommitmentTree.Spec.t()) :: CommitmentTree.t()

@spec cairo_poseidon_spec() :: CommitmentTree.Spec.t()

A commitment tree with commits from Examples.ERM.EShielded.ETransaction.a_shielded_transaction/0

@spec ct_with_trivial_swap(term()) :: {CommitmentTree.t(), binary()}

A commitment tree with commits from ETransaction.swap_from_actions/1

@spec lots_of_inserts_ct(CommitmentTree.Spec.t()) :: CommitmentTree.t()

@spec new_ct(CommitmentTree.Spec.t()) :: CommitmentTree.t()

@spec nouned_empty_tree() :: Noun.t()

@spec nouned_tree_info({CommitmentTree.t(), CommitmentTree.Proof.t(), binary()}) ::
  {Noun.t(), Noun.t(), binary()}

@spec sha256_32_spec() :: CommitmentTree.Spec.t()