Anoma.TransparentResource.Transaction (Anoma v0.29.0)

Summary

Types

t()
verify_opts()

Functions

commitments(self)
compose(tx1, tx2)
from_noun(arg1)

Callback implementation for Noun.Nounable.Kind.from_noun/1.

nullified_resources(self)
nullifiers(self)
resources(self)
verify(tx, options \\ [])
verify_tx_action_compliance(transaction)
verify_tx_action_delta_sum(transaction)
verify_tx_action_distinctness(tx)
verify_tx_action_logics(tx)
verify_tx_has_zero_delta(transaction)
verify_tx_roots(tx, root_closure)
verify_tx_storage_checks(tx, double_insertion_closure)

Types

Link to this type

t()

@type t() :: %Anoma.TransparentResource.Transaction{
  actions: MapSet.t(Anoma.TransparentResource.Action.t()),
  delta: Anoma.TransparentResource.Delta.t(),
  delta_proof: <<_::0>>,
  roots: MapSet.t(binary())
}
Link to this type

verify_opts()

@type verify_opts() ::
  {:double_insertion_closure, (t() -> boolean())}
  | {:root_closure, (t() -> boolean())}

Functions

Link to this function

commitments(self)

@spec commitments(t()) :: MapSet.t(Anoma.TransparentResource.Resource.commitment())
Link to this function

compose(tx1, tx2)

@spec compose(t(), t()) :: t()
Link to this function

from_noun(arg1)

@spec from_noun(Noun.t()) :: {:ok, t()} | :error

Callback implementation for Noun.Nounable.Kind.from_noun/1.

Link to this function

nullified_resources(self)

@spec nullified_resources(t()) :: MapSet.t(Anoma.TransparentResource.Resource.t())
Link to this function

nullifiers(self)

@spec nullifiers(t()) :: MapSet.t(Anoma.TransparentResource.Resource.nullifier())
Link to this function

resources(self)

@spec resources(t()) :: MapSet.t(Anoma.TransparentResource.Resource.t())
Link to this function

verify(tx, options \\ [])

@spec verify(t(), [verify_opts()]) :: true | {:error, String.t()}
Link to this function

verify_tx_action_compliance(transaction)

@spec verify_tx_action_compliance(t()) :: true | {:error, String.t()}
Link to this function

verify_tx_action_delta_sum(transaction)

@spec verify_tx_action_delta_sum(t()) :: true | {:error, String.t()}
Link to this function

verify_tx_action_distinctness(tx)

@spec verify_tx_action_distinctness(t()) :: true | {:error, String.t()}
Link to this function

verify_tx_action_logics(tx)

@spec verify_tx_action_logics(t()) :: true | {:error, String.t()}
Link to this function

verify_tx_has_zero_delta(transaction)

@spec verify_tx_has_zero_delta(t()) :: true | {:error, String.t()}
Link to this function

verify_tx_roots(tx, root_closure)

@spec verify_tx_roots(t(), (t() -> boolean())) :: true | {:error, String.t()}
Link to this function

verify_tx_storage_checks(tx, double_insertion_closure)

@spec verify_tx_storage_checks(t(), (t() -> boolean())) :: true | {:error, String.t()}