module arch.node.net.node_proxy_config;

import arch.node.net.node_proxy_messages open;
import arch.node.types.basics open;
import arch.node.types.engine open;
import arch.node.types.identities open;

Node Proxy Configuration¶

Overview¶

The static configuration of the engine.

The Node Proxy Local Configuration¶

NodeProxyLocalCfg¶

The type for engine-specific local configuration.

type NodeProxyLocalCfg := mkNodeProxyLocalCfg;

The Node Proxy Configuration¶

NodeProxyCfg¶

NodeProxyCfg : Type := EngineCfg NodeProxyLocalCfg;

Instantiation¶

exNodeProxyCfg : NodeProxyCfg :=
  mkEngineCfg@{
    node := Curve25519PubKey "0xabcd1234";
    name := "node-proxy";
    cfg := mkNodeProxyLocalCfg;
  };