1package plonky2_verifier
  2
  3import (
  4	. "gnark-plonky2-verifier/field"
  5)
  6
  7var localConstants = []QuadraticExtension{
  8	{NewFieldElement(14938388220067017512), NewFieldElement(6893617978345561255)},
  9	{NewFieldElement(2858278997849927318), NewFieldElement(14613858972289114497)},
 10	{NewFieldElement(12010705804054043554), NewFieldElement(17734088886423096402)},
 11	{NewFieldElement(6471692081681050808), NewFieldElement(18106394403447308154)},
 12	{NewFieldElement(12558554458272921972), NewFieldElement(2216637096996035026)},
 13	{NewFieldElement(2742311400964131460), NewFieldElement(9282906066726805869)},
 14	{NewFieldElement(6596410029573254275), NewFieldElement(10257498171037842553)},
 15}
 16
 17var localWires = []QuadraticExtension{
 18	{NewFieldElement(2324480063341987239), NewFieldElement(988591962437064919)},
 19	{NewFieldElement(14688677982646642822), NewFieldElement(8146247054257470414)},
 20	{NewFieldElement(17333596212120632616), NewFieldElement(8229773878724567671)},
 21	{NewFieldElement(16821804945910820925), NewFieldElement(12343335221440433490)},
 22	{NewFieldElement(2756227950103887825), NewFieldElement(343560939592426117)},
 23	{NewFieldElement(16596623007682686427), NewFieldElement(16182492379544649001)},
 24	{NewFieldElement(11316887259286577994), NewFieldElement(5467115228713222299)},
 25	{NewFieldElement(1582490957227381752), NewFieldElement(6925101494868390621)},
 26	{NewFieldElement(17935248409332290352), NewFieldElement(12534157394828412916)},
 27	{NewFieldElement(1232026497545098356), NewFieldElement(14048694225063532055)},
 28	{NewFieldElement(11979806059027179452), NewFieldElement(17007628877389084459)},
 29	{NewFieldElement(6185211824111055171), NewFieldElement(11113325383534952676)},
 30	{NewFieldElement(5285260129504523793), NewFieldElement(2234312045539869327)},
 31	{NewFieldElement(5097097637012137260), NewFieldElement(6201025554481621574)},
 32	{NewFieldElement(6037242957330965254), NewFieldElement(8600833538151893000)},
 33	{NewFieldElement(1840669856531831838), NewFieldElement(15065652255235975922)},
 34	{NewFieldElement(12697827657439264676), NewFieldElement(8513261715427030745)},
 35	{NewFieldElement(17293199904676005799), NewFieldElement(3250033655198439882)},
 36	{NewFieldElement(15670279238000114139), NewFieldElement(2873593865532946130)},
 37	{NewFieldElement(8233044221496845350), NewFieldElement(7769536024141251466)},
 38	{NewFieldElement(7276958187322513627), NewFieldElement(1860660389845587459)},
 39	{NewFieldElement(9589532469937976759), NewFieldElement(7590567423994010364)},
 40	{NewFieldElement(16188252206420308967), NewFieldElement(1215332132961798729)},
 41	{NewFieldElement(4284385291851770933), NewFieldElement(8054708369354118180)},
 42	{NewFieldElement(951064484118793750), NewFieldElement(14928634967654532194)},
 43	{NewFieldElement(5756940583948879782), NewFieldElement(16919129773187566805)},
 44	{NewFieldElement(14616825313554663172), NewFieldElement(14608067953510361893)},
 45	{NewFieldElement(2218969368435230247), NewFieldElement(8314107073610762130)},
 46	{NewFieldElement(2846464114111699115), NewFieldElement(1739645682168118162)},
 47	{NewFieldElement(9428678995108626933), NewFieldElement(18300292734756419913)},
 48	{NewFieldElement(17837447932135148748), NewFieldElement(16963062756757640776)},
 49	{NewFieldElement(15769972692897111778), NewFieldElement(11937356836123640190)},
 50	{NewFieldElement(8427612563992716672), NewFieldElement(6338936101976157422)},
 51	{NewFieldElement(8087028861430760589), NewFieldElement(15904493721713953322)},
 52	{NewFieldElement(16852312552899313453), NewFieldElement(12703698940483431753)},
 53	{NewFieldElement(9385581021480003680), NewFieldElement(16428288666295194603)},
 54	{NewFieldElement(17228209431960982877), NewFieldElement(7918190884273718559)},
 55	{NewFieldElement(3132939554659874022), NewFieldElement(14065724777617623144)},
 56	{NewFieldElement(1997749289316112361), NewFieldElement(9278657719821874692)},
 57	{NewFieldElement(11261631966308838097), NewFieldElement(17864868364492856478)},
 58	{NewFieldElement(6870413790049792873), NewFieldElement(7958529866191467568)},
 59	{NewFieldElement(3285486169947371103), NewFieldElement(13432787563835021279)},
 60	{NewFieldElement(15050449752793271273), NewFieldElement(18354035013159256035)},
 61	{NewFieldElement(13156406563219393216), NewFieldElement(2811064537112579464)},
 62	{NewFieldElement(152960041933474907), NewFieldElement(1638753743319968389)},
 63	{NewFieldElement(319825484888354934), NewFieldElement(9316401211755928943)},
 64	{NewFieldElement(16408408071810237531), NewFieldElement(18410352386107353801)},
 65	{NewFieldElement(11721234235617526034), NewFieldElement(15999840912099509122)},
 66	{NewFieldElement(6334230580789589688), NewFieldElement(14426162209351753421)},
 67	{NewFieldElement(958567038590387846), NewFieldElement(8029518124072166613)},
 68	{NewFieldElement(14177438370769025330), NewFieldElement(16473317446385361345)},
 69	{NewFieldElement(15581189373117842086), NewFieldElement(5900338653012073386)},
 70	{NewFieldElement(8240400515986653624), NewFieldElement(14185121622736441262)},
 71	{NewFieldElement(6679588999186450167), NewFieldElement(7128455250623622155)},
 72	{NewFieldElement(16252662677474545634), NewFieldElement(11498423056076196888)},
 73	{NewFieldElement(15806801790824973416), NewFieldElement(2139294885746295937)},
 74	{NewFieldElement(2686237135450455588), NewFieldElement(11560495253516227160)},
 75	{NewFieldElement(10794154831626450247), NewFieldElement(14846136074280133457)},
 76	{NewFieldElement(10904017069956482237), NewFieldElement(16678728929164911588)},
 77	{NewFieldElement(77097765992419633), NewFieldElement(6037802885211793535)},
 78	{NewFieldElement(2948949654471962353), NewFieldElement(2821197372203299784)},
 79	{NewFieldElement(11058031646382030618), NewFieldElement(14661594862905661700)},
 80	{NewFieldElement(12154711323908739968), NewFieldElement(16167190320499561302)},
 81	{NewFieldElement(7860977505669195590), NewFieldElement(13935954304018092783)},
 82	{NewFieldElement(18189874348209070279), NewFieldElement(11538053105967940289)},
 83	{NewFieldElement(11425397866380016050), NewFieldElement(3629278068857786221)},
 84	{NewFieldElement(14222050824749623144), NewFieldElement(15140845573600227476)},
 85	{NewFieldElement(11344695042959853614), NewFieldElement(2169085408567386370)},
 86	{NewFieldElement(1382814149657132134), NewFieldElement(1236079356280021064)},
 87	{NewFieldElement(17447449634981200877), NewFieldElement(4036324561038142974)},
 88	{NewFieldElement(11667566735027246199), NewFieldElement(7504612499562579295)},
 89	{NewFieldElement(8096661641373469320), NewFieldElement(17495789134569173932)},
 90	{NewFieldElement(9772815018478920866), NewFieldElement(6155533504741603890)},
 91	{NewFieldElement(4680980484631369987), NewFieldElement(12005731930547792380)},
 92	{NewFieldElement(6030057570246380244), NewFieldElement(1574605083038813985)},
 93	{NewFieldElement(6754716419760683051), NewFieldElement(9739266036232852396)},
 94	{NewFieldElement(3724513823179248054), NewFieldElement(13013306109228123804)},
 95	{NewFieldElement(11890451292401098866), NewFieldElement(16486773210504598590)},
 96	{NewFieldElement(15585701182352051988), NewFieldElement(11720999619266399739)},
 97	{NewFieldElement(7485278618867936600), NewFieldElement(11145589513887907261)},
 98	{NewFieldElement(14193072368816296635), NewFieldElement(7323345281142640608)},
 99	{NewFieldElement(17524516352488247889), NewFieldElement(15683878140283813020)},
100	{NewFieldElement(12837567742060157665), NewFieldElement(4718676941458713108)},
101	{NewFieldElement(6217075579383787974), NewFieldElement(6370591763549375649)},
102	{NewFieldElement(8359486437738096506), NewFieldElement(10778994345307569722)},
103	{NewFieldElement(4952581951776675799), NewFieldElement(17817948246329576635)},
104	{NewFieldElement(3976052009388288681), NewFieldElement(17849902626188930996)},
105	{NewFieldElement(17810794672545767939), NewFieldElement(1041595632469164526)},
106	{NewFieldElement(14280479506185077398), NewFieldElement(9432275670660632521)},
107	{NewFieldElement(16096793441725012598), NewFieldElement(14080357378312550361)},
108	{NewFieldElement(2808358450883300976), NewFieldElement(18155683068497079023)},
109	{NewFieldElement(12506615906620507426), NewFieldElement(13547702647793093771)},
110	{NewFieldElement(543665817978834688), NewFieldElement(11749575935793871460)},
111	{NewFieldElement(14472836352047062696), NewFieldElement(12745333723416264174)},
112	{NewFieldElement(12981918713322309538), NewFieldElement(12274815259004888156)},
113	{NewFieldElement(8926153023959879624), NewFieldElement(15612804752658609157)},
114	{NewFieldElement(15470343302949437595), NewFieldElement(11164995109470525521)},
115	{NewFieldElement(10520929231082168869), NewFieldElement(16888496821066277493)},
116	{NewFieldElement(1028056151721181243), NewFieldElement(8120934238589042033)},
117	{NewFieldElement(1810007995141850479), NewFieldElement(2490559022189551873)},
118	{NewFieldElement(1867732552988682347), NewFieldElement(8352749138289783478)},
119	{NewFieldElement(1772251986087179577), NewFieldElement(1151343330961505549)},
120	{NewFieldElement(14295941257654230218), NewFieldElement(8638985198387420860)},
121	{NewFieldElement(582917963870113299), NewFieldElement(13301360102508097820)},
122	{NewFieldElement(18438694801095657876), NewFieldElement(2953322262478232169)},
123	{NewFieldElement(7603887573063566422), NewFieldElement(6091524026276266924)},
124	{NewFieldElement(7184877376568353020), NewFieldElement(5312277526863426709)},
125	{NewFieldElement(4845801136589914168), NewFieldElement(1561342471733565936)},
126	{NewFieldElement(13089468615522535612), NewFieldElement(4057681051840817565)},
127	{NewFieldElement(14153633198781966944), NewFieldElement(11670642633718804558)},
128	{NewFieldElement(16238871251946995480), NewFieldElement(9879378414393071037)},
129	{NewFieldElement(407815114363153064), NewFieldElement(18417737282937069683)},
130	{NewFieldElement(10314092695875136843), NewFieldElement(17129917118418209854)},
131	{NewFieldElement(14435763837662532097), NewFieldElement(4319511190642832713)},
132	{NewFieldElement(11747855857520646712), NewFieldElement(7041602666708225251)},
133	{NewFieldElement(9175192383987399327), NewFieldElement(4409574583823547850)},
134	{NewFieldElement(9548913170337855226), NewFieldElement(4160834878925069440)},
135	{NewFieldElement(965944482423049129), NewFieldElement(14015844569022395350)},
136	{NewFieldElement(17244878179047663844), NewFieldElement(925516683252056953)},
137	{NewFieldElement(11530194255376349088), NewFieldElement(3004909091927990154)},
138	{NewFieldElement(5197253289126122309), NewFieldElement(4693726439926432566)},
139	{NewFieldElement(16039381979512237027), NewFieldElement(8603041366636528085)},
140	{NewFieldElement(6094270808101390314), NewFieldElement(13412584619695658458)},
141	{NewFieldElement(300463888721818101), NewFieldElement(1345726875223674416)},
142	{NewFieldElement(15941208658209056668), NewFieldElement(9615553092932888024)},
143	{NewFieldElement(12935711669717280950), NewFieldElement(1779981135440026594)},
144	{NewFieldElement(1903849940544955596), NewFieldElement(3220793888228552075)},
145	{NewFieldElement(17009281029954729848), NewFieldElement(12717382096012389232)},
146	{NewFieldElement(8308499022107883215), NewFieldElement(7238839475668369173)},
147	{NewFieldElement(4681909377350889716), NewFieldElement(9121889619872786537)},
148	{NewFieldElement(16745334188484332040), NewFieldElement(13880192213923952919)},
149	{NewFieldElement(8275654896887061920), NewFieldElement(5378310777055483996)},
150	{NewFieldElement(2877567868802486135), NewFieldElement(3737222674819658170)},
151	{NewFieldElement(7662876313147287437), NewFieldElement(15849146076823477077)},
152	{NewFieldElement(15996655521860650011), NewFieldElement(10796039480722311424)},
153	{NewFieldElement(3451129575094269729), NewFieldElement(9506170035703226854)},
154}
155
156var publicInputsHash = Hash{ZERO_F, ZERO_F, ZERO_F, ZERO_F}
157
158var constantGateExpectedConstraints = []QuadraticExtension{
159	{NewFieldElement(417831337622144221), NewFieldElement(8294314104289740950)},
160	{NewFieldElement(10354476116341195774), NewFieldElement(2111251116780372139)},
161}
162
163var baseSumGateExpectedConstraints = []QuadraticExtension{
164	{NewFieldElement(13342375419378862774), NewFieldElement(2280369543228400622)},
165	{NewFieldElement(4343016273263963301), NewFieldElement(8670112296843354731)},
166	{NewFieldElement(16450085172304373435), NewFieldElement(9474921066378691247)},
167	{NewFieldElement(10825438813181866983), NewFieldElement(4721788102061048468)},
168	{NewFieldElement(2653358151822415377), NewFieldElement(16941658162630334598)},
169	{NewFieldElement(16109827603357243766), NewFieldElement(2469723755597001985)},
170	{NewFieldElement(16092509697995123079), NewFieldElement(15792545805376063500)},
171	{NewFieldElement(18220570683647205186), NewFieldElement(15344882637457318583)},
172	{NewFieldElement(11198665856327480684), NewFieldElement(5553903935302684834)},
173	{NewFieldElement(10482437897580882341), NewFieldElement(8685229612947119045)},
174	{NewFieldElement(4559642503814598145), NewFieldElement(10753102667902815825)},
175	{NewFieldElement(622804064827561260), NewFieldElement(581766069302707440)},
176	{NewFieldElement(18211909441470681488), NewFieldElement(9918892113105798061)},
177	{NewFieldElement(17690944039562025874), NewFieldElement(10477359595782407734)},
178	{NewFieldElement(10779840836031384949), NewFieldElement(5788395352825863117)},
179	{NewFieldElement(16642771945619329948), NewFieldElement(16143638493085149246)},
180	{NewFieldElement(4736242245615047143), NewFieldElement(8163893235093339079)},
181	{NewFieldElement(1094576462017674831), NewFieldElement(174501253315632830)},
182	{NewFieldElement(13301388104345214501), NewFieldElement(10119526634662127335)},
183	{NewFieldElement(8813857633984933142), NewFieldElement(3166911591676225444)},
184	{NewFieldElement(4484502504021732255), NewFieldElement(1409252568845542666)},
185	{NewFieldElement(1370941442659786223), NewFieldElement(17296588456662108571)},
186	{NewFieldElement(4569099382027624816), NewFieldElement(17912433869630853419)},
187	{NewFieldElement(14131075703244612804), NewFieldElement(3689236699393284763)},
188	{NewFieldElement(18110259573622113024), NewFieldElement(6304531968860732013)},
189	{NewFieldElement(8367598931797559807), NewFieldElement(15403657336885577186)},
190	{NewFieldElement(14940830541973671114), NewFieldElement(7321434648394309094)},
191	{NewFieldElement(4391132182759374634), NewFieldElement(5732898826353006639)},
192	{NewFieldElement(7456591484914201025), NewFieldElement(18109528517204812723)},
193	{NewFieldElement(17161771796959903109), NewFieldElement(13156261145684066101)},
194	{NewFieldElement(13536084388374414797), NewFieldElement(2054701847843415519)},
195	{NewFieldElement(14910161626746342494), NewFieldElement(16386413929249303239)},
196	{NewFieldElement(135663282453455528), NewFieldElement(7326002312332878726)},
197}
198
199var arithmeticGateExpectedConstraints = []QuadraticExtension{
200	{NewFieldElement(9603520691216808695), NewFieldElement(4690376779053831127)},
201	{NewFieldElement(5966866800636406163), NewFieldElement(6497324789933336132)},
202	{NewFieldElement(6878826495788308741), NewFieldElement(6127451825087650238)},
203	{NewFieldElement(6678434778566461093), NewFieldElement(4026425239249050845)},
204	{NewFieldElement(12356209889502117742), NewFieldElement(2848290571099391070)},
205	{NewFieldElement(7541992239029108782), NewFieldElement(17950940401537766942)},
206	{NewFieldElement(8908708207493246100), NewFieldElement(7160028060821122527)},
207	{NewFieldElement(409323751734912343), NewFieldElement(24526598513461753)},
208	{NewFieldElement(10095343333078580948), NewFieldElement(9161015237592230075)},
209	{NewFieldElement(11010535831715159243), NewFieldElement(15218713219737909314)},
210	{NewFieldElement(1130027067868936767), NewFieldElement(348988747125952834)},
211	{NewFieldElement(4887152687323312043), NewFieldElement(2858818833929316587)},
212	{NewFieldElement(2026398252660761898), NewFieldElement(14463964653784091512)},
213	{NewFieldElement(11677435047184556805), NewFieldElement(14702888148318045748)},
214	{NewFieldElement(2582432912602788354), NewFieldElement(6113339395054066192)},
215	{NewFieldElement(6676401481409103862), NewFieldElement(423414056716918306)},
216	{NewFieldElement(10348954695605340465), NewFieldElement(9794647822577644958)},
217	{NewFieldElement(15581055079466977733), NewFieldElement(2184227200414011915)},
218	{NewFieldElement(16837665759306664052), NewFieldElement(13229282844806523763)},
219	{NewFieldElement(15646775329525033386), NewFieldElement(7893047165846868816)},
220}
221
222var randomAccessGateExpectedConstraints = []QuadraticExtension{
223	{NewFieldElement(14096597590517523067), NewFieldElement(2655169409008419702)},
224	{NewFieldElement(5150369100957105913), NewFieldElement(9690142804550213688)},
225	{NewFieldElement(12862636728240805500), NewFieldElement(15885653298577690721)},
226	{NewFieldElement(5938169082606588253), NewFieldElement(13375731264713600699)},
227	{NewFieldElement(16556211561864036325), NewFieldElement(1097770550456310263)},
228	{NewFieldElement(7110929822775027665), NewFieldElement(12197631192598781905)},
229	{NewFieldElement(3526950454725789222), NewFieldElement(16581256211788295110)},
230	{NewFieldElement(6704870069993050342), NewFieldElement(639095910170462201)},
231	{NewFieldElement(15722010723337496870), NewFieldElement(1609594866420744764)},
232	{NewFieldElement(3770790493236783721), NewFieldElement(1601875894399014690)},
233	{NewFieldElement(8940214713698553170), NewFieldElement(1435550334204491513)},
234	{NewFieldElement(5765635925648817913), NewFieldElement(17921434922626677797)},
235	{NewFieldElement(11284135106973148775), NewFieldElement(12235917185065439961)},
236	{NewFieldElement(11684377481625307024), NewFieldElement(4068304938130253402)},
237	{NewFieldElement(16430390956600401383), NewFieldElement(5027375440531063469)},
238	{NewFieldElement(12346816733826550618), NewFieldElement(8983232740461478925)},
239	{NewFieldElement(7315134556374205868), NewFieldElement(10733792242004794605)},
240	{NewFieldElement(9676902521951667374), NewFieldElement(17472456522303293623)},
241	{NewFieldElement(3391573289049150552), NewFieldElement(13044958098760740211)},
242	{NewFieldElement(7161062079224730414), NewFieldElement(14473293246671391425)},
243	{NewFieldElement(590698465067972002), NewFieldElement(4791051041728641335)},
244	{NewFieldElement(11301242955861918730), NewFieldElement(7313100973676377913)},
245	{NewFieldElement(6327059471985261770), NewFieldElement(11232679988877321564)},
246	{NewFieldElement(15485954821265539981), NewFieldElement(1201918074719834630)},
247	{NewFieldElement(11416240451899794915), NewFieldElement(3127372561985201979)},
248	{NewFieldElement(1915429544941884288), NewFieldElement(16698510309904634494)},
249}