Skip to content

Juvix imports

module arch.node.engines.shard_config;

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

Shard Configuration¶

Overview¶

The shard configuration contains static information for shard engine instances.

The Shard Configuration¶

`ShardCfg`¶

type ShardCfg := mk;

Instantiation¶

shardCfg : EngineCfg ShardCfg :=
  EngineCfg.mk@{
    node := PublicKey.Curve25519PubKey "0xabcd1234";
    name := "shard";
    cfg := ShardCfg.mk;
  };