Identity types

Juvix imports

module node_architecture.identity_types;

import prelude open;

Types for network identities¶

Types in this section are used to represent identities within the network.

A unique identifier, such as a public key, represented as a natural number.

syntax alias ExternalID := Nat;

A unique identifier, such as a private key, used internally within the network, represented as a natural number.

syntax alias InternalID := Nat;

A pair combining an ExternalID and an InternalID, representing the complete identity of an entity within the network.

Identity : Type := Pair ExternalID InternalID;

A name could be a simple string without any particular meaning in the system or an external identity.

Name : Type := Either String ExternalID;

An address is a name used for forwarding messages to the correct destination.

syntax alias Address := Name;