Anoma.RM.Transaction protocol (Anoma v0.25.0)

I am the Transaction protocol.

Use me when you want to write logic over transactions.

Transactions practically speaking be Noun.Nounable

Summary

t()

All the types that implement this protocol.

I compose two transactions into a new transaction

@type t() :: term()

All the types that implement this protocol.

@spec cm_tree(t(), term()) :: CommitmentTree.t()

@spec commitments(t()) :: [binary()]

@spec compose(t(), t()) :: t()

I compose two transactions into a new transaction

@spec nullifiers(t()) :: [binary()]

@spec resource_existence_check(t(), pid()) :: boolean()

@spec storage_commitments(t()) :: [binary()]

@spec storage_nullifiers(t()) :: [binary()]

@spec verify(t()) :: boolean()