action.md

Action

type Action :=
  mkAction@{
    commitments : List Nat;
    nullifiers : List Nat;
    proofs : List Proof;
    appData : Nat;
  };

• commitments: Computed for each created resource (see #creation).
• nullifiers: Computed for each consumed resource (see #consumption).
• proofs: Contains a logic and compliance proof for each resource referred in the commitments and nullifiers fields.
• appData: A map (encoded as a natural number) containing arbitrary, application-specific data.