fix: instance/subquery padding (#31)

axiom-crypto · Jan 18, 2024 · 30953a1 · 30953a1
1 parent 4d60730
commit 30953a1
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/circuit/js/src/circuitRunner.ts b/circuit/js/src/circuitRunner.ts
@@ -93,12 +93,12 @@ const padInstances = () => {
   const numDataInstances = dataInstances.length;
 
   for (let i = numUserInstances; i < USER_COMPUTE_NUM_INSTANCES; i++) {
-    let witness = halo2Lib.witness("0");
+    let witness = halo2Lib.constant("0");
     userInstances.push(witness);
   }
 
   for (let i = numDataInstances; i < SUBQUERY_NUM_INSTANCES; i++) {
-    let witness = halo2Lib.witness("0");
+    let witness = halo2Lib.constant("0");
     dataInstances.push(witness);
   }
 

diff --git a/circuit/js/src/subquery/data.ts b/circuit/js/src/subquery/data.ts
@@ -64,7 +64,7 @@ export const prepData = async (dataSubquery: DataSubquery, queryArr: CircuitValu
 
   let paddedQueryArr = [circuitType, ...queryArr];
   for (let i = queryArr.length; i < 13; i++) {
-    paddedQueryArr.push(getCircuitValueWitness(0));
+    paddedQueryArr.push(getCircuitValueConstant(0));
   }
   paddedQueryArr.push(witness.hi());
   paddedQueryArr.push(witness.lo());