module arch.system.types.nullifierkey;

import prelude open;
import arch.node.types.crypto open;

Nullifier Key¶

A resource nullifier key is of type NullifierKey, sometimes called nullifier key commitment. A nullifier key is data NullifierKey. A nullifier key is data used to compute the nullifier of a resource and expected to be unique for each resource.

NullifierKey¶

type NullifierKey :=
  mkNullifierKey@{
    key : Digest;
  };

deriving instance
nullifierKeyEq : Eq NullifierKey;

deriving instance
nullifierKeyOrd : Ord NullifierKey;

Purpose¶

The publishing of a resource nullifier key marks the resource associated with the nullifier as consumed.