Anoma.RM.Transparent.ComplianceUnit (Anoma v0.31.0)

@type t() :: %Anoma.RM.Transparent.ComplianceUnit{
  instance: Anoma.RM.Transparent.ProvingSystem.CPS.Instance.t(),
  proof: <<_::0>>,
  vk: binary()
}

Functions

consumed(t)

@spec consumed(t()) :: MapSet.t(integer())

I am the consumed function for the compliance unit in TRM.

I access the consumed field in a given instance of the unit and collect the result in a set.

create(key, instance, proof)

@spec create(
  Anoma.RM.Transparent.ProvingSystem.CPS.cps_key(),
  Anoma.RM.Transparent.ProvingSystem.CPS.Instance.t(),
  <<_::0>>
) :: t()

I am the creation API for the compliance unit of the TRM.

Given a key, instance, and proof for the unit, I put them as appropriate arguments to the unit.

created(t)

@spec created(t()) :: MapSet.t(integer())

I am the created function for a compliance unit in TRM.

I access the created field in a given instance of the unit and collect the result in a set.

delta(t)

@spec delta(t()) :: integer()

I am the delta function for a compliance unit in the TRM.

I simply access the unit delta field in the compliance unit.

from_noun(list)

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

to_noun(t)

@spec to_noun(t()) :: Noun.t()

verify(t)

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

I am the compliance unit verification function.

I simply call the compliance proving system verification function.