diff --git a/src/zkbob/verifiers/prodV2/TreeUpdateVerifier.sol b/src/zkbob/verifiers/prodV2/TreeUpdateVerifier.sol index d77c518..2e6fd81 100644 --- 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 new file mode 100644 index 0000000..48a89ee --- /dev/null +++ b/src/zkbob/verifiers/prodV2/tree_params.bin @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:b78709f1e9c702303dc5fa20a6b5e156e7f1d6b2336fd3d7d1131b6856569eea +size 10220967 diff --git a/src/zkbob/verifiers/prodV2/tree_verification_key.json b/src/zkbob/verifiers/prodV2/tree_verification_key.json new file mode 100644 index 0000000..b57f263 --- /dev/null +++ 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" + ] + ] +} \ No newline at end of file