bugfix

SuccinctPaul · Nov 2, 2023 · 245b62f · 245b62f
1 parent bdb1c44
commit 245b62f
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
@@ -63,7 +63,7 @@ mkdir -p $RUNDIR/circuits && node $RUNDIR/$PILEXECJS -w $RUNDIR/circuits -i $TAS
     --w $WORKSPACE/$C12_VERIFIER"_js"/$CIRCUIT.c12.wasm  \
     --i $WORKSPACE/circuits/$C12_VERIFIER.zkin.json  \
     --c $WORKSPACE/$C12_VERIFIER.const \
-    --m $WORKSPACE/$C12_VERIFIER.cm
+    --m $WORKSPACE/$C12_VERIFIER.cm \
     --p $WORKSPACE/$C12_VERIFIER.pil.json
 
 mkdir -p $WORKSPACE/aggregation/$RECURSIVE1_VERIFIER/

diff --git a/test/stark_aggregation.sh b/test/stark_aggregation.sh
@@ -88,7 +88,7 @@ echo "3.compressor12. generate commit/const poly and pil.json "
     --w $WORKSPACE/$RECURSIVE_CIRCUIT"_js"/$RECURSIVE_CIRCUIT.wasm  \
     --i $input0/r1_input.zkin.json  \
     --c $WORKSPACE/$RECURSIVE_CIRCUIT.const \
-    --m $WORKSPACE/$RECURSIVE_CIRCUIT.cm
+    --m $WORKSPACE/$RECURSIVE_CIRCUIT.cm \
     --p $WORKSPACE/$RECURSIVE_CIRCUIT.pil.json
 
 echo "4. generate recursive2 proof"
@@ -138,7 +138,7 @@ echo "2.compressor12. generate commit/const poly and pil.json "
     --w $WORKSPACE/$RECURSIVE2_CIRCUIT"_js"/$RECURSIVE2_CIRCUIT.wasm  \
     --i $WORKSPACE/aggregation/$RECURSIVE2_CIRCUIT/r2_input.zkin.json   \
     --c $WORKSPACE/$RECURSIVE2_CIRCUIT.const \
-    --m $WORKSPACE/$RECURSIVE2_CIRCUIT.cm
+    --m $WORKSPACE/$RECURSIVE2_CIRCUIT.cm \
     --p $WORKSPACE/$RECURSIVE2_CIRCUIT.pil.json
 
 echo "3. generate final proof  "