Fix prodV2 tree verifier (#60)

zkBob · Mar 14, 2023 · b69d3d5 · b69d3d5
1 parent bc71bda
commit b69d3d5
Show file tree

Hide file tree

Showing 3 changed files with 79 additions and 22 deletions.
diff --git a/src/zkbob/verifiers/prodV2/TreeUpdateVerifier.sol b/src/zkbob/verifiers/prodV2/TreeUpdateVerifier.sol
@@ -135,54 +135,54 @@ contract TreeUpdateVerifier {
 
     function verifyingKey() internal pure returns (VerifyingKey memory vk) {
         vk.alfa1 = Pairing.G1Point(
-            9579483504048295879725405595096421544527619415967829887650357399832690702611,
-            19889565014280120235085685181803128712306294726184858634696387073204222618228
+            17259644642628619054198707088350178151915223546531204588599012585652862256289,
+            6538916430504110934790598121254623711490867458521598147771684120236145100336
         );
         vk.beta2 = Pairing.G2Point(
             [
-                uint256(12607918619365929174328777806884971664092487749557395328505762617738626312607),
-                9257785614351262929443600549201008109732023062501723069785315323429921504673
+                uint256(11097434194162826858949644387544008701579694224939913271486290330733219134420),
+                6010942275679443033856179065724641913553695310529001864983746063540149145812
             ],
             [
-                uint256(325807412137814908137596476646019667872512380164527778792511141447561099098),
-                5332444171779734809163171191383032235415217786444703179820291616360906555220
+                uint256(19013261012401115818773510381885163557486260979365651129010452890236255493703),
+                11314427763437581543307480788475949801872673194176472756000669236569465847384
             ]
         );
         vk.gamma2 = Pairing.G2Point(
             [
-                uint256(18336419829791667115933677508654636729309568147471035420601656312530484277930),
-                2702225669867675933884842726701087304460763669736844454981311528915153837554
+                uint256(11559732032986387107991004021392285783925812861821192530917403151452391805634),
+                10857046999023057135944570762232829481370756359578518086990519993285655852781
             ],
             [
-                uint256(18880210975575333236307210282932964278280487832854360730328799835642008698940),
-                5659260776311847594974308302322057074195383243409311921160344149787930874144
+                uint256(4082367875863433681332203403145435568316851327593401208105741076214120093531),
+                8495653923123431417604973247489272438418190587263600148770280649306958101930
             ]
         );
         vk.delta2 = Pairing.G2Point(
             [
-                uint256(4709702762600965262813515266384924714013833294847455151585330836117319912999),
-                5827627329097659269635316933436960464130280737395855678927845138666655281736
+                uint256(21291614105578674426340117426196485515432397113580968970304506885195915394894),
+                828148053948648104533542074544477500226064255118781796488307077336086791351
             ],
             [
-                uint256(11999937475675355269080335275563545927348524578052228311805561455256047124650),
-                4738545598441472562233782815640418804659642038857043608828925411108966350563
+                uint256(19694215015590068183321571323767111034603637329269839992553464470392236888027),
+                10269552580989633283419665351011438919391253420940732481006432605632551795801
             ]
         );
         vk.IC[0] = Pairing.G1Point(
-            15409156475951225292586053297937949198837666886763639847472201593653003371719,
-            2212316971669504376481079152613541573282977993599082457823156231415900544946
+            1948132351105185986584101653661418097491462576025968138254173029047921690976,
+            9373027692028947226003845082965851471137347289077778215062869207209466679172
         );
         vk.IC[1] = Pairing.G1Point(
-            2684134023881192003008538754504677621713240184831625864460588720738828632874,
-            10089865866342897433587720217933341028876340463735945010484081962796589057588
+            139164581955780396578205293477220373476163405653644611044004955673449528742,
+            4903922192329272124426116723343045267144923146024514353851516085570195863029
         );
         vk.IC[2] = Pairing.G1Point(
-            21350638634185341517734072499245162892533938705537057355032634178671502283576,
-            10021890724838258287881194728627013019272303148407916054538188471149820010962
+            3160407235063619464128567545019931358567547466670244075263201465289831140767,
+            4182837998304898970040019544076242834539030974440226240296180009251026336602
         );
         vk.IC[3] = Pairing.G1Point(
-            5476660752863686947424264457491436439155821020946775068023632126201000031467,
-            11645290599391857162331189010042444874937081920444283442653840624469345346476
+            578598725557718864845011739675013960940078839306539329651776202156917087138,
+            11528959041143477327167725798486169788194868112564073269495361969177456913221
         );
     }
 

diff --git a/src/zkbob/verifiers/prodV2/tree_params.bin b/src/zkbob/verifiers/prodV2/tree_params.bin
diff --git a/src/zkbob/verifiers/prodV2/tree_verification_key.json b/src/zkbob/verifiers/prodV2/tree_verification_key.json
@@ -0,0 +1,54 @@
+{
+  "alpha": [
+    "17259644642628619054198707088350178151915223546531204588599012585652862256289",
+    "6538916430504110934790598121254623711490867458521598147771684120236145100336"
+  ],
+  "beta": [
+    [
+      "6010942275679443033856179065724641913553695310529001864983746063540149145812",
+      "11097434194162826858949644387544008701579694224939913271486290330733219134420"
+    ],
+    [
+      "11314427763437581543307480788475949801872673194176472756000669236569465847384",
+      "19013261012401115818773510381885163557486260979365651129010452890236255493703"
+    ]
+  ],
+  "gamma": [
+    [
+      "10857046999023057135944570762232829481370756359578518086990519993285655852781",
+      "11559732032986387107991004021392285783925812861821192530917403151452391805634"
+    ],
+    [
+      "8495653923123431417604973247489272438418190587263600148770280649306958101930",
+      "4082367875863433681332203403145435568316851327593401208105741076214120093531"
+    ]
+  ],
+  "delta": [
+    [
+      "828148053948648104533542074544477500226064255118781796488307077336086791351",
+      "21291614105578674426340117426196485515432397113580968970304506885195915394894"
+    ],
+    [
+      "10269552580989633283419665351011438919391253420940732481006432605632551795801",
+      "19694215015590068183321571323767111034603637329269839992553464470392236888027"
+    ]
+  ],
+  "ic": [
+    [
+      "1948132351105185986584101653661418097491462576025968138254173029047921690976",
+      "9373027692028947226003845082965851471137347289077778215062869207209466679172"
+    ],
+    [
+      "139164581955780396578205293477220373476163405653644611044004955673449528742",
+      "4903922192329272124426116723343045267144923146024514353851516085570195863029"
+    ],
+    [
+      "3160407235063619464128567545019931358567547466670244075263201465289831140767",
+      "4182837998304898970040019544076242834539030974440226240296180009251026336602"
+    ],
+    [
+      "578598725557718864845011739675013960940078839306539329651776202156917087138",
+      "11528959041143477327167725798486169788194868112564073269495361969177456913221"
+    ]
+  ]
+}