Anoma.TransparentResource.LogicProof (Anoma v0.29.0)

Summary

Types

t()

Functions

from_noun(arg1)

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

internal_logic_inputs(proof)
verify(proof)
verify_resource_corresponds_to_tag(logic_proof)

Types

Link to this type

t()

@type t() :: %Anoma.TransparentResource.LogicProof{
  commitments: MapSet.t(Anoma.TransparentResource.Resource.commitment()),
  committed_plaintexts: MapSet.t(Anoma.TransparentResource.Resource.t()),
  nullified_plaintexts: MapSet.t(Anoma.TransparentResource.Resource.t()),
  nullifiers: MapSet.t(Anoma.TransparentResource.Resource.nullifier()),
  other_private: Noun.t(),
  other_public: Noun.t(),
  resource: Anoma.TransparentResource.Resource.t(),
  self_tag:
    {:committed, Anoma.TransparentResource.Resource.commitment()}
    | {:nullified, Anoma.TransparentResource.Resource.commitment()}
}

Functions

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

internal_logic_inputs(proof)

@spec internal_logic_inputs(t()) :: {Noun.t(), Noun.t()}
Link to this function

verify(proof)

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

verify_resource_corresponds_to_tag(logic_proof)

@spec verify_resource_corresponds_to_tag(t()) :: boolean()