module arch.node.engines.decryption_config;

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

type DecryptionLocalCfg :=
  mk@{
    decryptor : Identity.Decryptor Backend Plaintext Ciphertext;
    backend : Backend;
  };

DecryptionCfg : Type := EngineCfg DecryptionLocalCfg;

module decryption_config_example;
  
  decryptionCfg : DecryptionCfg :=
    EngineCfg.mk@{
      node := PublicKey.Curve25519PubKey "0xabcd1234";
      name := "decryption";
      cfg :=
        DecryptionLocalCfg.mk@{
          decryptor :=
            Identity.Decryptor.mkDecryptor@{
              decrypt := \{_ x := some x};
            };
          backend := Backend.LocalMemory;
        };
    };
end;