refactor(zkprogram.ts): simplify serialization of publicInputFields a…

…nd publicInputAux by merging non-pure and pure input branch cases into one.
o1-labs · Nov 20, 2024 · 6ea6545 · 6ea6545
1 parent d9588a9
commit 6ea6545
Showing 1 changed file with 4 additions and 10 deletions.
diff --git a/src/lib/proof-system/zkprogram.ts b/src/lib/proof-system/zkprogram.ts
@@ -403,16 +403,10 @@ function ZkProgram<
         .toAuxiliary(publicInput)
         .some((aux) => aux.length !== 0);
 
-      let publicInputFields, publicInputAux;
-      if (nonPureInputExists) {
-        // serialize publicInput into pure provable field elements and auxiliary data
-        ({ publicInputFields, publicInputAux } = toFieldAndAuxConsts(
-          publicInputType,
-          publicInput
-        ));
-      } else {
-        publicInputFields = toFieldConsts(publicInputType, publicInput);
-      }
+      let { publicInputFields, publicInputAux } = toFieldAndAuxConsts(
+        publicInputType,
+        publicInput
+      );
 
       let previousProofs = MlArray.to(getPreviousProofsForProver(args));