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 := mk;
Instantiation¶
signsForCfg : EngineCfg SignsForCfg :=
EngineCfg.mk@{
node := PublicKey.Curve25519PubKey "0xabcd1234";
name := "signs for";
cfg := SignsForCfg.mk;
};