@proto-kit/common 0.1.1-develop.245 → 0.1.1-develop.254

package/dist/index.d.ts

@@ -6,5 +6,5 @@ export * from "./zkProgrammable/ProvableMethodExecutionContext";
 export * from "./zkProgrammable/provableMethod";
 export * from "./utils";
 export * from "./dependencyFactory/DependencyFactory";
-export { default as log } from "loglevel";
+export * from "./log";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,0BAA0B,CAAC;AACzC,cAAc,6BAA6B,CAAC;AAC5C,cAAc,SAAS,CAAC;AACxB,cAAc,iCAAiC,CAAC;AAChD,cAAc,iDAAiD,CAAC;AAChE,cAAc,iCAAiC,CAAC;AAChD,cAAc,SAAS,CAAC;AACxB,cAAc,uCAAuC,CAAC;AAEtD,OAAO,EAAE,OAAO,IAAI,GAAG,EAAE,MAAM,UAAU,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,0BAA0B,CAAC;AACzC,cAAc,6BAA6B,CAAC;AAC5C,cAAc,SAAS,CAAC;AACxB,cAAc,iCAAiC,CAAC;AAChD,cAAc,iDAAiD,CAAC;AAChE,cAAc,iCAAiC,CAAC;AAChD,cAAc,SAAS,CAAC;AACxB,cAAc,uCAAuC,CAAC;AACtD,cAAc,OAAO,CAAC"}

package/dist/index.js

@@ -6,5 +6,4 @@ export * from "./zkProgrammable/ProvableMethodExecutionContext";
 export * from "./zkProgrammable/provableMethod";
 export * from "./utils";
 export * from "./dependencyFactory/DependencyFactory";
-// eslint-disable-next-line import/no-unused-modules
-export { default as log } from "loglevel";
+export * from "./log";

package/dist/log.d.ts

@@ -0,0 +1,19 @@
+import loglevel, { LogLevelDesc } from "loglevel";
+export declare const log: {
+    provable: {
+        info: (...args: unknown[]) => void;
+        debug: (...args: unknown[]) => void;
+        error: (...args: unknown[]) => void;
+        trace: (...args: unknown[]) => void;
+        warn: (...args: unknown[]) => void;
+    };
+    info: (...args: unknown[]) => void;
+    debug: (...args: unknown[]) => void;
+    error: (...args: unknown[]) => void;
+    trace: (...args: unknown[]) => void;
+    warn: (...args: unknown[]) => void;
+    setLevel: (level: LogLevelDesc) => void;
+    readonly levels: loglevel.LogLevel;
+    getLevel: () => 0 | 2 | 1 | 3 | 4 | 5;
+};
+//# sourceMappingURL=log.d.ts.map

package/dist/log.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"log.d.ts","sourceRoot":"","sources":["../src/log.ts"],"names":[],"mappings":"AACA,OAAO,QAAQ,EAAE,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAyBlD,eAAO,MAAM,GAAG;;wBAEI,OAAO,EAAE;yBAIR,OAAO,EAAE;yBAIT,OAAO,EAAE;yBAIT,OAAO,EAAE;wBAIV,OAAO,EAAE;;oBAKX,OAAO,EAAE;qBAIR,OAAO,EAAE;qBAIT,OAAO,EAAE;qBAIT,OAAO,EAAE;oBAIV,OAAO,EAAE;sBAIP,YAAY;;;CAS/B,CAAC"}

package/dist/log.js

@@ -0,0 +1,64 @@
+/* eslint-disable @typescript-eslint/unbound-method, putout/putout */
+import loglevel from "loglevel";
+import { Provable } from "snarkyjs";
+function logProvable(logFunction, ...args) {
+    Provable.asProver(() => {
+        const prettyArguments = [];
+        for (const argument of args) {
+            if (argument?.toPretty !== undefined) {
+                prettyArguments.push(argument.toPretty());
+            }
+            else {
+                try {
+                    prettyArguments.push(JSON.parse(JSON.stringify(argument)));
+                }
+                catch {
+                    prettyArguments.push(argument);
+                }
+            }
+        }
+        // eslint-disable-next-line @typescript-eslint/no-unsafe-argument
+        logFunction(...prettyArguments);
+    });
+}
+export const log = {
+    provable: {
+        info: (...args) => {
+            logProvable(loglevel.info, ...args);
+        },
+        debug: (...args) => {
+            logProvable(loglevel.debug, ...args);
+        },
+        error: (...args) => {
+            logProvable(loglevel.error, ...args);
+        },
+        trace: (...args) => {
+            logProvable(loglevel.trace, ...args);
+        },
+        warn: (...args) => {
+            logProvable(loglevel.warn, ...args);
+        },
+    },
+    info: (...args) => {
+        loglevel.info(...args);
+    },
+    debug: (...args) => {
+        loglevel.debug(...args);
+    },
+    error: (...args) => {
+        loglevel.error(...args);
+    },
+    trace: (...args) => {
+        loglevel.trace(...args);
+    },
+    warn: (...args) => {
+        loglevel.warn(...args);
+    },
+    setLevel: (level) => {
+        loglevel.setLevel(level);
+    },
+    get levels() {
+        return loglevel.levels;
+    },
+    getLevel: () => loglevel.getLevel(),
+};

package/dist/utils.d.ts

@@ -1,4 +1,4 @@
-import { FlexibleProvablePure } from "snarkyjs";
+import { Field, FlexibleProvablePure } from "snarkyjs";
 export declare function requireTrue(condition: boolean, errorOrFunction: Error | (() => Error)): void;
 export declare function range(startOrEnd: number, end: number | undefined): number[];
 /**
@@ -8,4 +8,7 @@ export declare function range(startOrEnd: number, end: number | undefined): numb
  * @returns Dummy value for the given value type
  */
 export declare function dummyValue<Value>(valueType: FlexibleProvablePure<Value>): Value;
+export interface ToFieldable {
+    toFields: () => Field[];
+}
 //# sourceMappingURL=utils.d.ts.map

package/dist/utils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../src/utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAA2B,oBAAoB,EAAE,MAAM,UAAU,CAAC;AAEzE,wBAAgB,WAAW,CACzB,SAAS,EAAE,OAAO,EAClB,eAAe,EAAE,KAAK,GAAG,CAAC,MAAM,KAAK,CAAC,GACrC,IAAI,CAMN;AAED,wBAAgB,KAAK,CAAC,UAAU,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,EAAE,CAM3E;AAGD;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAC9B,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC,GACrC,KAAK,CAMP"}
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../src/utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,oBAAoB,EAAE,MAAM,UAAU,CAAC;AAEvD,wBAAgB,WAAW,CACzB,SAAS,EAAE,OAAO,EAClB,eAAe,EAAE,KAAK,GAAG,CAAC,MAAM,KAAK,CAAC,GACrC,IAAI,CAMN;AAED,wBAAgB,KAAK,CAAC,UAAU,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,EAAE,CAM3E;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAC9B,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC,GACrC,KAAK,CAMP;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,MAAM,KAAK,EAAE,CAAC;CACzB"}

package/dist/zkProgrammable/ProvableMethodExecutionContext.d.ts

@@ -1,8 +1,9 @@
-import type { FlexibleProvable, Proof } from "snarkyjs";
+import type { Proof } from "snarkyjs";
+import { ToFieldable } from "../utils";
 export declare class ProvableMethodExecutionResult {
     moduleName?: string;
     methodName?: string;
-    args?: FlexibleProvable<unknown>[];
+    args?: ToFieldable[];
     prover?: () => Promise<Proof<unknown, unknown>>;
     prove<ProofType extends Proof<unknown, unknown>>(): Promise<ProofType>;
 }
@@ -29,7 +30,7 @@ export declare class ProvableMethodExecutionContext {
      *
      * @param methodName - Name of the method being captured in the context
      */
-    beforeMethod(moduleName: string, methodName: string, args: FlexibleProvable<unknown>[]): void;
+    beforeMethod(moduleName: string, methodName: string, args: ToFieldable[]): void;
     /**
      * Removes the latest method from the execution context stack,
      * keeping track of the amount of 'unfinished' methods. Allowing

package/dist/zkProgrammable/ProvableMethodExecutionContext.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ProvableMethodExecutionContext.d.ts","sourceRoot":"","sources":["../../src/zkProgrammable/ProvableMethodExecutionContext.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AAaxD,qBAAa,6BAA6B;IACjC,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB,IAAI,CAAC,EAAE,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;IAEnC,MAAM,CAAC,EAAE,MAAM,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;IAE1C,KAAK,CAEhB,SAAS,SAAS,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,KACtC,OAAO,CAAC,SAAS,CAAC;CAaxB;AAED;;;;GAIG;AACH,qBACa,8BAA8B;IAClC,EAAE,SAAc;IAEhB,OAAO,EAAE,MAAM,EAAE,CAAM;IAEvB,MAAM,EAAE,6BAA6B,CACN;IAItC;;;;;;OAMG;IACI,SAAS,CAAC,MAAM,EAAE,MAAM,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAI/D;;;;;OAKG;IACI,YAAY,CACjB,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,gBAAgB,CAAC,OAAO,CAAC,EAAE;IAYnC;;;;OAIG;IACI,WAAW;IAIlB,IAAW,UAAU,YAEpB;IAED,IAAW,UAAU,YAEpB;IAED;;OAEG;IACI,OAAO;;;;IAOd;;OAEG;IACI,KAAK;CAGb"}
+{"version":3,"file":"ProvableMethodExecutionContext.d.ts","sourceRoot":"","sources":["../../src/zkProgrammable/ProvableMethodExecutionContext.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAoB,KAAK,EAAE,MAAM,UAAU,CAAC;AAIxD,OAAO,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AAWvC,qBAAa,6BAA6B;IACjC,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB,IAAI,CAAC,EAAE,WAAW,EAAE,CAAC;IAErB,MAAM,CAAC,EAAE,MAAM,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;IAE1C,KAAK,CAEhB,SAAS,SAAS,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,KACtC,OAAO,CAAC,SAAS,CAAC;CAaxB;AAED;;;;GAIG;AACH,qBACa,8BAA8B;IAClC,EAAE,SAAc;IAEhB,OAAO,EAAE,MAAM,EAAE,CAAM;IAEvB,MAAM,EAAE,6BAA6B,CACN;IAItC;;;;;;OAMG;IACI,SAAS,CAAC,MAAM,EAAE,MAAM,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAI/D;;;;;OAKG;IACI,YAAY,CACjB,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,WAAW,EAAE;IAYrB;;;;OAIG;IACI,WAAW;IAIlB,IAAW,UAAU,YAEpB;IAED,IAAW,UAAU,YAEpB;IAED;;OAEG;IACI,OAAO;;;;IAOd;;OAEG;IACI,KAAK;CAGb"}

package/dist/zkProgrammable/provableMethod.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"provableMethod.d.ts","sourceRoot":"","sources":["../../src/zkProgrammable/provableMethod.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAClF,OAAO,KAAK,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAG3E,MAAM,MAAM,eAAe,GAAG,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,OAAO,CAAC;AAE9D,eAAO,MAAM,SAAS,eAAe,CAAC;AAEtC,wBAAgB,QAAQ,CACtB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,eAAe,EAChC,2BAA2B,EAAE,OAAO,EACpC,GAAG,IAAI,EAAE,OAAO,EAAE,UAGiB,eAAe,GAAG,EAAE,GAAG,CAAC,4EAyB5D;AAED;;;;;;;;GAQG;AACH,wBAAgB,cAAc,CAC5B,2BAA2B,UAAO,EAClC,gBAAgB,GAAE,8BAEjB,wGAOa,MAAM,cACN,kBAAkB,wBA4CjC"}
+{"version":3,"file":"provableMethod.d.ts","sourceRoot":"","sources":["../../src/zkProgrammable/provableMethod.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAClF,OAAO,KAAK,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAI3E,MAAM,MAAM,eAAe,GAAG,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,OAAO,CAAC;AAE9D,eAAO,MAAM,SAAS,eAAe,CAAC;AAEtC,wBAAgB,QAAQ,CACtB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,eAAe,EAChC,2BAA2B,EAAE,OAAO,EACpC,GAAG,IAAI,EAAE,OAAO,EAAE,UAGiB,eAAe,GAAG,EAAE,GAAG,CAAC,4EAyB5D;AAED;;;;;;;;GAQG;AACH,wBAAgB,cAAc,CAC5B,2BAA2B,UAAO,EAClC,gBAAgB,GAAE,8BAEjB,wGAOa,MAAM,cACN,kBAAkB,wBA4CjC"}

package/package.json

@@ -3,7 +3,7 @@
   "license": "MIT",
   "private": false,
   "type": "module",
-  "version": "0.1.1-develop.245+b1d7d07",
+  "version": "0.1.1-develop.254+2fba72e",
   "scripts": {
     "build": "tsc -p tsconfig.json",
     "dev": "tsc -p tsconfig.json --watch",
@@ -30,5 +30,5 @@
     "@jest/globals": "^29.5.0",
     "@types/lodash": "^4.14.194"
   },
-  "gitHead": "b1d7d0756743006192c20bf6b2bf152b6a81e723"
+  "gitHead": "2fba72ec580c20289658d5c831430ca601ea5a71"
 }

package/src/index.ts

@@ -6,5 +6,4 @@ export * from "./zkProgrammable/ProvableMethodExecutionContext";
 export * from "./zkProgrammable/provableMethod";
 export * from "./utils";
 export * from "./dependencyFactory/DependencyFactory";
-// eslint-disable-next-line import/no-unused-modules
-export { default as log } from "loglevel";
+export * from "./log";

package/src/log.ts

@@ -0,0 +1,79 @@
+/* eslint-disable @typescript-eslint/unbound-method, putout/putout */
+import loglevel, { LogLevelDesc } from "loglevel";
+import { Provable } from "snarkyjs";
+
+function logProvable(
+  logFunction: (...args: unknown[]) => void,
+  ...args: any[]
+) {
+  Provable.asProver(() => {
+    const prettyArguments = [];
+    for (const argument of args) {
+      if (argument?.toPretty !== undefined) {
+        prettyArguments.push(argument.toPretty());
+      } else {
+        try {
+          prettyArguments.push(JSON.parse(JSON.stringify(argument)));
+        } catch {
+          prettyArguments.push(argument);
+        }
+      }
+    }
+    // eslint-disable-next-line @typescript-eslint/no-unsafe-argument
+    logFunction(...prettyArguments);
+  });
+}
+
+export const log = {
+  provable: {
+    info: (...args: unknown[]) => {
+      logProvable(loglevel.info, ...args);
+    },
+
+    debug: (...args: unknown[]) => {
+      logProvable(loglevel.debug, ...args);
+    },
+
+    error: (...args: unknown[]) => {
+      logProvable(loglevel.error, ...args);
+    },
+
+    trace: (...args: unknown[]) => {
+      logProvable(loglevel.trace, ...args);
+    },
+
+    warn: (...args: unknown[]) => {
+      logProvable(loglevel.warn, ...args);
+    },
+  },
+
+  info: (...args: unknown[]) => {
+    loglevel.info(...args);
+  },
+
+  debug: (...args: unknown[]) => {
+    loglevel.debug(...args);
+  },
+
+  error: (...args: unknown[]) => {
+    loglevel.error(...args);
+  },
+
+  trace: (...args: unknown[]) => {
+    loglevel.trace(...args);
+  },
+
+  warn: (...args: unknown[]) => {
+    loglevel.warn(...args);
+  },
+
+  setLevel: (level: LogLevelDesc) => {
+    loglevel.setLevel(level);
+  },
+
+  get levels() {
+    return loglevel.levels;
+  },
+
+  getLevel: () => loglevel.getLevel(),
+};

package/src/utils.ts

@@ -1,4 +1,4 @@
-import { Field, FlexibleProvable, FlexibleProvablePure } from "snarkyjs";
+import { Field, FlexibleProvablePure } from "snarkyjs";
 
 export function requireTrue(
   condition: boolean,
@@ -19,7 +19,6 @@ export function range(startOrEnd: number, end: number | undefined): number[] {
   return Array.from({ length: end - startOrEnd }, (ignored, index) => index);
 }
 
-
 /**
  * Computes a dummy value for the given value type.
  *
@@ -34,4 +33,8 @@ export function dummyValue<Value>(
 
   // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
   return valueType.fromFields(fields) as Value;
-}
+}
+
+export interface ToFieldable {
+  toFields: () => Field[];
+}

package/src/zkProgrammable/ProvableMethodExecutionContext.ts

@@ -2,6 +2,8 @@ import type { FlexibleProvable, Proof } from "snarkyjs";
 import { singleton } from "tsyringe";
 import uniqueId from "lodash/uniqueId";
 
+import { ToFieldable } from "../utils";
+
 const errors = {
   moduleOrMethodNameNotSet: () => new Error("Module or method name not set"),
 
@@ -16,7 +18,7 @@ export class ProvableMethodExecutionResult {
 
   public methodName?: string;
 
-  public args?: FlexibleProvable<unknown>[];
+  public args?: ToFieldable[];
 
   public prover?: () => Promise<Proof<unknown, unknown>>;
 
@@ -74,7 +76,7 @@ export class ProvableMethodExecutionContext {
   public beforeMethod(
     moduleName: string,
     methodName: string,
-    args: FlexibleProvable<unknown>[]
+    args: ToFieldable[]
   ) {
     if (this.isFinished) {
       this.clear();

package/src/zkProgrammable/provableMethod.ts

@@ -3,6 +3,7 @@ import { container } from "tsyringe";
 
 import { ProvableMethodExecutionContext } from "./ProvableMethodExecutionContext";
 import type { WithZkProgrammable, ZkProgrammable } from "./ZkProgrammable";
+import { ToFieldable } from "../utils";
 
 // eslint-disable-next-line etc/prefer-interface
 export type DecoratedMethod = (...args: unknown[]) => unknown;
@@ -71,7 +72,7 @@ export function provableMethod(
 
     descriptor.value = function value(
       this: ZkProgrammable<unknown, unknown>,
-      ...args: FlexibleProvable<unknown>[]
+      ...args: ToFieldable[]
     ) {
       const prover = toProver(
         methodName,