Anoma.RM.Transparent.ProvingSystem.CPS (Anoma v0.31.0)

@type t() :: %Anoma.RM.Transparent.ProvingSystem.CPS{
  instance: Anoma.RM.Transparent.ProvingSystem.CPS.Instance.t(),
  proof: <<_::0>>,
  proving_key: cps_key(),
  verifying_key: cps_key(),
  witness: <<_::0>>
}

Functions

check_nullified_has_been_created(res, rt)

@spec check_nullified_has_been_created(Anoma.RM.Transparent.Resource.t(), integer()) ::
  true | {:error, String.t()}

A am the root verification function for the TRM compliance prooving system.

Given a resource and a root of the accumulator, if the resource is not ephemeral, I decode the root to provide access to the underlying set and verify that the resource is indeed contained in it.

from_noun(list)

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

key()

@spec key() :: binary()

I am the TRM compliance proving system verifying and proving key.

Namely, I am the identifier of the verification gate encoded into the Nockma standard library. In particular, I am the jam of the logic of the verify gate.

Developer warning: this means that if the layer in which the gate is located changes, this value may change as well.

prove(_, _, _)

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

I am the TRM compliance proving system prove interface.

As we are in the transparent case, this is always trivial.

to_noun(t)

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

verify(jammed_predicate, instance, arg)

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

I am the verification function for the TRM compliance proving system.

I cue the jammed predicate given, then evaluate it giving the instance as an argument.

verify_cms_compliance(consumed)

@spec verify_cms_compliance([{integer(), integer()}]) ::
  {:ok, MapSet.t(Anoma.RM.Transparent.Resource.t())} | {:error, String.t()}

I am the commitment verification function for the TRM.

I check that the commitments provided are indeed commitments of some resources.

verify_delta(consumed, created, unitdelta)

@spec verify_delta(
  MapSet.t(Anoma.RM.Transparent.Resource.t()),
  MapSet.t(Anoma.RM.Transparent.Resource.t()),
  integer()
) :: boolean()

I am the delta verification function of the TRM implementation of the compliance proof system.

I check that the delta of the unit is computed correctly.

verify_jet(consumed, created, unitdelta)

@spec verify_jet(
  [{integer(), integer(), integer()}],
  [{integer(), integer()}],
  integer()
) :: boolean()

I am the verify jet. I am to be used as the jet of the verification gate in the Nockma standard library.

I check the constraints as specified by the RM specification.

verify_nulfs_compliance(consumed)

@spec verify_nulfs_compliance([{integer(), integer()}]) ::
  {:ok, MapSet.t(Anoma.RM.Transparent.Resource.t())} | {:error, String.t()}

I am the nullifier verification function of the TRM

I check that the nullifiers provided are indeed nullifiers of some resources and that, moreover, these are in specified accumulators.

See check_nullified_has_been_created/2 for more info.