Examples.ECommitmentTree (Anoma v0.34.0)
Summary
Functions
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
Functions
@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()