feature verify_zkasm, could define pilverify config.

0xPolygonHermez · Nov 11, 2022 · 70e9e54 · 70e9e54
1 parent ae9c845
commit 70e9e54
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/test/verify_zkasm.js b/test/verify_zkasm.js
@@ -27,7 +27,7 @@ const smStorage = require("../src/sm/sm_storage/sm_storage.js");
 const { index } = require("../src/sm/sm_main/test_tools.js");
 const { config } = require("yargs");
 
-module.exports.verifyZkasm = async function (zkasmFile, verifyPilFlag = true, pilConfig = {}, mainConfig = {}) {
+module.exports.verifyZkasm = async function (zkasmFile, pilVerification = true, pilConfig = {}, mainConfig = {}) {
 
     const Fr = new F1Field("0xFFFFFFFF00000001");
     const brief = false;
@@ -38,6 +38,8 @@ module.exports.verifyZkasm = async function (zkasmFile, verifyPilFlag = true, pi
           namespaces: ['Main','Global'] }
     */
 
+    const verifyPilFlag = pilVerification ? true: false;
+    const verifyPilConfig = pilVerification instanceof Object ? pilVerification:{};
     const pil = await compile(Fr, "pil/main.pil", null,  pilConfig);
     if (pilConfig.defines && pilConfig.defines.N) {
         console.log('force use N = 2 ** '+Math.log2(pilConfig.defines.N));
@@ -190,7 +192,7 @@ module.exports.verifyZkasm = async function (zkasmFile, verifyPilFlag = true, pi
         console.log(`WARNING: Namespace Binary isn't included, but there are ${requiredMain.Binary.length} Binary operations`);
     }
 
-    const res = verifyPilFlag ? await verifyPil(Fr, pil, cmPols , constPols) : [];
+    const res = verifyPilFlag ? await verifyPil(Fr, pil, cmPols , constPols, verifyPilConfig) : [];
 
     if (res.length != 0) {
         console.log("Pil does not pass");