Skip to content
Juvix imports

module arch.node.engines.signs_for_config;

import prelude open;
import arch.node.engines.signs_for_messages open;
import arch.node.types.engine open;
import arch.node.types.messages open;
import arch.node.types.identities open;

SignsFor Configuration

Overview

The SignsFor engine configuration contains static information for SignsFor engine instances.

The SignsFor Configuration

SignsForCfg

type SignsForCfg := mkSignsForCfg;

Instantiation

signsForCfg : EngineCfg SignsForCfg :=
mkEngineCfg@{
node := Curve25519PubKey "0xabcd1234";
name := "signs for";
cfg := mkSignsForCfg;
};