@proto-kit/common 0.1.1-develop.191 → 0.1.1-develop.211

package/dist/utils.d.ts

@@ -1,3 +1,11 @@
+import { FlexibleProvablePure } from "snarkyjs";
 export declare function requireTrue(condition: boolean, errorOrFunction: Error | (() => Error)): void;
 export declare function range(startOrEnd: number, end: number | undefined): number[];
+/**
+ * Computes a dummy value for the given value type.
+ *
+ * @param valueType - Value type to generate the dummy value for
+ * @returns Dummy value for the given value type
+ */
+export declare function dummyValue<Value>(valueType: FlexibleProvablePure<Value>): Value;
 //# 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,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"}
+{"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"}

package/dist/utils.js

@@ -1,3 +1,4 @@
+import { Field } from "snarkyjs";
 export function requireTrue(condition, errorOrFunction) {
     if (!condition) {
         throw typeof errorOrFunction === "function"
@@ -12,3 +13,15 @@ export function range(startOrEnd, end) {
     }
     return Array.from({ length: end - startOrEnd }, (ignored, index) => index);
 }
+/**
+ * Computes a dummy value for the given value type.
+ *
+ * @param valueType - Value type to generate the dummy value for
+ * @returns Dummy value for the given value type
+ */
+export function dummyValue(valueType) {
+    const length = valueType.sizeInFields();
+    const fields = Array.from({ length }, () => Field(0));
+    // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
+    return valueType.fromFields(fields);
+}

package/dist/zkProgrammable/provableMethod.d.ts

@@ -1,5 +1,5 @@
 import { ProvableMethodExecutionContext } from "./ProvableMethodExecutionContext";
-import type { ZkProgrammable } from "./ZkProgrammable";
+import type { WithZkProgrammable, ZkProgrammable } from "./ZkProgrammable";
 export type DecoratedMethod = (...args: unknown[]) => unknown;
 export declare const mockProof = "mock-proof";
 export declare function toProver(methodName: string, simulatedMethod: DecoratedMethod, isFirstParameterPublicInput: boolean, ...args: unknown[]): (this: ZkProgrammable<any, any>) => Promise<import("snarkyjs/dist/node/lib/proof_system").Proof<any, any>>;
@@ -12,5 +12,5 @@ export declare function toProver(methodName: string, simulatedMethod: DecoratedM
  * @param executionContext
  * @returns
  */
-export declare function provableMethod(isFirstParameterPublicInput?: boolean, executionContext?: ProvableMethodExecutionContext): <Target extends ZkProgrammable<any, any>>(target: Target, methodName: string, descriptor: PropertyDescriptor) => PropertyDescriptor;
+export declare function provableMethod(isFirstParameterPublicInput?: boolean, executionContext?: ProvableMethodExecutionContext): <Target extends ZkProgrammable<any, any> | WithZkProgrammable<any, any>>(target: Target, methodName: string, descriptor: PropertyDescriptor) => PropertyDescriptor;
 //# sourceMappingURL=provableMethod.d.ts.map

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,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAGvD,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,yEAKa,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;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"}

package/dist/zkProgrammable/provableMethod.js

@@ -35,7 +35,6 @@ export function toProver(methodName, simulatedMethod, isFirstParameterPublicInpu
  * @returns
  */
 export function provableMethod(isFirstParameterPublicInput = true, executionContext = container.resolve(ProvableMethodExecutionContext)) {
-    // eslint-disable-next-line @typescript-eslint/no-explicit-any
     return (target, methodName, descriptor) => {
         // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
         const simulatedMethod = descriptor.value;

package/package.json

@@ -3,7 +3,7 @@
   "license": "MIT",
   "private": false,
   "type": "module",
-  "version": "0.1.1-develop.191+554ba10",
+  "version": "0.1.1-develop.211+662735c",
   "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": "554ba102c48f41a62409ff01354582567ef4124a"
+  "gitHead": "662735cd072170aa01a9f6040e89293a3e3fc8a9"
 }

package/src/utils.ts

@@ -1,3 +1,5 @@
+import { Field, FlexibleProvable, FlexibleProvablePure } from "snarkyjs";
+
 export function requireTrue(
   condition: boolean,
   errorOrFunction: Error | (() => Error)
@@ -16,3 +18,20 @@ 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.
+ *
+ * @param valueType - Value type to generate the dummy value for
+ * @returns Dummy value for the given value type
+ */
+export function dummyValue<Value>(
+  valueType: FlexibleProvablePure<Value>
+): Value {
+  const length = valueType.sizeInFields();
+  const fields = Array.from({ length }, () => Field(0));
+
+  // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
+  return valueType.fromFields(fields) as Value;
+}

package/src/zkProgrammable/provableMethod.ts

@@ -2,7 +2,7 @@ import { FlexibleProvable } from "snarkyjs";
 import { container } from "tsyringe";
 
 import { ProvableMethodExecutionContext } from "./ProvableMethodExecutionContext";
-import type { ZkProgrammable } from "./ZkProgrammable";
+import type { WithZkProgrammable, ZkProgrammable } from "./ZkProgrammable";
 
 // eslint-disable-next-line etc/prefer-interface
 export type DecoratedMethod = (...args: unknown[]) => unknown;
@@ -58,8 +58,10 @@ export function provableMethod(
     ProvableMethodExecutionContext
   )
 ) {
-  // eslint-disable-next-line @typescript-eslint/no-explicit-any
-  return <Target extends ZkProgrammable<any, any>>(
+  return <
+    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+    Target extends WithZkProgrammable<any, any> | ZkProgrammable<any, any>
+  >(
     target: Target,
     methodName: string,
     descriptor: PropertyDescriptor