module arch.node.engines.commitment_config;

import prelude open;
import arch.node.engines.commitment_messages open;
import arch.system.identity.identity open using {Signer; mkSigner};
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 :=
  mkCommitmentCfg@{
    signer : Signer Backend Signable Commitment;
    backend : Backend;
  };

Instantiation¶

commitmentCfg : EngineCfg CommitmentCfg :=
  mkEngineCfg@{
    node := Curve25519PubKey "0xabcd1234";
    name := "commitment";
    cfg :=
      mkCommitmentCfg@{
        signer :=
          mkSigner@{
            sign := \{_ x := Ed25519Signature "0xabcd1234"};
          };
        backend := BackendLocalMemory;
      };
  };