Fix types (#6)

* Fix types * Update package lock file
dl-solarity · Aug 28, 2024 · 50414be · 50414be
1 parent da1ba5b
commit 50414be
Show file tree

Hide file tree

Showing 3 changed files with 81 additions and 68 deletions.
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@solarity/chai-zkit",
-  "version": "0.2.2",
+  "version": "0.2.3",
   "license": "MIT",
   "author": "Distributed Lab",
   "readme": "README.md",

diff --git a/src/types.ts b/src/types.ts
@@ -21,18 +21,7 @@ declare global {
       <T>(val: T, message?: string): Assertion<T>;
     }
 
-    interface Witness<T = any> {
-      witnessInputs(inputs: T extends Circuit ? ExtractInputs<T> : never): AsyncAssertion<T>;
-      witnessOutputs(outputs: T extends Circuit ? Partial<ExtractOutputs<T>> : never): AsyncAssertion<T>;
-    }
-
-    interface Proof<T = any> {
-      generateProof(inputs: T extends Circuit ? ExtractInputs<T> : never): AsyncAssertion<T>;
-      verifyProof(proof: T extends Circuit ? ExtractProofType<T> : never): AsyncAssertion<T>;
-      useSolidityVerifier(verifierContract: any): AsyncAssertion<T>;
-    }
-
-    interface AsyncAssertion<T = any> extends Promise<void>, Witness<T>, Proof<T> {
+    interface AsyncAssertion<T = any> extends Promise<void> {
       not: AsyncAssertion<T>;
       strict: AsyncAssertion<T>;
       constraints: AsyncAssertion<T>;
@@ -51,9 +40,16 @@ declare global {
       same: AsyncAssertion<T>;
       but: AsyncAssertion<T>;
       does: AsyncAssertion<T>;
+
+      witnessInputs(inputs: T extends Circuit ? ExtractInputs<T> : never): AsyncAssertion<T>;
+      witnessOutputs(outputs: T extends Circuit ? Partial<ExtractOutputs<T>> : never): AsyncAssertion<T>;
+
+      generateProof(inputs: T extends Circuit ? ExtractInputs<T> : never): AsyncAssertion<T>;
+      verifyProof(proof: T extends Circuit ? ExtractProofType<T> : never): AsyncAssertion<T>;
+      useSolidityVerifier(verifierContract: any): AsyncAssertion<T>;
     }
 
-    interface Assertion<T = any> extends Witness<T>, Proof<T> {
+    interface Assertion<T = any> {
       constraints: Assertion<T>;
       to: Assertion<T>;
       be: Assertion<T>;
@@ -70,6 +66,13 @@ declare global {
       same: Assertion<T>;
       but: Assertion<T>;
       does: Assertion<T>;
+
+      witnessInputs(inputs: T extends Circuit ? ExtractInputs<T> : never): AsyncAssertion<T>;
+      witnessOutputs(outputs: T extends Circuit ? Partial<ExtractOutputs<T>> : never): AsyncAssertion<T>;
+
+      generateProof(inputs: T extends Circuit ? ExtractInputs<T> : never): AsyncAssertion<T>;
+      verifyProof(proof: T extends Circuit ? ExtractProofType<T> : never): AsyncAssertion<T>;
+      useSolidityVerifier(verifierContract: any): AsyncAssertion<T>;
     }
   }
 }