I am the Action module of the TRM.

I provide the interfaces for handling transparent actions.

Public API

I provide the following public functionality

• delta/1
• verify/1
• cu_check/1
• cu_precis/1
• partition_check/1
• created_logic_check/2
• consumed_logic_check/2
• create/3

@spec consumed_logic_check(t()) :: boolean()

I am the function to check consumed resource logics.

I go through the consumed resources and verify them using the proving system interface.

@spec create(
  [{<<_::256>>, Anoma.RM.Transparent.Resource.t(), integer()}],
  [Anoma.RM.Transparent.Resource.t()],
  %{required(integer()) => [{binary(), boolean()}]}
) :: t()

I am the creation interface for the transparent action.

I compute the appropriate compliance unit for the action by going through a given list of nullified and created resources, then put the rest into appropriate structure slots.

@spec created_logic_check(t()) :: bool()

I am the function to check created resource logics.

I go through the created resources and verify them using the proving system interface.

@spec cu_check(t()) :: boolean()

I am the check for compliance units in a transparent action.

I simply go through the compliance units and verify each one using the appropriate interface.

@spec cu_precis(t()) ::
  {:ok, %{consumed: MapSet.t(), created: MapSet.t()}} | {:error, String.t()}

I am the precis function for the compliance units.

I gather all commitments and nullifiers from the appropriate compliance units in a provided action. Moreover, I check that they are indeed disjoint across, provind an error in the opposite case.

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

I am the delta computation function for the transparent action.

I simply sum up the unit deltas across the compliance units.

@spec partition_check(t()) :: {:ok, bool()} | {:error, String.t()}

I am the partition check for a transparent action.

Given an action, I check that the compliance units fully cover it.

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

I am the action verification function.

I first check that there are no repeated resources across nullified and committed hashes. Then check that the compliance units actually partition the action. Finally, I run logic checks for each created and consumed resource.