module arch.node.engines.verification_config;

import prelude open;
import arch.node.engines.verification_messages open;
import arch.node.types.engine open;
import arch.node.types.messages open;
import arch.node.types.identities open;
import arch.system.identity.identity open hiding {ExternalIdentity};

type VerificationCfg :=
  mk@{
    verifier
      : Set SignsForEvidence
        -> ExternalIdentity
        -> Verifier ByteString Backend Signable Commitment;
    backend : Backend;
    signsForEngineAddress : EngineID;
  };

module verification_config_example;
  
  verificationCfg : EngineCfg VerificationCfg :=
    EngineCfg.mk@{
      node := PublicKey.Curve25519PubKey "0xabcd1234";
      name := "verification";
      cfg :=
        VerificationCfg.mk@{
          verifier :=
            \{_ _ :=
              Verifier.mkVerifier@{
                verify := \{_ _ _ := true};
                verifierHash :=
                  HASH.mkHASH@{
                    ordKey :=
                      OrdKey.mkOrdKey@{
                        compare := Ord.compare;
                      };
                    hash := \{x := "0x1234abcd"};
                  };
              }};
          backend := Backend.LocalMemory;
          signsForEngineAddress := mkPair none "Blah";
        };
    };
end;