Resource Object

This page describes the structure of the resource object in detail.

The resource object is a data structure that contains multiple fields.

type Resource :=
  mkResource@{
    logic : Logic;
    label : Nat;
    value : Nat;
    quantity : Nat;
    nullifierKeyCommitment : Nat;
    nonce : Nat;
    randSeed : Nat;
    ephemeral : Bool;
  };

• logic A boolean-valued function enforcing predicates required to create and consume the resource.

• label Arbitrary data describing the resource and determining its kind (e.g., the name or symbol).

• value Arbitrary data associated with the resource (e.g., the owner).

• quantity The number of units that this resource describes.

• nullifierKeyCommitment A commitment to a secret nullifier key required to shield the resources. This way, observers cannot link the creation and consumption of resources.

• ephemeral A boolean expressing whether this resource is ephemeral or not, i.e., exists only during a transaction.

• nonce A number ensuring the uniqueness of the resource by preventing commitment hash collisions.

• randSeed A number to derive (pseudo)-randomness from which might be used in apps.

Further information can be found on the Anoma Resource Machine specs page.