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;

Signs For Configuration¶

Overview¶

The Signs For engine configuration contains static information for Signs For engine instances.

The Signs For Configuration¶

SignsForCfg¶

type SignsForCfg := mkSignsForCfg;

Instantiation¶

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