feat(libzkp): upgrade zkevm to v0.3 (#458)

Co-authored-by: xinran chen <[email protected]>
Co-authored-by: HAOYUatHZ <[email protected]>

Author: 3 people

src/libraries/verifier/RollupVerifier.sol

@@ -404,7 +404,7 @@ library RollupVerifier {
                 t1
             )
         );
-        update_hash_scalar(16714713909008743871958519800387174981836263428094013165455393524274317552599, absorbing, 0);
+        update_hash_scalar(2139959605475961860937015093717899596443860272195454718006038460622762772338, absorbing, 0);
         update_hash_point(m[0], m[1], absorbing, 2);
         for (t0 = 0; t0 <= 4; t0++) {
             update_hash_point(proof[0 + t0 * 2], proof[1 + t0 * 2], absorbing, 5 + t0 * 3);
@@ -768,53 +768,53 @@ library RollupVerifier {
         (t0, t1) = (ecc_mul_add_pm(m, proof, 1461486238301980199876269201563775120819706402602, t0, t1));
         (t0, t1) = (
             ecc_mul_add(
-                1166255827574633395469889753099263335112651429543747917860844891223509395230,
-                18119530258797056675590474142263379269133137917926199526995010149706608452268,
+                12307352371204071280982447264592356604770557236167151424765174303760462590176,
+                6738828114747374257112102922036038748323647805843324928244611619348440720206,
                 m[78],
                 t0,
                 t1
             )
         );
         (t0, t1) = (
             ecc_mul_add(
-                479654250230311733675045936187074887335076118790675548184957988765243051391,
-                3100719863754926915077773261837642988281275398456491618898287285885297258973,
+                3572242117438706971950566231972492037272493617550220451749916794782159485990,
+                16886246169673548502689746904271067387916898759455168062589790036798273590349,
                 m[77],
                 t0,
                 t1
             )
         );
         (t0, t1) = (
             ecc_mul_add(
-                3244117516185602927429536955777596704962143625995582449305913349309466588374,
-                4949447249861524239830935874731901209583893161129086694779290040738731707868,
+                11667701672179251391428332036216303114114878686596844372637022183683605784102,
+                4424360138861548935598382331834755349352382522764859897096077224499379358893,
                 m[76],
                 t0,
                 t1
             )
         );
         (t0, t1) = (
             ecc_mul_add(
-                14948547489533026990535642276664751166524290089518721217701084060838942037816,
-                4158304819018152066924650590566402375351800342702049911667413813453648544913,
+                11240594699132670076282994399620649156234033942671103470791998382362667407672,
+                17410590891928584702846573685036010315759947034684539213237289080064757682376,
                 m[75],
                 t0,
                 t1
             )
         );
         (t0, t1) = (
             ecc_mul_add(
-                12409839630787558779666051790740339639835641801241950167020910758875751567721,
-                10190386726927990167988725115981898191213252554332296547744162818590468069671,
+                10431705595614601525988802826965197285907257500319030545448174217748190806819,
+                1722933959999977963181823060205533471550038234474886371618129746215350346061,
                 m[74],
                 t0,
                 t1
             )
         );
         (t0, t1) = (
             ecc_mul_add(
-                17970998203939514710036667497443822563987440725661639935300105673829885028203,
-                5681616020208389658397995048088678631695525787311431942560298329387592854586,
+                14863668788118458080709552309780821215832907388990302710391373385352975619400,
+                9169018986198736700730396443421849971028048839478170199874313312628076354525,
                 m[73],
                 t0,
                 t1
@@ -831,8 +831,8 @@ library RollupVerifier {
         );
         (t0, t1) = (
             ecc_mul_add(
-                3955318928206501525438681058758319558200398421433597349851235741670899388496,
-                15892053452767975688653514510353871405466169306176036727161401156637227884251,
+                16688566313919879798220881603072582217705901250983507280549353151657923151225,
+                445098670208016740953162173980757005967278816602831621939241146108331296000,
                 m[71],
                 t0,
                 t1
@@ -849,8 +849,8 @@ library RollupVerifier {
         );
         (t0, t1) = (
             ecc_mul_add(
-                847101878434221983907574308143360385944534458215526175646288607915875901481,
-                2846353475656269162370753247605184679473264230467654203502980134120309217445,
+                513112338211370645376563601122653940299862742690848745156963955674379550556,
+                19810928912892354135597308070341362773960905471215656964629317311935270323996,
                 m[69],
                 t0,
                 t1
@@ -867,8 +867,8 @@ library RollupVerifier {
         );
         (t0, t1) = (
             ecc_mul_add(
-                12355852135968866678343538084506414981897123075397230437920965961095525036339,
-                19173350083521771086213125757940272853888577158427508914933730457941026326040,
+                17445679909532066182757122062586547291967150697181781539174006766798005273657,
+                17920199801340037140434307313099628133732498466723263177150297206806678079555,
                 m[67],
                 t0,
                 t1
@@ -885,89 +885,89 @@ library RollupVerifier {
         );
         (t0, t1) = (
             ecc_mul_add(
-                20702481083445183838662364419201395944400358423071711333544748994437443350157,
-                21729036491728923882358088642589857779818948470983153549909552615176584955200,
+                13379886303467716633100661055108788127518098273159576422399393845531832231957,
+                21249906638915552082114032161592926549649883644681146775463416600414893201674,
                 m[65],
                 t0,
                 t1
             )
         );
         (t0, t1) = (
             ecc_mul_add(
-                5211075648402252045446907842677410998750480902260529776286467677659191740672,
-                17759936859541227097052484319437171023743724174885338509498798745592136568923,
+                15157693885943911041713554408535787389704098552723039519149609571282120709253,
+                8962689722656126928294285568371442660369086845752902597634306189893971808811,
                 m[64],
                 t0,
                 t1
             )
         );
         (t0, t1) = (
             ecc_mul_add(
-                5685082624811934526131077036509066197941130699019907200139767495570575867807,
-                9975752329518147542127949868789945608848626426600733728808879384778577859545,
+                282500810502773337615392632832701051006147314629556169662041861893490731214,
+                1405529063404455180686378299193347180609188503983796479637225424184561469680,
                 m[63],
                 t0,
                 t1
             )
         );
         (t0, t1) = (
             ecc_mul_add(
-                1845955600044282712468400114813806019045133083112296001842856684609288249746,
-                6677624509889210837770197526955652810854887548330294041671470991988491766303,
+                11581441121680069988106695739022834936323842874155303510513226862110129423436,
+                2637320643329934410767647331146883629269877662310710930543876671326457005009,
                 m[62],
                 t0,
                 t1
             )
         );
         (t0, t1) = (
             ecc_mul_add(
-                17721426954552427189787075605835833086212392642349293317822925006771731953198,
-                10818582862561493154030196266254401851195091198556669943079029419869326006448,
+                6360815457536167490502686961772031084682621045969143466863419537587018809166,
+                10001859183015380960752959272517632163813167330052728059681917034087071226990,
                 m[61],
                 t0,
                 t1
             )
         );
         (t0, t1) = (
             ecc_mul_add(
-                10224195420706066705577574946990328089867884648164309818089282930621493257750,
-                3961164971057442035153270823831734824136501489880082889417523554417504868473,
+                21781254208176618175216351429386597067185902632164357922466579817402010196650,
+                18011967939699408822151124361783982305672777114883443865079846085493004089455,
                 m[60],
                 t0,
                 t1
             )
         );
         (t0, t1) = (
             ecc_mul_add(
-                4155760488117491189818018229959225087159948854404593659816501566044290851616,
-                7849169269773333823959590214273366557169699873629739076719523623811579483219,
+                12550056285320974621731132541688213633166264204189969052965198828791126689449,
+                12418566505549505379214997261574757719056298067095922377233136904055538090780,
                 m[59],
                 t0,
                 t1
             )
         );
         (t0, t1) = (
             ecc_mul_add(
-                9303688548891777886487749234688027352493881691026887577351708905397127609597,
-                15420408437274623857443274867832176492025874147466147921781316121716419230415,
+                9820677253892770121706802995351466260380886278639412117111326545845072594611,
+                2704926883961612314233615484035572222203996626426533880905375148146034288774,
                 m[58],
                 t0,
                 t1
             )
         );
         (t0, t1) = (
             ecc_mul_add(
-                1713011977361327447402228333889074876456179272285913377605323580535155713105,
-                17494574374943878587945090358233307058027002207479570017169918665020362475592,
+                3929991866827575569085896493971875891867580103388188978578999736252850472742,
+                19719633293434441328320083084584841400798470465761819534504206259130079607839,
                 m[57],
                 t0,
                 t1
             )
         );
         (t0, t1) = (
             ecc_mul_add(
-                688560977158667877997491129442687540611216305867558421257325952561991356422,
-                1877117185103259325255107191485730322497880777053300656925558921917058739650,
+                7226449887868214736840321440792751573104787954076714575187805312000538789936,
+                10412613750159988958028585780050254212547419910094153825608548817586948534492,
                 m[56],
                 t0,
                 t1