Nonce

view source: Nonce.lagda.md

This module defines the Nonce type for ensuring uniqueness of resource commitments.

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

module Goose.Anoma.Nonce where

open import Foundation.BasicTypes

Nonce Structure

record Nonce : Set where
  field
    value : ℕ

open Nonce public

Default Nonce

defaultNonce : Nonce
defaultNonce = record { value =  }

---

Module References

Referenced By

This module is referenced by:

• Goose.Anoma.Nullifier
  • Symbols: Nonce, defaultNonce
• Goose.Anoma.Resource
  • Symbols: Nonce

References

This module references:

• Foundation.BasicTypes
  • Imports: ℕ