Update Verifier from new vk (#474)

matter-labs · Jul 25, 2024 · 4cdc54d · 4cdc54d
1 parent 5836b32
commit 4cdc54d
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 20 deletions.
diff --git a/l1-contracts/contracts/state-transition/Verifier.sol b/l1-contracts/contracts/state-transition/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, 0x1705a844ded408a0daac583000aac35a0aab27b1f5827d316e690f4b88f3b216)
-            mstore(VK_GATE_SETUP_0_Y_SLOT, 0x147c1a7f0688c83f1e93fae4b1d009dddbba688f252faaa123715a65a4843321)
+            mstore(VK_GATE_SETUP_0_X_SLOT, 0x1f718b0d8640b18fcb605c0b362408e5b96391e1ea32b12332829e557aa50925)
+            mstore(VK_GATE_SETUP_0_Y_SLOT, 0x0b0186811e335624d3034ed7a7fe02b1a259d5d37fef68694f188924b8d5cea0)
             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, 0x1a0524c2f87ff2f2d08434c91ab9e92766eabb600537b27ea944bf65c3636f91)
-            mstore(VK_GATE_SETUP_6_Y_SLOT, 0x06fab004f5950058c7ac1ab8ebc3d94142d87ac04f3526bc7d13b65433491a2e)
+            mstore(VK_GATE_SETUP_6_X_SLOT, 0x0ab21cb590aca747d70d9be12b035c786f5a42e002e621627189d5ef13561ce1)
+            mstore(VK_GATE_SETUP_6_Y_SLOT, 0x0d3c93aafe7eeebad42b789a046b02bb2d92193f6af460e4104ad7ac759ef82a)
             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": [
-        7955907033821327894,
-        768751806678465841,
-        15757066159455388506,
-        1658917051505576096
+        3639645538835826981,
+        13358681319193882915,
+        14654814390686320869,
+        2265744977747292559
       ],
       "y": [
-        2553921856294105889,
-        15833082403987892897,
-        2203380502856993245,
-        1476083910743476287
+        5699456119250210464,
+        11698616611432786025,
+        15205083455076303537,
+        793062898509501988
       ],
       "infinity": false
     },
@@ -96,16 +96,16 @@
     },
     {
       "x": [
-        12197084134616821649,
-        7415945757497733758,
-        15025192295156279591,
-        1874945239681069810
+        8181305420893527265,
+        8023799216002703714,
+        15496213284243332216,
+        770710052375668551
       ],
       "y": [
-        9012747752052431406,
-        4816734767853938364,
-        14387904291073677633,
-        502907843751772248
+        1173987788591134762,
+        3283714838474547428,
+        15288445962933699259,
+        953799583719157434
       ],
       "infinity": false
     },