fix incCounter constraint on paddings and add one specific test.

pil/padding_kk.pil

@@ -91,8 +91,7 @@ namespace PaddingKK(%N);
     // if lastHash=0 && lastBLock=1 then incCounter'=incCounter+1
     // if lastHash=1 && lastBlock=1 then incCounter'=1
     incCounter' = incCounter*(1-lastBlock) + (incCounter +1)*(lastBlock-lastHash) + lastHash;
-    incCounter * Global.L1 = 0;
-
+    (incCounter - 1) * Global.L1 = 0;
 
     // chunkReader generator
 

pil/padding_pg.pil

@@ -112,9 +112,7 @@ namespace PaddingPG(%N);
     // if lastHash=0 && lastBLock=1 then incCounter'=incCounter+1
     // if lastHash=1 && lastBlock=1 then incCounter'=1
     incCounter' = incCounter*(1-lastBlock) + (incCounter +1)*(lastBlock-lastHash) + lastHash;
-    incCounter * Global.L1 = 0;
-
-
+    (incCounter - 1) * Global.L1 = 0;
 
     pol commit len;
     len' * lastHash = rem' * lastHash;

pil/padding_sha256.pil

@@ -105,8 +105,7 @@ namespace PaddingSha256(%N);
     // if lastHash=0 && lastBLock=1 then incCounter'=incCounter+1
     // if lastHash=1 && lastBlock=1 then incCounter'=1
     incCounter' = incCounter*(1-lastBlock) + (incCounter +1)*(lastBlock-lastHash) + lastHash;
-    incCounter * Global.L1 = 0;
-
+    (incCounter - 1) * Global.L1 = 0;
 
     // chunkReader generator
 

test/sm/sm_paddings_empty.test.js

@@ -0,0 +1,57 @@
+const chai = require('chai');
+
+const { assert } = chai;
+const { F1Field } = require('ffjavascript');
+
+const {
+    newConstantPolsArray, newCommitPolsArray, compile, verifyPil,
+} = require('pilcom');
+
+const smPaddingSha256 = require('../../src/sm/sm_padding_sha256');
+const smPaddingPG = require('../../src/sm/sm_padding_pg');
+const smPaddingKK = require('../../src/sm/sm_padding_kk');
+const smGlobal = require('../../src/sm/sm_global');
+
+// input = [];
+
+const input = [];
+
+describe('test paddings (poseidon, keccak, sha256) empty', async function () {
+    this.timeout(10000000);
+    it('no hash test', async () => {
+        const Fr = new F1Field('0xFFFFFFFF00000001');
+        const pil = await compile(Fr, 'pil/main.pil', null, {
+                defines: { N: 2 ** 18 },
+                namespaces: ['Global','PaddingPG','PaddingKK','PaddingSha256']
+        });
+        const constPols = newConstantPolsArray(pil);
+        const cmPols = newCommitPolsArray(pil);
+        await smPaddingPG.buildConstants(constPols.PaddingPG);
+        await smPaddingKK.buildConstants(constPols.PaddingKK);
+        await smPaddingSha256.buildConstants(constPols.PaddingSha256);
+        await smGlobal.buildConstants(constPols.Global);
+
+        await smPaddingPG.execute(cmPols.PaddingPG, []);
+        await smPaddingKK.execute(cmPols.PaddingKK, []);
+        await smPaddingSha256.execute(cmPols.PaddingSha256, []);
+
+        for (let i = 0; i < cmPols.$$array.length; i++) {
+            const arr = cmPols.$$array[i];
+            for (let j = 0; j < arr.length; j++) {
+                assert(typeof (arr[j]) === 'bigint', `pol: ${i} w: ${j} desc: ${JSON.stringify(cmPols.$$defArray[i], null, 1)}`);
+            }
+        }
+
+        const res = await verifyPil(Fr, pil, cmPols, constPols);
+
+        if (res.length !== 0) {
+            // eslint-disable-next-line no-console
+            console.log('Pil does not pass');
+            for (let i = 0; i < res.length; i++) {
+                // eslint-disable-next-line no-console
+                console.log(res[i]);
+            }
+            assert(0);
+        }
+    });
+});