Update scheduler_key.json, regenerate verifier (#174)

matter-labs · Jan 18, 2024 · cc8fe35 · cc8fe35
1 parent 0da8e15
commit cc8fe35
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 20 deletions.
diff --git a/l1-contracts/contracts/zksync/Verifier.sol b/l1-contracts/contracts/zksync/Verifier.sol
@@ -283,8 +283,8 @@ contract Verifier is IVerifier {
     function _loadVerificationKey() internal pure virtual {
         assembly {
             // gate setup commitments
-            mstore(VK_GATE_SETUP_0_X_SLOT, 0x236c54d6ae3745765605abfdd3d1533aaf27c583bbac66c43f5555e2b087db42)
-            mstore(VK_GATE_SETUP_0_Y_SLOT, 0x0b2b13c749c19a0be311c0eec76abddbc0848e2454cc7323605a714256ef101a)
+            mstore(VK_GATE_SETUP_0_X_SLOT, 0x281bdd74b0e5ce559019f68453b8ccdbc07ef97554fb9f47fc87a86f6720d9c4)
+            mstore(VK_GATE_SETUP_0_Y_SLOT, 0x07ed1e84e05b9e4e69ce8eed39601a0605adf9abe15f9c9ed13f642bf8c31dfb)
             mstore(VK_GATE_SETUP_1_X_SLOT, 0x04659caf7b05471ba5ba85b1ab62267aa6c456836e625f169f7119d55b9462d2)
             mstore(VK_GATE_SETUP_1_Y_SLOT, 0x0ea63403692148d2ad22189a1e5420076312f4d46e62036a043a6b0b84d5b410)
             mstore(VK_GATE_SETUP_2_X_SLOT, 0x0e6696d09d65fce1e42805be03fca1f14aea247281f688981f925e77d4ce2291)
@@ -295,8 +295,8 @@ contract Verifier is IVerifier {
             mstore(VK_GATE_SETUP_4_Y_SLOT, 0x22e404bc91350f3bc7daad1d1025113742436983c85eac5ab7b42221a181b81e)
             mstore(VK_GATE_SETUP_5_X_SLOT, 0x0d9b29613037a5025655c82b143d2b7449c98f3aea358307c8529249cc54f3b9)
             mstore(VK_GATE_SETUP_5_Y_SLOT, 0x15b3c4c946ad1babfc4c03ff7c2423fd354af3a9305c499b7fb3aaebe2fee746)
-            mstore(VK_GATE_SETUP_6_X_SLOT, 0x08aa077804a60caf18621f96c63d7d1b532f44b13c273956f81b4c41f1f8f076)
-            mstore(VK_GATE_SETUP_6_Y_SLOT, 0x01fcb7c6e22aab56eb8b61bae6f457411bd41bcc5f1e8311421a98ccee23b72e)
+            mstore(VK_GATE_SETUP_6_X_SLOT, 0x2b0287845b812b668358980e3fd51479ecd86402156fb329551f0ced5b78ff32)
+            mstore(VK_GATE_SETUP_6_Y_SLOT, 0x08976d4177ca333c0cffd19dda4b8ff6b65f049453235396a42151352d97a509)
             mstore(VK_GATE_SETUP_7_X_SLOT, 0x283344a1ab3e55ecfd904d0b8e9f4faea338df5a4ead2fa9a42f0e103da40abc)
             mstore(VK_GATE_SETUP_7_Y_SLOT, 0x223b37b83b9687512d322993edd70e508dd80adb10bcf7321a3cc8a44c269521)
 

diff --git a/tools/data/scheduler_key.json b/tools/data/scheduler_key.json
@@ -6,16 +6,16 @@
   "gate_setup_commitments": [
     {
       "x": [
-        4563648229522529090,
-        12621273650309129924,
-        6198549568814142266,
-        2552508369834820982
+        18196698015838820804,
+        13870798184679972679,
+        10383601464080125147,
+        2890147079142100565
       ],
       "y": [
-        6942986305285328922,
-        13872369038900622115,
-        16362071052994133467,
-        804758705072609803
+        15077880217479618043,
+        409257657776446622,
+        7624188368705821190,
+        571146283794538062
       ],
       "infinity": false
     },
@@ -96,16 +96,16 @@
     },
     {
       "x": [
-        17877966991893524598,
-        5994085157062523222,
-        1757001537059388699,
-        624319710399696047
+        6133635431083343666,
+        17066500748032848681,
+        9464481803886990457,
+        3099188496124947302
       ],
       "y": [
-        4763287561833789230,
-        2005258298669826833,
-        16972767076042430273,
-        143191352994868054
+        11826823385291662601,
+        13141227272786891670,
+        936697723418808310,
+        619083601736774460
       ],
       "infinity": false
     },