compatible with standard ts

Author: chfanghr

.eslintrc

@@ -1,10 +1,7 @@
 {
   "root": true,
   "parser": "@typescript-eslint/parser",
-  "plugins": [
-    "@typescript-eslint",
-    "prettier"
-  ],
+  "plugins": ["@typescript-eslint", "prettier"],
   "extends": [
     "eslint:recommended",
     "plugin:@typescript-eslint/eslint-recommended",
@@ -15,4 +12,4 @@
     // "no-console": 1,       // Means warning
     "prettier/prettier": 2 // Means error
   }
-}
+}

.prettierrc

@@ -3,4 +3,4 @@
   "trailingComma": "none",
   "singleQuote": true,
   "printWidth": 80
-}
+}

README.md

@@ -1,12 +1,11 @@
 # MinAuth
-Rapid development of POC of MinAuth - MinAuth is a library and a set of tools for providing JWT-based authentication protocol that uses SnarkyJS zero-knowledge proofs as the basis of the authentication.  It uses plugins to prove statements about external data such as on-chain data or 3rd-party data.
 
+Rapid development of POC of MinAuth - MinAuth is a library and a set of tools for providing JWT-based authentication protocol that uses SnarkyJS zero-knowledge proofs as the basis of the authentication. It uses plugins to prove statements about external data such as on-chain data or 3rd-party data.
 
 ### Current status
 
 The current code implements minimal authentication flow that recreates the usual passport authentication, but using snarkyjs ZKPs.
 
-
 ### Repository Structure
 
 Currently the source code of the repository is structure like this:

nodemon.json

@@ -1,13 +1,11 @@
 {
-    "watch": [
-        "src"
-    ],
-    "ext": ".ts,.js",
-    "ignore": [],
-    "execMap": {
-        "ts": "ts-node"
-    },
-    "env": {
-        "TS_NODE_PROJECT": "tsconfig.json"
-    }
+  "watch": ["src"],
+  "ext": ".ts,.js",
+  "ignore": [],
+  "execMap": {
+    "ts": "ts-node"
+  },
+  "env": {
+    "TS_NODE_PROJECT": "tsconfig.json"
+  }
 }

package-lock.json

@@ -50,6 +50,7 @@
     "nodemon": "^3.0.1",
     "prettier": "^3.0.3",
     "ts-node": "^10.9.1",
+    "tsconfig-paths": "^4.2.0",
     "typescript": "^5.2.2"
   },
   "peerDependencies": {

package.json

@@ -1,5 +1,12 @@
 import * as path from 'path';
-import { IMinAuthPlugin, IMinAuthPluginFactory } from './pluginType';
+import {
+  FpInterfaceType,
+  IMinAuthPlugin,
+  IMinAuthPluginFactory,
+  TsInterfaceType,
+  fpInterfaceTag,
+  tsInterfaceTag
+} from './pluginType';
 import * as R from 'fp-ts/Record';
 import { pipe } from 'fp-ts/function';
 import { TaskEither } from 'fp-ts/TaskEither';
@@ -12,10 +19,7 @@ import { z } from 'zod';
 import env from 'env-var';
 import { existsSync } from 'fs';
 import fs from 'fs/promises';
-import {
-  fromFailablePromise,
-  liftZodParseResult
-} from '../../utils/TaskEither';
+import { fromFailablePromise, liftZodParseResult } from '@utils/fp/TaskEither';
 
 export const configurationSchema = z.object({
   pluginDir: z.string().optional(),
@@ -62,17 +66,29 @@ export const readConfiguration = _readConfiguration(
 
 //
 
-export type UntypedPlugin = IMinAuthPlugin<unknown, unknown>;
-
-export type UntypedPluginFactory = IMinAuthPluginFactory<
-  UntypedPlugin,
-  unknown,
-  unknown,
-  unknown
->;
+export interface UntypedPluginInstance
+  extends IMinAuthPlugin<FpInterfaceType, unknown, unknown> {}
+
+export type UntypedPluginFactory =
+  | IMinAuthPluginFactory<
+      IMinAuthPlugin<FpInterfaceType, unknown, unknown>,
+      FpInterfaceType,
+      unknown,
+      unknown,
+      unknown
+    >
+  | IMinAuthPluginFactory<
+      IMinAuthPlugin<TsInterfaceType, unknown, unknown>,
+      TsInterfaceType,
+      unknown,
+      unknown,
+      unknown
+    >;
 
 export type UntypedPluginModule = { default: UntypedPluginFactory };
 
+export type ActivePlugins = Record<string, UntypedPluginInstance>;
+
 const importPluginModule = (
   pluginModulePath: string
 ): TaskEither<string, UntypedPluginModule> =>
@@ -87,22 +103,45 @@ const validatePluginCfg = (
 const initializePlugin = (
   pluginModulePath: string,
   pluginCfg: unknown
-): TaskEither<string, UntypedPlugin> =>
+): TaskEither<string, UntypedPluginInstance> =>
   pipe(
     TE.Do,
     TE.bind('pluginModule', () => importPluginModule(pluginModulePath)),
     TE.let('pluginFactory', ({ pluginModule }) => pluginModule.default),
     TE.bind('typedPluginCfg', ({ pluginFactory }) =>
       validatePluginCfg(pluginCfg, pluginFactory)
     ),
-    TE.chain(({ pluginFactory, typedPluginCfg }) =>
-      pluginFactory.initialize(typedPluginCfg)
+    TE.chain(
+      ({
+        pluginFactory,
+        typedPluginCfg
+      }): TaskEither<string, UntypedPluginInstance> =>
+        pluginFactory.__interface_tag === fpInterfaceTag
+          ? pluginFactory.initialize(typedPluginCfg)
+          : pluginFactory.__interface_tag === tsInterfaceTag
+          ? pipe(
+              fromFailablePromise(() =>
+                pluginFactory.initialize(typedPluginCfg)
+              ),
+              TE.map(
+                (obj): UntypedPluginInstance => ({
+                  __interface_tag: fpInterfaceTag,
+                  verifyAndGetOutput: (pia, sp) =>
+                    fromFailablePromise(() => obj.verifyAndGetOutput(pia, sp)),
+                  publicInputArgsSchema: obj.publicInputArgsSchema,
+                  customRoutes: obj.customRoutes,
+                  verificationKey: obj.verificationKey
+                })
+              )
+            )
+          : // TODO This check should be moved to `importPluginModule`
+            TE.throwError('invalid plugin module')
     )
   );
 
 export const initializePlugins = (
   cfg: Configuration
-): TaskEither<string, Record<string, UntypedPlugin>> => {
+): TaskEither<string, ActivePlugins> => {
   const resolvePluginModulePath =
     (name: string, optionalPath?: string) => () => {
       const dir =
@@ -121,7 +160,7 @@ export const initializePlugins = (
       path?: string | undefined;
       config?: unknown;
     }
-  ): TaskEither<string, UntypedPlugin> =>
+  ): TaskEither<string, UntypedPluginInstance> =>
     pipe(
       TE.fromIO(resolvePluginModulePath(pluginName, pluginCfg.path)),
       TE.chain((modulePath: string) =>