bugfix

SuccinctPaul · Nov 2, 2023 · bdb1c44 · bdb1c44
1 parent acdb75b
commit bdb1c44
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/test/recursive_proof_to_snark.sh b/test/recursive_proof_to_snark.sh
@@ -64,7 +64,7 @@ mkdir -p $RUNDIR/circuits && node $RUNDIR/$PILEXECJS -w $RUNDIR/circuits -i $TAS
     --i $WORKSPACE/circuits/$C12_VERIFIER.zkin.json  \
     --c $WORKSPACE/$C12_VERIFIER.const \
     --m $WORKSPACE/$C12_VERIFIER.cm
-    --p $WORKSPACE/$C12_VERIFIER.pil.json  \
+    --p $WORKSPACE/$C12_VERIFIER.pil.json
 
 mkdir -p $WORKSPACE/aggregation/$RECURSIVE1_VERIFIER/
 

diff --git a/test/stark_aggregation.sh b/test/stark_aggregation.sh
@@ -89,7 +89,7 @@ echo "3.compressor12. generate commit/const poly and pil.json "
     --i $input0/r1_input.zkin.json  \
     --c $WORKSPACE/$RECURSIVE_CIRCUIT.const \
     --m $WORKSPACE/$RECURSIVE_CIRCUIT.cm
-    --p $WORKSPACE/$RECURSIVE_CIRCUIT.pil.json  \
+    --p $WORKSPACE/$RECURSIVE_CIRCUIT.pil.json
 
 echo "4. generate recursive2 proof"
 # generate the stark proof and the circom circuits to verify stark proof.
@@ -139,7 +139,7 @@ echo "2.compressor12. generate commit/const poly and pil.json "
     --i $WORKSPACE/aggregation/$RECURSIVE2_CIRCUIT/r2_input.zkin.json   \
     --c $WORKSPACE/$RECURSIVE2_CIRCUIT.const \
     --m $WORKSPACE/$RECURSIVE2_CIRCUIT.cm
-    --p $WORKSPACE/$RECURSIVE2_CIRCUIT.pil.json  \
+    --p $WORKSPACE/$RECURSIVE2_CIRCUIT.pil.json
 
 echo "3. generate final proof  "
 # Remark: the N of final.starkStruct must be 2^20 , because the degree of $RECURSIVE2_CIRCUIT.pil is 2^20 which determined by the proocess of converting  $RECURSIVE_CIRCUIT2.circom to  $RECURSIVE_CIRCUIT2.pil