module arch.node.engines.commitment_config;

import prelude open;
import arch.node.engines.commitment_messages open;
import arch.system.identity.identity as Identity;
import arch.node.types.engine open;
import arch.node.types.messages open;
import arch.node.types.identities open;

Commitment Configuration¶

Overview¶

The commitment engine configuration contains static information for commitment engine instances, namely the signer and the backend.

The Commitment Configuration¶

The configuration of a Commitment Engine instance includes the identity's signing capabilities.

CommitmentCfg¶

type CommitmentCfg :=
  mk@{
    signer : Identity.Signer Backend Signable Commitment;
    backend : Backend;
  };

Instantiation¶

commitmentCfg : EngineCfg CommitmentCfg :=
  EngineCfg.mk@{
    node := PublicKey.Curve25519PubKey "0xabcd1234";
    name := "commitment";
    cfg :=
      CommitmentCfg.mk@{
        signer :=
          Identity.Signer.mkSigner@{
            sign := \{_ x := Signature.Ed25519Signature "0xabcd1234"};
          };
        backend := Backend.LocalMemory;
      };
  };