lint

Author: bleepbloopsify

.oxlintrc.json

@@ -1,7 +1,5 @@
 {
-  "extends": [
-    "oxlint/recommended"
-  ],
+  "extends": ["oxlint/recommended"],
   "rules": {
     "erasing-op": "off",
     "no-new-array": "off",
@@ -23,4 +21,4 @@
     "src/mina/",
     "**/*.d.ts"
   ]
-}
+}

src/lib/.oxlintrc.json

@@ -1,7 +1,5 @@
 {
-  "extends": [
-    "oxlint/recommended"
-  ],
+  "extends": ["oxlint/recommended"],
   "rules": {
     "erasing-op": "off",
     "no-new-array": "off",
@@ -11,4 +9,4 @@
     "no-useless-escape": "off",
     "no-wrapper-object-types": "off"
   }
-}
+}

src/lib/proof-system/lazy-mode.unit-test.ts

@@ -77,9 +77,9 @@ function runSubprocess(lazyMode: boolean): Promise<void> {
     child.on('exit', (code) => {
       console.log(`(Parent) Process lazyMode=${lazyMode} exited with code ${code}`);
       if (code === 0) {
-        resolve()
+        resolve();
       } else {
-        reject(new Error(`Test failed for lazyMode=${lazyMode}`))
+        reject(new Error(`Test failed for lazyMode=${lazyMode}`));
       }
     });
   });

src/lib/proof-system/recursive.ts

@@ -34,20 +34,20 @@ function Recursive<
     }>;
   }
 ): {
-    [Key in keyof PrivateInputs]: RecursiveProver<
+  [Key in keyof PrivateInputs]: RecursiveProver<
+    InferProvable<PublicInputType>,
+    PublicInputType,
+    InferProvable<PublicOutputType>,
+    PrivateInputs[Key]
+  > & {
+    if: ConditionalRecursiveProver<
       InferProvable<PublicInputType>,
       PublicInputType,
       InferProvable<PublicOutputType>,
       PrivateInputs[Key]
-    > & {
-      if: ConditionalRecursiveProver<
-        InferProvable<PublicInputType>,
-        PublicInputType,
-        InferProvable<PublicOutputType>,
-        PrivateInputs[Key]
-      >;
-    };
-  } {
+    >;
+  };
+} {
   type PublicInput = InferProvable<PublicInputType>;
   type PublicOutput = InferProvable<PublicOutputType>;
   type MethodKey = keyof PrivateInputs;
@@ -175,14 +175,14 @@ type ConditionalRecursiveProver<
   Args extends Tuple<ProvableType>,
 > = PublicInput extends undefined
   ? (
-    condition: Bool | { condition: Bool; domainLog2?: number },
-    ...args: TupleFrom<Args>
-  ) => Promise<PublicOutput>
+      condition: Bool | { condition: Bool; domainLog2?: number },
+      ...args: TupleFrom<Args>
+    ) => Promise<PublicOutput>
   : (
-    condition: Bool | { condition: Bool; domainLog2?: number },
-    publicInput: From<PublicInputType>,
-    ...args: TupleFrom<Args>
-  ) => Promise<PublicOutput>;
+      condition: Bool | { condition: Bool; domainLog2?: number },
+      publicInput: From<PublicInputType>,
+      ...args: TupleFrom<Args>
+    ) => Promise<PublicOutput>;
 
 type TupleFrom<T> = {
   [I in keyof T]: From<T[I]>;