update verification keys (#472)

matter-labs · May 15, 2024 · d334f82 · d334f82
1 parent 707043f
commit d334f82
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, 0x0e4e3895515c2c29cb6ba62733c4e337826da43b5ce3d953717ef58248174337)
-            mstore(VK_GATE_SETUP_0_Y_SLOT, 0x286f244ce4af2209863dfc81fd2d8d1b47552790fa8471446fe418a8b228e8ef)
+            mstore(VK_GATE_SETUP_0_X_SLOT, 0x1705a844ded408a0daac583000aac35a0aab27b1f5827d316e690f4b88f3b216)
+            mstore(VK_GATE_SETUP_0_Y_SLOT, 0x147c1a7f0688c83f1e93fae4b1d009dddbba688f252faaa123715a65a4843321)
             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, 0x2693ae0454ab607b949ef9951b18ca8f81b80f279054eb984dcccac4c83884ac)
-            mstore(VK_GATE_SETUP_6_Y_SLOT, 0x082f2ce318997eaebe1b03741ff39082ef878574ebb0286c41440c4a1c05d9bb)
+            mstore(VK_GATE_SETUP_6_X_SLOT, 0x1a0524c2f87ff2f2d08434c91ab9e92766eabb600537b27ea944bf65c3636f91)
+            mstore(VK_GATE_SETUP_6_Y_SLOT, 0x06fab004f5950058c7ac1ab8ebc3d94142d87ac04f3526bc7d13b65433491a2e)
             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": [
-        8178243913255437111,
-        9398348572260555091,
-        14657992099509887799,
-        1030823578680699945
+        7955907033821327894,
+        768751806678465841,
+        15757066159455388506,
+        1658917051505576096
       ],
       "y": [
-        8062596345722628335,
-        5140058053345046852,
-        9673165209890295067,
-        2913587396604797449
+        2553921856294105889,
+        15833082403987892897,
+        2203380502856993245,
+        1476083910743476287
       ],
       "infinity": false
     },
@@ -96,16 +96,16 @@
     },
     {
       "x": [
-        5606078582690972844,
-        9347237689207090072,
-        10709271382733671055,
-        2779756728641347707
+        12197084134616821649,
+        7415945757497733758,
+        15025192295156279591,
+        1874945239681069810
       ],
       "y": [
-        4702897423318899131,
-        17259910834137606252,
-        13698546488864641154,
-        589739430090735278
+        9012747752052431406,
+        4816734767853938364,
+        14387904291073677633,
+        502907843751772248
       ],
       "infinity": false
     },