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 Local Configuration¶

SignsForLocalCfg¶

The type for engine-specific local configuration.

type SignsForLocalCfg := mk;

The SignsFor Configuration¶

SignsForCfg¶

SignsForCfg : Type := EngineCfg SignsForLocalCfg;

Instantiation¶

signsForCfg : SignsForCfg :=
  EngineCfg.mk@{
    node := PublicKey.Curve25519PubKey "0xabcd1234";
    name := "signs for";
    cfg := SignsForLocalCfg.mk;
  };