Examples.ECommitmentTree (Anoma v0.34.0)

Summary

Functions

a_merkle_proof()

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

babylon_ct(spec \\ sha256_32_spec())

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

babylon_ct_new_hash(spec \\ sha256_32_spec())

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

cairo_poseidon_spec()

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

ct_with_trivial_cairo_tx(cms, spec \\ cairo_poseidon_spec())

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

ct_with_trivial_swap(spec \\ sha256_32_spec())

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

A commitment tree with commits from ETransaction.swap_from_actions/1

lots_of_inserts_ct(spec \\ sha256_32_spec())

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

new_ct(spec \\ sha256_32_spec())

nouned_empty_tree()

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

nouned_tree_info(arg \\ a_merkle_proof())

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

sha256_32_spec()

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