Anoma.CairoResource.Action (Anoma v0.32.0)

I am an action in shielded resource machine.

Summary

Types

t()

Functions

from_noun(list)

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

new(created_commitments, consumed_nullifiers, logic_proofs, compliance_units)
verify(action)

Types

Link to this type

t()

@type t() :: %Anoma.CairoResource.Action{
  app_data: %{required(<<_::256>>) => [{<<_::256>>, <<_::256>>}]},
  compliance_units: MapSet.t(Anoma.CairoResource.ProofRecord.t()),
  consumed_nullifiers: [<<_::256>>],
  created_commitments: [<<_::256>>],
  logic_proofs: %{
    required(binary()) => {binary(), Anoma.CairoResource.ProofRecord.t()}
  }
}

Functions

Link to this function

from_noun(list)

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

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

Link to this function

new(created_commitments, consumed_nullifiers, logic_proofs, compliance_units)

@spec new([<<_::256>>], [<<_::256>>], [Anoma.CairoResource.ProofRecord.t()], [
  Anoma.CairoResource.ProofRecord.t()
]) :: t()
Link to this function

verify(action)

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