Anoma.CairoResource.Action (Anoma v0.31.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(logic_proofs, compliance_proofs)
verify(action)
verify_compliance_hash(compliance_proofs)

Types

Link to this type

t()

@type t() :: %Anoma.CairoResource.Action{
  compliance_proofs: [Anoma.CairoResource.ProofRecord.t()],
  logic_proofs: %{required(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(logic_proofs, compliance_proofs)

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

verify(action)

@spec verify(t()) :: boolean()
Link to this function

verify_compliance_hash(compliance_proofs)

@spec verify_compliance_hash([Anoma.CairoResource.ProofRecord.t()]) :: boolean()