Anoma.RM.Transparent.ProvingSystem.DPS (Anoma v0.32.0)

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

Functions

aggregate(t1, t2)

@spec aggregate(<<_::0>>, <<_::0>>) :: <<_::0>>

I am the TRM delta proof aggregate.

In the transparent case, this is always trivial.

from_noun(list)

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

key()

@spec key() :: binary()

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

Namely, I the identifier of the verification gate encoded into the Nockma standard library. In particular, I 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.DPS.Instance.t(), <<_::0>>) ::
  <<_::0>>

I am the TRM delta proving system prove interface.

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

verify(jammed_predicate, instance, arg)

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

I am the verification function of the TRM delta proving system.

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

verify_jet(delta, expected_balance)

@spec verify_jet(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.