@@ -43,22 +43,22 @@ contract PlonkVerifier {
4343 uint16 constant nPublic = 4 ;
4444 uint16 constant nLagrange = 4 ;
4545
46- uint256 constant Qmx = 17920697601252935797582254443085525672169376608711063742905854636177249753645 ;
47- uint256 constant Qmy = 9631071464013801814036034988936618326177788235352399951178331175074757259146 ;
48- uint256 constant Qlx = 8064159560204549433623063664309733743382605327873857193723755351428059103350 ;
49- uint256 constant Qly = 4322934985288228599400916832327419106255594745770049937590035838967659062644 ;
50- uint256 constant Qrx = 14062221653134877931638926613601280757018192135009173113875929858208826732647 ;
51- uint256 constant Qry = 6873352906721040747413057462744090123980615754996060895363134633331152480619 ;
52- uint256 constant Qox = 7178711138410253914578793449849751778378680886226758796963535614153072588271 ;
53- uint256 constant Qoy = 17668920180780280422689535622538321357093271567818748464487426915251430079941 ;
54- uint256 constant Qcx = 9627731937099932002768287965654491420498954927697984428844774778884048959842 ;
55- uint256 constant Qcy = 10911544016594313513150957536634791033742424233503709696268238321015185255203 ;
56- uint256 constant S1x = 3301299557035206512436112215730993126235257860273823489745187464920579077803 ;
57- uint256 constant S1y = 4496579998638669024541276902432721309237193906605975933718704061106807923348 ;
58- uint256 constant S2x = 1905890571449487482090673076348281989980388600540224023693557047863355836956 ;
59- uint256 constant S2y = 14545597660884760844148654588686855343196170952788855523825996983744751823855 ;
60- uint256 constant S3x = 6512357758261185369140240470902889235022020870367601377583987766832115208999 ;
61- uint256 constant S3y = 13159899189195453288599530189842844186828537792102542926848746419229181559558 ;
46+ uint256 constant Qmx = 13448319859959740775491324719625740199818140150720767077199859544228511951478 ;
47+ uint256 constant Qmy = 15148222075822896605222667343546912932827483620168237342889921824035695578985 ;
48+ uint256 constant Qlx = 5176717430041005105469391820989601503882433012136792463710892857241749167068 ;
49+ uint256 constant Qly = 774147659976748799678725052599508201713340301355412983129407239441677881100 ;
50+ uint256 constant Qrx = 20742873918674657099045876370697633112432404974296199421311000654054330886901 ;
51+ uint256 constant Qry = 5830723965658095706854835131631871677471156061848621331772320842474270070293 ;
52+ uint256 constant Qox = 17720676191393988458780456132177228569023752419458485525982130970385458451620 ;
53+ uint256 constant Qoy = 11595090817555068502849719825810702863145598922286508009310452088701181118862 ;
54+ uint256 constant Qcx = 20159815456373007600214254314636059535423662385958457560690068329136686724181 ;
55+ uint256 constant Qcy = 6944898410624292802211093708021898777453136158717786832405431856426004898530 ;
56+ uint256 constant S1x = 680106130160584981012331105664193665101847807916321568983293351460263128118 ;
57+ uint256 constant S1y = 12447900311374079279516419480653869387812295478318461938702923148020300309705 ;
58+ uint256 constant S2x = 7750679767962509432684068818228618990682734532522541841015338136016686151519 ;
59+ uint256 constant S2y = 2233596659499875560480114392892331303391230915252455532632108707057089740654 ;
60+ uint256 constant S3x = 13019162950535119878554601489891194897141401670546966940023373537808971305746 ;
61+ uint256 constant S3y = 977610213698045720464155827639105868669754517899531916088887269075601546221 ;
6262 uint256 constant k1 = 2 ;
6363 uint256 constant k2 = 3 ;
6464 uint256 constant X2x1 = 21831381940315734285607113342023901060522397560371972897001948545212302161822 ;
0 commit comments