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; type CommitmentCfg := mk@{ signer : Identity.Signer Backend Signable Commitment; backend : Backend; }; module commitment_config_example; 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; }; }; end;