fix: fix bug in generating proof

Author: jidalii

server/routers/zk_proof.js

@@ -25,12 +25,17 @@ router.get("/gen/running", async (req, res) => {
       "./circom2contract/running/circuit_final.zkey"
     );
 
-    const proofHex = convertProofToHex(proof);
+    const proofArrObj = reorderDict(proof);
+
+    const tempProof = convertProofToHex(proofArrObj)
+    const formattedProof = convertObjectToHexPadded(tempProof);
     const pubSignalHex = convertToHexPadded(publicSignals);
 
+    console.log("length:", formattedProof.length);
+
     res.send({
       proof: proof,
-      proofHex: proofHex,
+      proofHex: formattedProof,
       publicSignals: publicSignals,
       publicSignalsHex: pubSignalHex,
     });
@@ -44,11 +49,11 @@ router.get("/gen/sleeping", async (req, res) => {
   const input = {
     startTime: body.startTime,
     endTime: body.endTime,
-    sleepHour: body.sleepHour,
+    sleepTime: body.sleepTime,
     sleepLength: body.sleepLength,
     minStartTime: body.minStartTime,
     maxEndTime: body.maxEndTime,
-    maxSleepHour: body.maxSleepHour,
+    sleepBefore: body.sleepBefore,
     minSleepLength: body.minSleepLength,
   };
   try {
@@ -57,14 +62,17 @@ router.get("/gen/sleeping", async (req, res) => {
       "./circom2contract/sleeping/sleeping_js/sleeping.wasm",
       "./circom2contract/sleeping/circuit_final.zkey"
     );
+    const proofArrObj = reorderDict(proof);
 
-    const proofObjHex = convertProofToObjectHex(proof);
-    const proofArrHex = convertObjectToHexPadded(proofObjHex)
+    const tempProof = convertProofToHex(proofArrObj)
+    const formattedProof = convertObjectToHexPadded(tempProof);
     const pubSignalHex = convertToHexPadded(publicSignals);
 
+    console.log("length:", formattedProof.length);
+
     res.send({
       proof: proof,
-      proofHex: proofArrHex,
+      proofHex: formattedProof,
       publicSignals: publicSignals,
       publicSignalsHex: pubSignalHex,
     });
@@ -73,7 +81,43 @@ router.get("/gen/sleeping", async (req, res) => {
   }
 });
 
-function convertProofToObjectHex(proof) {
+function convertObjectToHexPadded(obj) {
+  const hexArray = [];
+
+  // Function to convert a single BigInt number to a padded hex string
+  const toPaddedHexString = (bigInt) => {
+    return "0x" + bigInt.toString(16).padStart(64, "0");
+  };
+
+  // Iterate over each key in the object
+  for (const key of Object.keys(obj)) {
+    const value = obj[key];
+
+    // Check if the value is an array (handle nested arrays too)
+    if (Array.isArray(value)) {
+      // Handle nested arrays for points like A, B, C, etc.
+      if (Array.isArray(value[0])) {
+        value.forEach((innerArray) => {
+          innerArray.forEach((number) => {
+            hexArray.push(toPaddedHexString(BigInt(number)));
+          });
+        });
+      } else {
+        // Handle flat arrays for points like eval_a, eval_b, etc.
+        value.forEach((number) => {
+          hexArray.push(toPaddedHexString(BigInt(number)));
+        });
+      }
+    } else {
+      // Handle single values that are not arrays
+      hexArray.push(toPaddedHexString(BigInt(value)));
+    }
+  }
+
+  return hexArray;
+}
+
+function convertProofToHex(proof) {
   // Helper function to convert to a 0x-prefixed hexadecimal string
   const toHex = (numStr) => {
     return "0x" + BigInt(numStr).toString(16);
@@ -96,6 +140,32 @@ function convertProofToObjectHex(proof) {
   return convertedProof;
 }
 
+function reorderDict(dict) {
+  dictReorder = [
+    { key: "A", value: dict["A"] },
+    { key: "B", value: dict["B"] },
+    { key: "C", value: dict["C"] },
+    { key: "Z", value: dict["Z"] },
+    { key: "T1", value: dict["T1"] },
+    { key: "T2", value: dict["T2"] },
+    { key: "T3", value: dict["T3"] },
+    { key: "Wxi", value: dict["Wxi"] },
+    { key: "Wxiw", value: dict["Wxiw"] },
+    { key: "eval_a", value: dict["eval_a"] },
+    { key: "eval_b", value: dict["eval_b"] },
+    { key: "eval_c", value: dict["eval_c"] },
+    { key: "eval_s1", value: dict["eval_s1"] },
+    { key: "eval_s2", value: dict["eval_s2"] },
+    { key: "eval_zw", value: dict["eval_zw"] },
+  ];
+  result = {}
+  for (let item of dictReorder) {
+    result[item.key] = item.value;
+  }
+
+  return result;
+}
+
 function convertToHexPadded(pubSignals) {
   return pubSignals.map((signal) => {
     // Convert the decimal string to a BigInt
@@ -111,41 +181,4 @@ function convertToHexPadded(pubSignals) {
     return paddedHex;
   });
 }
-
-function convertObjectToHexPadded(obj) {
-  const hexArray = [];
-
-  // Function to convert a single BigInt number to a padded hex string
-  const toPaddedHexString = (bigInt) => {
-    return "0x" + bigInt.toString(16).padStart(64, "0");
-  };
-
-  // Iterate over each key in the object
-  for (const key of Object.keys(obj)) {
-    const value = obj[key];
-
-    // Check if the value is an array (handle nested arrays too)
-    if (Array.isArray(value)) {
-      // Handle nested arrays for points like A, B, C, etc.
-      if (Array.isArray(value[0])) {
-        value.forEach((innerArray) => {
-          innerArray.forEach((number) => {
-            hexArray.push(toPaddedHexString(BigInt(number)));
-          });
-        });
-      } else {
-        // Handle flat arrays for points like eval_a, eval_b, etc.
-        value.forEach((number) => {
-          hexArray.push(toPaddedHexString(BigInt(number)));
-        });
-      }
-    } else {
-      // Handle single values that are not arrays
-      hexArray.push(toPaddedHexString(BigInt(value)));
-    }
-  }
-
-  return hexArray;
-}
-
 module.exports = router;

smart-contract/contracts/SleepTaskVerifier.sol

@@ -47,18 +47,18 @@ contract SleepPlonkVerifier {
 
     uint256 constant Qmx  = 19810065977015699893274382372956816176806666764352977929464766562334910080176;
     uint256 constant Qmy  = 10602871389580507768060780547457094541616908927125853053206436589724791345246;
-    uint256 constant Qlx  = 17067688125818277921554704610197304409251942079303235485248472113745811207126;
-    uint256 constant Qly  = 15038381921273365721766267398161759070098245225293316185879148642263169173046;
-    uint256 constant Qrx  = 420235817875178638374730719833551976349370251235940273185603452207991884416;
-    uint256 constant Qry  = 15095431513240586905963815300457193138979720235200403206723105992466875421571;
+    uint256 constant Qlx  = 6556498781104859366505704255018457310478381558922058317977532732577086925537;
+    uint256 constant Qly  = 6759860220405217941353465435084711171030321015096534613504347077836210758435;
+    uint256 constant Qrx  = 15723217574806055333987190059024415425923542713404950821916190278953441543231;
+    uint256 constant Qry  = 19124279183797933268123378341446881707907796840316192809317914216288082096;
     uint256 constant Qox  = 20978753413861463871269694763622612460077508989144277827766753704214079888680;
     uint256 constant Qoy  = 12697738035947102355202409221195547802053531745034866321661347033268339520053;
     uint256 constant Qcx  = 12083439680208740061524008204434001731104025470009211107592123874687837103264;
     uint256 constant Qcy  = 74424240861454926122143614105341475184383261045662530025250704740020793845;
-    uint256 constant S1x  = 19063984262947622654871544888691619868556226892956005609600971664301404162551;
-    uint256 constant S1y  = 5856339444880172263849733359748529622247205123344595623780750218805592798771;
-    uint256 constant S2x  = 4830506908340608771126468339440569337508870349567510998579651397949201619792;
-    uint256 constant S2y  = 5011667671688626619904548982189140256772632091786904224808178983376549873311;
+    uint256 constant S1x  = 599284386181783115224587969308469101904182324593563741756085378497113901623;
+    uint256 constant S1y  = 2372934128039089451160652510085542332734738198456450913497845545316371041221;
+    uint256 constant S2x  = 7026715400890585860273230640890040274068814207363382902946030530798624791869;
+    uint256 constant S2y  = 12780072469842446313323100967433098350830617904942979904691677937618362080182;
     uint256 constant S3x  = 27270399904118667807381925043139717540443504686809113412379705168054085113;
     uint256 constant S3y  = 6268501916999133992321786426477069278290536029986009453590154815690622757270;
     uint256 constant k1   = 2;