Nullifier

view source: Nullifier.lagda.md

A public value derived from a secret NullifierKey and a resource.

{-# OPTIONS --without-K #-}

module RM.Types.Nullifier where

open import RM.Types.NullifierKey
open import RM.Types.Nonce

Nullifier Type

data Nullifier : Set where
  privateMk : Nullifier

Nullifier to Nonce Conversion

toNonce : Nullifier → Nonce
toNonce privateMk = defaultNonce

Note: This is a placeholder implementation. A proper conversion should avoid collisions.

---

References to other modules

This page references the following modules:

• RM.Types.NullifierKey
  • Symbols: NullifierKey, NullifierKeyCommitment, NullifierKeyMatchesCommitment, universal, secret, ofSecret, checkNullifierKey, commitment

---

Module References

Referenced By

This module is referenced by:

• RM.Types.Resource
  • Symbols: Nullifier, privateMk

References

This module references:

• RM.Types.Nonce
  • Imports: Nonce, defaultNonce