Cryptographic Primitives

Juvix imports

module arch.node.types.crypto;

import prelude open;
import Stdlib.Trait.Ord open using {Ordering; Ord; mkOrd; EQ};

Cryptographic primitives

Public key

type PublicKey := Curve25519PubKey;

instance
PublicKeyOrd : Ord PublicKey :=
  mkOrd@{
    cmp := \ {_ _ := EQ}
  };

Private key

type PrivateKey := Curve25519PrivKey;

instance
PrivateKeyOrd : Ord PrivateKey :=
  mkOrd@{
    cmp := \ {_ _ := EQ}
  };

Signature

Cryptographic signature.

type Signature := Ed25519Signature;

Digest

Message digest. Output of a cryptographic hash function.

type Digest := Blake3Digest;