Skip to content

Cryptographic Primitives

Cryptographic primitives following the Anoma specification.

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

module Goose.Anoma.Crypto where

open import Foundation.BasicTypes

Public Key Cryptography

data PublicKey : Set where
  curve25519PubKey : String → PublicKey

data PrivateKey : Set where
  curve25519PrivKey : String → PrivateKey

Cryptographic Signature

data Signature : Set where
  ed25519Signature : String → Signature

Message Digest

Output of a cryptographic hash function.

data Digest : Set where
  Blake3Digest : String → Digest
Module References

Referenced By

This module is referenced by: