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 := mkShardCfg;

Instantiation

shardCfg : EngineCfg ShardCfg :=
mkEngineCfg@{
node := Curve25519PubKey "0xabcd1234";
name := "shard";
cfg := mkShardCfg;
};