gnark-plonky2-verifier/plonky2_verifier/data/recursive_small/proof_with_public_inputs.json
plonky2_verifier/data/recursive_small/proof_with_public_inputs.jsonRaw
1{
2 "proof": {
3 "wires_cap": [
4 {
5 "elements": [
6 944649898319552701,
7 14815302736132681691,
8 13075497421999265715,
9 14969583073746230523
10 ]
11 },
12 {
13 "elements": [
14 3164170816320610657,
15 7166465716447308321,
16 8190234142884041566,
17 4839701463911194933
18 ]
19 },
20 {
21 "elements": [
22 16054267820438255069,
23 16264540825158494364,
24 15826986371148210024,
25 4896837493897619184
26 ]
27 },
28 {
29 "elements": [
30 10209639283248006038,
31 17720761958070271097,
32 11905244356331208727,
33 8748206292526448780
34 ]
35 },
36 {
37 "elements": [
38 4010539644452591623,
39 9389631117762179534,
40 7887615446844799863,
41 9702548596506925468
42 ]
43 },
44 {
45 "elements": [
46 13542763783882633006,
47 14962618320141146278,
48 2503323444950661149,
49 10156379035629657770
50 ]
51 },
52 {
53 "elements": [
54 254832031241083423,
55 637993535571591260,
56 10155677638192331421,
57 4967336024084775674
58 ]
59 },
60 {
61 "elements": [
62 17985690298455022448,
63 6187990023287286412,
64 4032288086546242291,
65 14661879055065040152
66 ]
67 },
68 {
69 "elements": [
70 12554694970611830079,
71 16800677146949946875,
72 8117096874871281892,
73 9321087293340004862
74 ]
75 },
76 {
77 "elements": [
78 12860698274898736158,
79 14569662185404066628,
80 10650061669512991138,
81 541328690122313697
82 ]
83 },
84 {
85 "elements": [
86 17658429703168352710,
87 3925808499372546180,
88 11887320174451841959,
89 15856294564563115922
90 ]
91 },
92 {
93 "elements": [
94 9118530964450487026,
95 171436836162719610,
96 9215255787981839687,
97 8330620210877192075
98 ]
99 },
100 {
101 "elements": [
102 11439935206946539665,
103 7202867901878949173,
104 4619209152615905148,
105 5272144375045478215
106 ]
107 },
108 {
109 "elements": [
110 17888683283680336466,
111 6545086749493994970,
112 12043358354874411505,
113 11257278754380532171
114 ]
115 },
116 {
117 "elements": [
118 13656783677472929799,
119 15400924496317190859,
120 15369158331467641330,
121 2708744394475951879
122 ]
123 },
124 {
125 "elements": [
126 17240037643618326613,
127 4582680520944408327,
128 8799881711823027437,
129 5690789401654794754
130 ]
131 }
132 ],
133 "plonk_zs_partial_products_cap": [
134 {
135 "elements": [
136 14456625448635930801,
137 17331822374330226628,
138 35654943185526031,
139 16077773654430634963
140 ]
141 },
142 {
143 "elements": [
144 3688836243367414332,
145 13245840295677209201,
146 791615063363981468,
147 6553513822499679211
148 ]
149 },
150 {
151 "elements": [
152 12749914715680596276,
153 18160895731683852050,
154 6772770414190114670,
155 4995098194544739555
156 ]
157 },
158 {
159 "elements": [
160 17154807249208916645,
161 7060144260623955500,
162 10936148298452263885,
163 13085268246249930902
164 ]
165 },
166 {
167 "elements": [
168 14381133275387870369,
169 169145321157373216,
170 10522739345646937919,
171 16095774630954231339
172 ]
173 },
174 {
175 "elements": [
176 16081084380985209626,
177 1247725400219203453,
178 3761888441697709488,
179 9090206302835105362
180 ]
181 },
182 {
183 "elements": [
184 13373206644368696690,
185 4302206758932593832,
186 14690435444291592823,
187 7814460031178849564
188 ]
189 },
190 {
191 "elements": [
192 16078950582681669746,
193 4063270984180891712,
194 6296998772299193130,
195 16705395006946818199
196 ]
197 },
198 {
199 "elements": [
200 11635830024590719997,
201 222028149565734692,
202 10632390627508416265,
203 3774356306380897977
204 ]
205 },
206 {
207 "elements": [
208 18032257897837989762,
209 4028297936682929464,
210 6449541372623942863,
211 2745842943892166359
212 ]
213 },
214 {
215 "elements": [
216 553443705295852964,
217 1448638378117909684,
218 11445705784102606316,
219 16466373768463538559
220 ]
221 },
222 {
223 "elements": [
224 551769626565984860,
225 4189434500547068826,
226 12963123132789105931,
227 5268896313192262077
228 ]
229 },
230 {
231 "elements": [
232 14931888451123439282,
233 10049935004658893378,
234 12006080954763722915,
235 18126182321833432526
236 ]
237 },
238 {
239 "elements": [
240 4921326838154098233,
241 14127195148430031859,
242 2885703304178085179,
243 10716468719372755018
244 ]
245 },
246 {
247 "elements": [
248 15317323697228429973,
249 2662826743519681225,
250 8466277791416004537,
251 3148298377171512771
252 ]
253 },
254 {
255 "elements": [
256 17975658486976563880,
257 6055829139845593188,
258 1435040062523416561,
259 10428861480248376825
260 ]
261 }
262 ],
263 "quotient_polys_cap": [
264 {
265 "elements": [
266 7718377968122267019,
267 7904191004677453286,
268 8865875042280335791,
269 5195066024153564709
270 ]
271 },
272 {
273 "elements": [
274 10284106456977714510,
275 8548496785435292365,
276 7047587091606261771,
277 15705688708347620952
278 ]
279 },
280 {
281 "elements": [
282 6206625248631621005,
283 10686240617304405682,
284 10016516272947962321,
285 13805662056367513820
286 ]
287 },
288 {
289 "elements": [
290 5632056840055471693,
291 5160268794559377018,
292 12493891913445447008,
293 15827183420987725417
294 ]
295 },
296 {
297 "elements": [
298 5455131034089887950,
299 16187916788608734987,
300 5941232349590786186,
301 2501097777513288116
302 ]
303 },
304 {
305 "elements": [
306 18085891217959061021,
307 1919726956048924571,
308 101997919891432029,
309 12089827671403954930
310 ]
311 },
312 {
313 "elements": [
314 1879117099157721247,
315 16276648882501472641,
316 6989085927156951071,
317 10264340135468314133
318 ]
319 },
320 {
321 "elements": [
322 8356692068088125347,
323 14314206539271092423,
324 735482554332231508,
325 13701042929235536178
326 ]
327 },
328 {
329 "elements": [
330 10853220198747927027,
331 10931059302730408715,
332 14016640265224292556,
333 4471117894287952667
334 ]
335 },
336 {
337 "elements": [
338 4395140109603155177,
339 5277189943686030336,
340 721528495598781728,
341 14233747282723481036
342 ]
343 },
344 {
345 "elements": [
346 2555815075785179117,
347 9985638786048928820,
348 12348128278572231152,
349 16854477307419407448
350 ]
351 },
352 {
353 "elements": [
354 11661786378548921771,
355 17144532211347613078,
356 613241009911099213,
357 5744482397404027447
358 ]
359 },
360 {
361 "elements": [
362 1144335285109083129,
363 9703126051040120480,
364 4706847978475265057,
365 1424082492852591466
366 ]
367 },
368 {
369 "elements": [
370 14916950351550571030,
371 18178393831671468344,
372 9391162482328039809,
373 8216263522452974121
374 ]
375 },
376 {
377 "elements": [
378 406330586507940509,
379 6845586452593429988,
380 6972151502379970588,
381 13435115210216168903
382 ]
383 },
384 {
385 "elements": [
386 13901157465123071348,
387 8437037662226196269,
388 15026347534766962032,
389 3180236570953041452
390 ]
391 }
392 ],
393 "openings": {
394 "constants": [
395 [
396 4668440828816302651,
397 1946030031406858735
398 ],
399 [
400 4888863938380251856,
401 16230009254720336126
402 ],
403 [
404 13754472181146048356,
405 3266106735892081239
406 ],
407 [
408 9883628713261173654,
409 746249367767269425
410 ],
411 [
412 5594557673717404970,
413 12339299661296094314
414 ]
415 ],
416 "plonk_sigmas": [
417 [
418 2863601877793985481,
419 15705214259753831276
420 ],
421 [
422 5765786098519317698,
423 3783416427028230944
424 ],
425 [
426 8500543859288941186,
427 16597793094119969359
428 ],
429 [
430 7507603281456410453,
431 18392856788743548402
432 ],
433 [
434 10373825358072748134,
435 7128464334815192119
436 ],
437 [
438 9764546905191781723,
439 13865426801462892472
440 ],
441 [
442 6776866188373651234,
443 5811862028029839990
444 ],
445 [
446 4494127096546289084,
447 10635536957399523933
448 ],
449 [
450 398506936177903223,
451 919508484519293275
452 ],
453 [
454 4092112824854388790,
455 14136810745377709161
456 ],
457 [
458 5261046072777879120,
459 11080323702758350744
460 ],
461 [
462 15900682065407167605,
463 9976542129130239019
464 ],
465 [
466 9622543371118236311,
467 1483978930371833523
468 ],
469 [
470 2211006078478110050,
471 4521749380697593655
472 ],
473 [
474 15490074282448123566,
475 5523263461118941064
476 ],
477 [
478 11890451141415820347,
479 11989266752883388068
480 ],
481 [
482 11260212051142563367,
483 9421448729148880964
484 ],
485 [
486 3785936894554545328,
487 8128314409498445267
488 ],
489 [
490 10749891377101179380,
491 10005481902917389505
492 ],
493 [
494 6905594867947163753,
495 1360896918743057716
496 ],
497 [
498 13910510382226760660,
499 10348479320734558402
500 ],
501 [
502 9942506939595603121,
503 9833176555208159569
504 ],
505 [
506 4323430383187136425,
507 10353934513211069943
508 ],
509 [
510 16652165391879986841,
511 4803379342375949226
512 ],
513 [
514 13482615834891575665,
515 12257586540965603510
516 ],
517 [
518 6711002994489459724,
519 10568574743761441640
520 ],
521 [
522 11204807360956089608,
523 11024736693770273625
524 ],
525 [
526 16248394343995081684,
527 11469014499324179404
528 ],
529 [
530 4330860980812837434,
531 8944002374459741166
532 ],
533 [
534 15581571546969532399,
535 4274902018354524944
536 ],
537 [
538 13415214284647596827,
539 17459685025920939263
540 ],
541 [
542 8864471242947014850,
543 7009815357206210305
544 ],
545 [
546 2637477830534230315,
547 18217032536617833232
548 ],
549 [
550 7825726468416502423,
551 13583800668312441949
552 ],
553 [
554 7563897153331055086,
555 13078316062320300607
556 ],
557 [
558 17549526266733717536,
559 5226632283254940495
560 ],
561 [
562 2407889184326625901,
563 10409860838272478416
564 ],
565 [
566 8959034818460389505,
567 12862600794316920968
568 ],
569 [
570 11636531154089823162,
571 16362504508086941046
572 ],
573 [
574 8591853439436916067,
575 17297699292094166322
576 ],
577 [
578 16522977801908702844,
579 13716393774804506567
580 ],
581 [
582 3359875300129094762,
583 1723854203267737277
584 ],
585 [
586 12803663952644120490,
587 6504072034629500429
588 ],
589 [
590 3295358992559538431,
591 8650876536272710366
592 ],
593 [
594 9266581473663880558,
595 3507120240688798170
596 ],
597 [
598 11895196693966161597,
599 13907674582720198627
600 ],
601 [
602 9426806711056815386,
603 11850147209890748560
604 ],
605 [
606 3696812048086005625,
607 8815453417144493037
608 ],
609 [
610 7081483051617827803,
611 15678291738341129159
612 ],
613 [
614 12835231282247091722,
615 866212479272502724
616 ],
617 [
618 6070298975404409099,
619 316628373497553424
620 ],
621 [
622 3189294541247877046,
623 4446101877619185931
624 ],
625 [
626 9810844387770977897,
627 5462298474053774390
628 ],
629 [
630 16688540593251361808,
631 8472059283075294616
632 ],
633 [
634 12919434285951952806,
635 16020768075751598355
636 ],
637 [
638 13296906461682283245,
639 12426443479974925179
640 ],
641 [
642 13153147470520685436,
643 13904334321278243131
644 ],
645 [
646 8401921641704334832,
647 8806344955917417558
648 ],
649 [
650 1995312368180941386,
651 12220600062888917054
652 ],
653 [
654 5171493133337071017,
655 7807879849551692030
656 ],
657 [
658 3854543777843140527,
659 9957419291972177241
660 ],
661 [
662 17420246870960894428,
663 4685154238732259581
664 ],
665 [
666 17775540515060868256,
667 5895203646636334057
668 ],
669 [
670 12314703238965470085,
671 11515181371307311907
672 ],
673 [
674 16635131269152875951,
675 9495644573194620439
676 ],
677 [
678 7961138618991150688,
679 226332949583014108
680 ],
681 [
682 16408826724574164900,
683 8672900639955951806
684 ],
685 [
686 9382062021391370870,
687 1513772635785769638
688 ],
689 [
690 14842024528756478314,
691 9632384774009180384
692 ],
693 [
694 15849664037593153543,
695 3207668977664359932
696 ],
697 [
698 5005070452249825044,
699 15039313866929133708
700 ],
701 [
702 14809167552044018407,
703 2481680212252492221
704 ],
705 [
706 12317868019952605985,
707 14370083423139359632
708 ],
709 [
710 18242170652589476,
711 4919050099936570413
712 ],
713 [
714 4491057257550147435,
715 467731995734943059
716 ],
717 [
718 6114830423357267307,
719 12824110497352997275
720 ],
721 [
722 18173629185156291307,
723 16929440695295944417
724 ],
725 [
726 12100931972711087644,
727 3057763046310562374
728 ],
729 [
730 2631766391540371372,
731 3612753209594530441
732 ],
733 [
734 18422364740782599604,
735 6842528397747128766
736 ]
737 ],
738 "wires": [
739 [
740 6094657968098149380,
741 15496737303102781956
742 ],
743 [
744 15109918107686908964,
745 4155127019478922318
746 ],
747 [
748 11082811932249306564,
749 14415370113520595964
750 ],
751 [
752 10840831279486422515,
753 17521536381265645596
754 ],
755 [
756 17716709073799625950,
757 2301851872614846474
758 ],
759 [
760 7268800135047602806,
761 9422881809498089192
762 ],
763 [
764 7100310614182127655,
765 17310257789550082574
766 ],
767 [
768 8088487853530437395,
769 4815170672403415633
770 ],
771 [
772 1758493184657640973,
773 9645016824143833472
774 ],
775 [
776 2930816509257089751,
777 2033519624926737669
778 ],
779 [
780 13223173652436853319,
781 10733487109001573363
782 ],
783 [
784 14580498567571012846,
785 15789143591628395831
786 ],
787 [
788 7185320564455091572,
789 17118349524678105380
790 ],
791 [
792 11757702784128977299,
793 3397816417283384936
794 ],
795 [
796 10252333121021861238,
797 3673571124668748353
798 ],
799 [
800 6769469091282452469,
801 6938999304483452643
802 ],
803 [
804 2354307494181026333,
805 12804865265975618729
806 ],
807 [
808 1815852914193028433,
809 10719234552973642726
810 ],
811 [
812 11848211163631971568,
813 12470314106823266661
814 ],
815 [
816 4213270034312652366,
817 7771369891831534967
818 ],
819 [
820 171328154121089002,
821 1316250474812465900
822 ],
823 [
824 574111560286583818,
825 4253695305141141871
826 ],
827 [
828 2575475947292360758,
829 1136027170077995865
830 ],
831 [
832 16242660896152124179,
833 3987976681740399384
834 ],
835 [
836 8460739928454430457,
837 1701298927508211624
838 ],
839 [
840 16856329131905321891,
841 7364870119478425572
842 ],
843 [
844 16638218921302236677,
845 6381984488237341680
846 ],
847 [
848 17482000642278342147,
849 2896156267445227452
850 ],
851 [
852 2738611766618528715,
853 17113656730254856281
854 ],
855 [
856 16932494601174469503,
857 13046388502818850502
858 ],
859 [
860 9282609968603809704,
861 8133140849997289628
862 ],
863 [
864 1756573098388781132,
865 13909143289358982643
866 ],
867 [
868 16784650868762266204,
869 16034309216880692013
870 ],
871 [
872 14095757333602010804,
873 16870899880135396080
874 ],
875 [
876 10812823651557468993,
877 10582385667106728760
878 ],
879 [
880 7612861374041685167,
881 415031216877089007
882 ],
883 [
884 6267049317158166292,
885 8552382514387587207
886 ],
887 [
888 15341228245479494672,
889 16748331550718878490
890 ],
891 [
892 2396886978159581312,
893 8222118672306794624
894 ],
895 [
896 11398179819782947427,
897 5632507862857018675
898 ],
899 [
900 13853412440158779492,
901 11009406668484475467
902 ],
903 [
904 5674277308825277540,
905 8463532112819580685
906 ],
907 [
908 15291651206120268131,
909 15105847291412059713
910 ],
911 [
912 9524521819298874887,
913 15181152736516791642
914 ],
915 [
916 6737987424175583401,
917 12697586656560304787
918 ],
919 [
920 5286838400673295188,
921 5645836520535668653
922 ],
923 [
924 17781709937249686035,
925 1444512166212712211
926 ],
927 [
928 8220193848551071637,
929 7526760020827897729
930 ],
931 [
932 8172023166051783088,
933 18318679126159743917
934 ],
935 [
936 1219146064651741455,
937 8594058461580127186
938 ],
939 [
940 14295067497445102134,
941 13664190923792836667
942 ],
943 [
944 10532231061470113400,
945 10497600997489400541
946 ],
947 [
948 9393796906808569057,
949 1003688656212451460
950 ],
951 [
952 6648967629224905980,
953 9218128139426659784
954 ],
955 [
956 15637995984776710957,
957 8704177435863667711
958 ],
959 [
960 14407203080687607363,
961 4704507280052308737
962 ],
963 [
964 9619396361409108812,
965 15349702882306809723
966 ],
967 [
968 2225578843713246859,
969 2061914354291560689
970 ],
971 [
972 17733273822822582148,
973 4063472722963217175
974 ],
975 [
976 13779023110658159837,
977 1652865880561395761
978 ],
979 [
980 17658789943629408166,
981 5871220653054390528
982 ],
983 [
984 8998063541851039231,
985 17375939994757057331
986 ],
987 [
988 11438190356864850502,
989 5967093525419283044
990 ],
991 [
992 14944964903484447693,
993 16212438235582819161
994 ],
995 [
996 7965813803015858041,
997 7177547871919175966
998 ],
999 [
1000 2233020035543772622,
1001 18035554545835325143
1002 ],
1003 [
1004 3075677312573474561,
1005 4446527641629105004
1006 ],
1007 [
1008 9058753801615157506,
1009 5838662575120866326
1010 ],
1011 [
1012 3558157468645413718,
1013 7400339647476937559
1014 ],
1015 [
1016 16868089811626046656,
1017 9922943797813242793
1018 ],
1019 [
1020 7548753695752401797,
1021 3263244496788839339
1022 ],
1023 [
1024 10712441387400882970,
1025 18089921940860825849
1026 ],
1027 [
1028 12152068644069433178,
1029 10092286804847622450
1030 ],
1031 [
1032 13967723240689533532,
1033 13902983515256831109
1034 ],
1035 [
1036 10040788484793294874,
1037 4075862394713334382
1038 ],
1039 [
1040 6978771267466487880,
1041 15413525474969629289
1042 ],
1043 [
1044 9383943516802178299,
1045 4743596284281180922
1046 ],
1047 [
1048 3379732857348731109,
1049 2946972898575960734
1050 ],
1051 [
1052 18086134568439681219,
1053 2916112601851592428
1054 ],
1055 [
1056 18399260297939470917,
1057 9360096701709321209
1058 ],
1059 [
1060 17525425274141072051,
1061 3139208529209365884
1062 ],
1063 [
1064 6346453918068919819,
1065 13448195260421438909
1066 ],
1067 [
1068 9404200891470677449,
1069 17930061226215248554
1070 ],
1071 [
1072 16512010805148318727,
1073 8587254539322788890
1074 ],
1075 [
1076 9882454469064658023,
1077 15845715165602373401
1078 ],
1079 [
1080 367269945256598058,
1081 12018665878460929346
1082 ],
1083 [
1084 8978170220379360149,
1085 1500982002429057978
1086 ],
1087 [
1088 12174356061167276828,
1089 2235589057821956822
1090 ],
1091 [
1092 8285760985344611909,
1093 1442259290025086213
1094 ],
1095 [
1096 16906141390853103103,
1097 9519954386789937008
1098 ],
1099 [
1100 2130087907149495163,
1101 9825646257118964911
1102 ],
1103 [
1104 14432512231595091925,
1105 1352772527171463601
1106 ],
1107 [
1108 6989089683563179684,
1109 5637609557043433964
1110 ],
1111 [
1112 12949913996002307583,
1113 5918614380595995089
1114 ],
1115 [
1116 2290028727490044955,
1117 2880838231948229422
1118 ],
1119 [
1120 8473450137075940916,
1121 15094083163598335904
1122 ],
1123 [
1124 12063877127322706349,
1125 15574192689929583527
1126 ],
1127 [
1128 8287495376651381485,
1129 4553545212897814279
1130 ],
1131 [
1132 9393268590714387938,
1133 17280540946629436858
1134 ],
1135 [
1136 10139648020679210346,
1137 591413037221780847
1138 ],
1139 [
1140 8148243835079798006,
1141 2031204647778014628
1142 ],
1143 [
1144 5373872726080961679,
1145 9150677924108214927
1146 ],
1147 [
1148 18357095968418957571,
1149 134147397213006781
1150 ],
1151 [
1152 13000543082290286312,
1153 9578187336089321603
1154 ],
1155 [
1156 8816745019467550019,
1157 8574230521891842296
1158 ],
1159 [
1160 4365548289757710587,
1161 6145069058141727190
1162 ],
1163 [
1164 16725773821869964550,
1165 11357480532583418212
1166 ],
1167 [
1168 8050016614008439911,
1169 12530032641024691397
1170 ],
1171 [
1172 10325769570311414022,
1173 16609222595499438443
1174 ],
1175 [
1176 16675577113397901640,
1177 10183214597569863686
1178 ],
1179 [
1180 5678078105337983200,
1181 6172702550908551104
1182 ],
1183 [
1184 13537469406023799108,
1185 2614780872967379320
1186 ],
1187 [
1188 6181648500358806452,
1189 4454076504988478596
1190 ],
1191 [
1192 13470374627993420549,
1193 15237935959372622704
1194 ],
1195 [
1196 2800350686738631160,
1197 12091190715589082287
1198 ],
1199 [
1200 17893614322950381108,
1201 4044389708049697428
1202 ],
1203 [
1204 1351712410485064451,
1205 9897494880312051026
1206 ],
1207 [
1208 4554221962523866237,
1209 1275327853199224887
1210 ],
1211 [
1212 6520410238917938411,
1213 6046355018840168750
1214 ],
1215 [
1216 9523980801432060236,
1217 16629110422754258828
1218 ],
1219 [
1220 8446142178012752213,
1221 16294197784370042772
1222 ],
1223 [
1224 17846328976364303291,
1225 17520143274926358194
1226 ],
1227 [
1228 1043265519884436524,
1229 9357167371307918793
1230 ],
1231 [
1232 15178915280699108065,
1233 5177959833761635482
1234 ],
1235 [
1236 17566568090751423030,
1237 14963772699495658977
1238 ],
1239 [
1240 8297738968799963842,
1241 12126760601692746094
1242 ],
1243 [
1244 14810680261096716408,
1245 7592713172441012727
1246 ],
1247 [
1248 10418341176740850393,
1249 9486705081226527596
1250 ],
1251 [
1252 3082440786803332645,
1253 2835214283015145489
1254 ],
1255 [
1256 7791723526696367944,
1257 14321042460546438098
1258 ],
1259 [
1260 17175646840761628094,
1261 7131444684846458855
1262 ],
1263 [
1264 14578104534485177051,
1265 6129216827990267601
1266 ],
1267 [
1268 13779061131221006948,
1269 6579619485656432008
1270 ],
1271 [
1272 7409880236578956061,
1273 8807533158864147196
1274 ],
1275 [
1276 12957830939559064362,
1277 2253433134949259456
1278 ]
1279 ],
1280 "plonk_zs": [
1281 [
1282 2285159038407763527,
1283 13063206177358701270
1284 ],
1285 [
1286 10736471517083029809,
1287 5759321392021081657
1288 ]
1289 ],
1290 "plonk_zs_next": [
1291 [
1292 2392543052180613159,
1293 10226794193138620421
1294 ],
1295 [
1296 6265952715481223362,
1297 18209969663080025788
1298 ]
1299 ],
1300 "partial_products": [
1301 [
1302 276970894241997428,
1303 11115813146259062061
1304 ],
1305 [
1306 9989747273499281538,
1307 10578179350297749707
1308 ],
1309 [
1310 2111904184202037712,
1311 12695054178399334532
1312 ],
1313 [
1314 12478613183994088295,
1315 18146901996704775175
1316 ],
1317 [
1318 9842525776981342758,
1319 7369269244118101742
1320 ],
1321 [
1322 14940857647445191970,
1323 5400642381662131734
1324 ],
1325 [
1326 18416544573330220066,
1327 1730257544215056228
1328 ],
1329 [
1330 4238145878018113603,
1331 8917654660083949789
1332 ],
1333 [
1334 5768622065443073898,
1335 2127768537970702711
1336 ],
1337 [
1338 14485168893199075939,
1339 10484348983238393680
1340 ],
1341 [
1342 15981686745447168305,
1343 13919361720777112859
1344 ],
1345 [
1346 10203973432847230914,
1347 6973910924723831723
1348 ],
1349 [
1350 4023357503538008954,
1351 13020407711898591457
1352 ],
1353 [
1354 169251307548369218,
1355 8112204986586776194
1356 ],
1357 [
1358 10330384276804261094,
1359 10372195243614508254
1360 ],
1361 [
1362 16575858200437184660,
1363 17720816913189760477
1364 ],
1365 [
1366 12314129056135835199,
1367 8331706471373545443
1368 ],
1369 [
1370 13889460072562474468,
1371 17136979902937530627
1372 ]
1373 ],
1374 "quotient_polys": [
1375 [
1376 10651259303678479528,
1377 6628601999071758328
1378 ],
1379 [
1380 10687140096951409598,
1381 3763205219298227469
1382 ],
1383 [
1384 11746583748081518252,
1385 3203625159080318951
1386 ],
1387 [
1388 12271027684683007543,
1389 11667857174937157873
1390 ],
1391 [
1392 13698859312288569001,
1393 8151143337501968303
1394 ],
1395 [
1396 2734655248734532929,
1397 2684779893741823046
1398 ],
1399 [
1400 1983099259697851046,
1401 6644921454049960654
1402 ],
1403 [
1404 15924294263443545319,
1405 5790969231289552483
1406 ],
1407 [
1408 11988629111010263030,
1409 14326051120338884419
1410 ],
1411 [
1412 2261020373803021348,
1413 10711883370144847191
1414 ],
1415 [
1416 12390685508411568431,
1417 17945894979192552011
1418 ],
1419 [
1420 8044197131311574993,
1421 16588142357113094643
1422 ],
1423 [
1424 14931631643488476659,
1425 2713031738824498369
1426 ],
1427 [
1428 14775992878790242629,
1429 10483451268266500255
1430 ],
1431 [
1432 15676094994426840394,
1433 5131033503722531690
1434 ],
1435 [
1436 7051586321617081426,
1437 17824648032106901098
1438 ]
1439 ]
1440 },
1441 "opening_proof": {
1442 "commit_phase_merkle_caps": [
1443 [
1444 {
1445 "elements": [
1446 4334408621931125776,
1447 1096281468347825712,
1448 14133127909160441732,
1449 8080962695328708850
1450 ]
1451 },
1452 {
1453 "elements": [
1454 13649325027777817227,
1455 14934003769622358440,
1456 879111472038063517,
1457 17760400394888269827
1458 ]
1459 },
1460 {
1461 "elements": [
1462 13716546881831836537,
1463 3730074627129808592,
1464 12482877785792560964,
1465 5633459071507493165
1466 ]
1467 },
1468 {
1469 "elements": [
1470 18371219000045413970,
1471 515023420991608892,
1472 5814583894462610737,
1473 4008495771137134555
1474 ]
1475 },
1476 {
1477 "elements": [
1478 7867092886060053793,
1479 4858313363571279164,
1480 4094060342864960499,
1481 6720361005331538872
1482 ]
1483 },
1484 {
1485 "elements": [
1486 8774119693868132002,
1487 1641137782404387444,
1488 11437355042150146863,
1489 17627621775972909894
1490 ]
1491 },
1492 {
1493 "elements": [
1494 15595919480253232225,
1495 12434699640034531807,
1496 5064213421713399922,
1497 16394366534194624255
1498 ]
1499 },
1500 {
1501 "elements": [
1502 12337387379902047551,
1503 10793336378743913755,
1504 6539542487827957183,
1505 7527375292190939838
1506 ]
1507 },
1508 {
1509 "elements": [
1510 16926154578887540970,
1511 10750731388855771177,
1512 12006878300048957343,
1513 2950742135927103835
1514 ]
1515 },
1516 {
1517 "elements": [
1518 16438130968429352161,
1519 16187493817256347783,
1520 520012307323993872,
1521 941556200543455506
1522 ]
1523 },
1524 {
1525 "elements": [
1526 2166836577567293971,
1527 10180024228601015062,
1528 2702267782802591497,
1529 14958007291937522526
1530 ]
1531 },
1532 {
1533 "elements": [
1534 9726006119570611119,
1535 11814176069953046980,
1536 16069135247035495486,
1537 17555613169686849334
1538 ]
1539 },
1540 {
1541 "elements": [
1542 2160473473757914180,
1543 9766374907952342880,
1544 10558512403112999480,
1545 7696180299631425572
1546 ]
1547 },
1548 {
1549 "elements": [
1550 6629821796851223039,
1551 12590035078336164902,
1552 4310823584050994907,
1553 12266238993136685206
1554 ]
1555 },
1556 {
1557 "elements": [
1558 143422881028827674,
1559 544480714907950036,
1560 7569354142982401183,
1561 3123476523563196040
1562 ]
1563 },
1564 {
1565 "elements": [
1566 3748826406407650132,
1567 12216403296692513172,
1568 17053749263954064684,
1569 7849453602244167648
1570 ]
1571 }
1572 ]
1573 ],
1574 "query_round_proofs": [
1575 {
1576 "initial_trees_proof": {
1577 "evals_proofs": [
1578 [
1579 [
1580 4502669714810380363,
1581 16013115962510084787,
1582 5109239876880758383,
1583 5981670042736128018,
1584 5192286627312974868,
1585 2673837260210036099,
1586 16711813297450189750,
1587 332914949470069640,
1588 11005844783629061234,
1589 3682140820914526618,
1590 9930702044623319838,
1591 8257610617910554208,
1592 4835278697529115870,
1593 9841158737360325593,
1594 14158078482147575880,
1595 16458939911798128826,
1596 2876329966017269394,
1597 18432612502499224460,
1598 18095550779871683745,
1599 13408538072310666620,
1600 4504226017141392162,
1601 1993970905028959948,
1602 12150455428856994493,
1603 9485391819886417280,
1604 17822277920975876728,
1605 17608903826634474454,
1606 896865945092813050,
1607 3432490527248268856,
1608 15499981840636667609,
1609 2835384369182830614,
1610 14165629805244147662,
1611 17329950440677867210,
1612 2921117025433937244,
1613 1791977520288897204,
1614 5743017896175457513,
1615 7738588355344795096,
1616 10412728269573233082,
1617 344170564245696105,
1618 6067924612798327348,
1619 6985581151172127789,
1620 10905188699675515031,
1621 13462386808323143274,
1622 14090101373096297643,
1623 14153061419664601469,
1624 3122750619363134483,
1625 17669567549599740166,
1626 14010908404003590537,
1627 3593076525693346631,
1628 6029585581340006387,
1629 12330561401656208356,
1630 15490892631114887814,
1631 12982262360390645062,
1632 844714224383400238,
1633 16136028825028492662,
1634 16274047839036116479,
1635 3673415954596626675,
1636 11746492267427097754,
1637 13862655320087304399,
1638 12628215135145426305,
1639 3702014179207089358,
1640 247792812182293464,
1641 4550951319588436764,
1642 10969220989910763574,
1643 5618262761473516726,
1644 17454287507992334632,
1645 498319444688456909,
1646 7764051014966401917,
1647 17098036879503723740,
1648 10383693399025700042,
1649 15994527592683408225,
1650 3628016012041259764,
1651 15555578281586476996,
1652 9746660070811716147,
1653 18239552879594579055,
1654 17172360775369333731,
1655 1861032423311905518,
1656 15125662678260273814,
1657 11522227450368975592,
1658 1283997898893158789,
1659 16017627609544903946,
1660 17687902811160137071,
1661 7160691286043065587,
1662 18116212863566144917,
1663 4052219865503697298,
1664 9918794989111296765
1665 ],
1666 {
1667 "siblings": [
1668 {
1669 "elements": [
1670 4469071176095428764,
1671 12131703129364843202,
1672 286758181774374542,
1673 7136337225123071731
1674 ]
1675 },
1676 {
1677 "elements": [
1678 8812046626689549894,
1679 6338514462534919484,
1680 5047678713005006897,
1681 3924357404009501841
1682 ]
1683 },
1684 {
1685 "elements": [
1686 9655154375785724650,
1687 8140561967472573615,
1688 4789282653515799534,
1689 6053051440903661853
1690 ]
1691 },
1692 {
1693 "elements": [
1694 532564336263661206,
1695 8154721531718820744,
1696 16395444539347717870,
1697 15485342438299777267
1698 ]
1699 },
1700 {
1701 "elements": [
1702 15640909735508131722,
1703 5049432200205360958,
1704 1807084348188526720,
1705 6805455673433080512
1706 ]
1707 },
1708 {
1709 "elements": [
1710 13613426212801219100,
1711 12449496297587202310,
1712 16249020111012433919,
1713 8495865279553879562
1714 ]
1715 },
1716 {
1717 "elements": [
1718 3446491613987613369,
1719 8785098208369342121,
1720 8463961829768633453,
1721 12936395418647278182
1722 ]
1723 },
1724 {
1725 "elements": [
1726 12189538181662396116,
1727 12713081204334034091,
1728 11366285413915069713,
1729 3447356717836929917
1730 ]
1731 }
1732 ]
1733 }
1734 ],
1735 [
1736 [
1737 10596078142813280589,
1738 10225622693277419420,
1739 8858579612683530407,
1740 13589596745567237969,
1741 15799197822723014438,
1742 10741796140217055593,
1743 618285208782846353,
1744 7548005615682248621,
1745 9864543555387398185,
1746 16379324021678968568,
1747 1211023756507595440,
1748 2259398610331067345,
1749 11490874263776467829,
1750 8773871457244473357,
1751 11023851353107780202,
1752 15991582884428082525,
1753 6031113102960834325,
1754 4077546957731622473,
1755 6853540870459567571,
1756 15452537908425211126,
1757 8287537901864876222,
1758 6957173085684031501,
1759 15387255718078476543,
1760 16017370455099611581,
1761 2417244147163266980,
1762 8484190046804574239,
1763 8222970231958419013,
1764 16628707650041232088,
1765 7665085353220197970,
1766 3198062744818416174,
1767 1446038575591036750,
1768 15152442649920455681,
1769 14848318249880759352,
1770 5114521299260655075,
1771 1655293517495468947,
1772 2412512901754602227,
1773 545526034218935120,
1774 7386009151572821536,
1775 1741064937635225114,
1776 5436766293672981958,
1777 1232249608326529798,
1778 4647787782105701962,
1779 7305820753008926159,
1780 856910878170812230,
1781 14639128160178147774,
1782 9975414430910227279,
1783 11787552526176920263,
1784 4396853210538349403,
1785 12634703620034674963,
1786 17187679570258484243,
1787 10581458090484794810,
1788 17221602901208101266,
1789 10283060258206045209,
1790 12532078340264582982,
1791 10527260887519278326,
1792 2628537572011716269,
1793 16546891736967505269,
1794 1890564001353540025,
1795 14237128169537446305,
1796 3455396960334196534,
1797 1427969362834741289,
1798 3065425051782135122,
1799 7082876580201478102,
1800 13811674433270212976,
1801 7328652101580917106,
1802 14774302297335185356,
1803 1593990769396384688,
1804 7229263277866295864,
1805 16019049517814077952,
1806 8441571552608803001,
1807 430635270501180253,
1808 10685226580759635054,
1809 6613496606012706270,
1810 12007036025937785654,
1811 6113016321127571347,
1812 1356070454157975454,
1813 2569467669041989136,
1814 7306375134588635944,
1815 5436679570475535744,
1816 13210188466709025164,
1817 1951530570926895021,
1818 14597410628609860968,
1819 13742210098113894608,
1820 4949913023617787214,
1821 866402070132188173,
1822 6414026482052490569,
1823 14521809671197418624,
1824 8825189345574792620,
1825 18086891843124214218,
1826 11325124897996990553,
1827 10862000561000984304,
1828 62916479993640607,
1829 14574210370968009537,
1830 4759628973444083629,
1831 14896207363695620071,
1832 4587647770144376338,
1833 17204764810834765121,
1834 14607073619212931823,
1835 541895540068604550,
1836 854804181287778061,
1837 8103938252452433840,
1838 9936791138148432950,
1839 6580843325336851303,
1840 14393810275283702199,
1841 8496420063899782164,
1842 3767959485272410037,
1843 13117233152306636581,
1844 13898866511044888309,
1845 2237296024609740946,
1846 10649848242808661948,
1847 8502013581609904815,
1848 12511982725818204979,
1849 17327114690211134017,
1850 4363546455981502462,
1851 11705881867178434528,
1852 210689416179298549,
1853 2358150068798723942,
1854 14648585119738104438,
1855 9854802669410146667,
1856 18143747732764882468,
1857 641119258121663217,
1858 7403033805893116030,
1859 6484802803789916841,
1860 5075558826613127381,
1861 6849424682453767665,
1862 9250422780126545222,
1863 2909398364323805599,
1864 9084812605661098178,
1865 11098760681185133384,
1866 18361007759624920880,
1867 14287468979691104501,
1868 10965800911907502344,
1869 296318898804440165,
1870 14117267256581223100,
1871 15891138285372766985
1872 ],
1873 {
1874 "siblings": [
1875 {
1876 "elements": [
1877 2868178140110621080,
1878 7931010306591293044,
1879 15075981357864175869,
1880 6762337783595856937
1881 ]
1882 },
1883 {
1884 "elements": [
1885 568051488748844760,
1886 216518933911033756,
1887 9907936630575751589,
1888 1267980768411531992
1889 ]
1890 },
1891 {
1892 "elements": [
1893 970044023618601482,
1894 17770101065459310713,
1895 16463567882145590276,
1896 14049490780009150140
1897 ]
1898 },
1899 {
1900 "elements": [
1901 3037086530869933905,
1902 5675336036737531265,
1903 14939291534241454509,
1904 233688632450269108
1905 ]
1906 },
1907 {
1908 "elements": [
1909 10329931215504449384,
1910 2274655621979949682,
1911 15511748567074918174,
1912 10679504790185762664
1913 ]
1914 },
1915 {
1916 "elements": [
1917 639671448049117808,
1918 17360927081762588543,
1919 1415218174452190700,
1920 5643345781155670287
1921 ]
1922 },
1923 {
1924 "elements": [
1925 17997032021805248562,
1926 18098421280866160354,
1927 12556076596966106820,
1928 11381426282129483398
1929 ]
1930 },
1931 {
1932 "elements": [
1933 249247609981545078,
1934 10422575943914333706,
1935 3050639929088650737,
1936 6704847327629139342
1937 ]
1938 }
1939 ]
1940 }
1941 ],
1942 [
1943 [
1944 5625649723041831203,
1945 17752367420322322401,
1946 1749780732362188505,
1947 63360751105698590,
1948 8353067272615444354,
1949 16907486556395936640,
1950 13750916290138925976,
1951 8957280215738218264,
1952 14542214958346026089,
1953 10062114665907153972,
1954 2313840646946171342,
1955 18220696210000742397,
1956 3471911098270214207,
1957 9011544409007798830,
1958 10631482891626581013,
1959 6159578360543920663,
1960 14499519104276504156,
1961 13830640500651721823,
1962 751764525976344505,
1963 9823121840082491241
1964 ],
1965 {
1966 "siblings": [
1967 {
1968 "elements": [
1969 15140337645531167452,
1970 5850412228851912810,
1971 1180321912469546283,
1972 6385652306950264525
1973 ]
1974 },
1975 {
1976 "elements": [
1977 6215328101753340689,
1978 4998457774642921514,
1979 3286260732291071763,
1980 951488281559571713
1981 ]
1982 },
1983 {
1984 "elements": [
1985 3875812663982913835,
1986 8100714068468904116,
1987 7337975272607124980,
1988 5252547567199012939
1989 ]
1990 },
1991 {
1992 "elements": [
1993 4809695062981750269,
1994 5794850348988980496,
1995 6156233451839484970,
1996 6263212293799306256
1997 ]
1998 },
1999 {
2000 "elements": [
2001 17966253505692693253,
2002 15094190649777150586,
2003 4804657219365077068,
2004 833509281372817786
2005 ]
2006 },
2007 {
2008 "elements": [
2009 10936844368648045039,
2010 4150471055364732821,
2011 6602654853449811028,
2012 3661325151280683112
2013 ]
2014 },
2015 {
2016 "elements": [
2017 11841145843168284830,
2018 13873033845168973581,
2019 5855437296928091635,
2020 6089452218503437194
2021 ]
2022 },
2023 {
2024 "elements": [
2025 11546691041882000738,
2026 1683728857152972139,
2027 9259777912129295216,
2028 11448309020501443332
2029 ]
2030 }
2031 ]
2032 }
2033 ],
2034 [
2035 [
2036 10072453257728315082,
2037 18026665829876655928,
2038 14102883983599087530,
2039 10101906425245084400,
2040 15541085049076173831,
2041 17794680073174099892,
2042 16993673591991844214,
2043 15906097650261677952,
2044 17588887157256129087,
2045 15432759273464103501,
2046 13668895104654603498,
2047 5623201254796796514,
2048 16570305125309576321,
2049 16163198503176839452,
2050 12428774259590992384,
2051 5460233713017034126
2052 ],
2053 {
2054 "siblings": [
2055 {
2056 "elements": [
2057 9841719066331019160,
2058 5186399211564782565,
2059 8214924973075434258,
2060 11019369793422717165
2061 ]
2062 },
2063 {
2064 "elements": [
2065 13391352701069923277,
2066 2489064379451733732,
2067 3184710412685379537,
2068 3765542606553595082
2069 ]
2070 },
2071 {
2072 "elements": [
2073 4764174374366759453,
2074 16011787367555363607,
2075 9248046981638304555,
2076 5324136811474475717
2077 ]
2078 },
2079 {
2080 "elements": [
2081 12258618489368081631,
2082 6915557915896974827,
2083 737902253696368751,
2084 6651088585985525333
2085 ]
2086 },
2087 {
2088 "elements": [
2089 2863716727018964382,
2090 16146112906534115332,
2091 11574074059838941805,
2092 2975310329585194142
2093 ]
2094 },
2095 {
2096 "elements": [
2097 10398790036750270443,
2098 13533270059986355815,
2099 11395711311143169463,
2100 5835264561558647253
2101 ]
2102 },
2103 {
2104 "elements": [
2105 2467389992453910638,
2106 16881102941473114009,
2107 17084293843289425720,
2108 5956362283359231045
2109 ]
2110 },
2111 {
2112 "elements": [
2113 17006444583297587521,
2114 8236529331176192640,
2115 11565180659881544559,
2116 15450144216495189908
2117 ]
2118 }
2119 ]
2120 }
2121 ]
2122 ]
2123 },
2124 "steps": [
2125 {
2126 "evals": [
2127 [
2128 6945142326213937160,
2129 2692463163606823732
2130 ],
2131 [
2132 8099135875794704878,
2133 15065802555635501087
2134 ],
2135 [
2136 11388270598110111099,
2137 12236027877230744462
2138 ],
2139 [
2140 6078106296321435787,
2141 15407201475662543674
2142 ],
2143 [
2144 2065325580277033441,
2145 5100565818315293425
2146 ],
2147 [
2148 4223604360945327455,
2149 16898900716543837322
2150 ],
2151 [
2152 2725055055897636210,
2153 11926128236931757263
2154 ],
2155 [
2156 12415733183241920476,
2157 10694564677172533100
2158 ],
2159 [
2160 14295608911068158065,
2161 2835359291290298521
2162 ],
2163 [
2164 5801996643906981519,
2165 15551819288530327050
2166 ],
2167 [
2168 17890077465327530233,
2169 10243893790392635896
2170 ],
2171 [
2172 1796485868326687123,
2173 8016401414883584551
2174 ],
2175 [
2176 9373189797883882209,
2177 8802777509487516493
2178 ],
2179 [
2180 10962357190511561230,
2181 13926922212656990606
2182 ],
2183 [
2184 11913737214374602113,
2185 11336430162949214055
2186 ],
2187 [
2188 2516225966865439224,
2189 13003640913990648727
2190 ]
2191 ],
2192 "merkle_proof": {
2193 "siblings": [
2194 {
2195 "elements": [
2196 5625635885409778930,
2197 5467178698794343970,
2198 11363817398540293280,
2199 9428150197176027234
2200 ]
2201 },
2202 {
2203 "elements": [
2204 13603929097830685180,
2205 3605822854750804140,
2206 3327358542487310716,
2207 361293534937215660
2208 ]
2209 },
2210 {
2211 "elements": [
2212 1223680515894990528,
2213 14364027192130250498,
2214 8610501164850578683,
2215 9272188712747777651
2216 ]
2217 },
2218 {
2219 "elements": [
2220 5317896249008681390,
2221 10368632553581679904,
2222 8464517169219338262,
2223 17771260175154736034
2224 ]
2225 }
2226 ]
2227 }
2228 }
2229 ]
2230 },
2231 {
2232 "initial_trees_proof": {
2233 "evals_proofs": [
2234 [
2235 [
2236 2294121968335646770,
2237 10065162317825971796,
2238 15912039394025572029,
2239 7398363305365223203,
2240 8968458925132978723,
2241 6546456587510056535,
2242 7238298352630807604,
2243 4256618393298405729,
2244 237876302684460405,
2245 4661494701320218255,
2246 13916810658465047415,
2247 3066793992403379620,
2248 5132122358531777340,
2249 9673660649920737509,
2250 3299112273258011371,
2251 9692829051493157246,
2252 12844354859774764946,
2253 196901331291286587,
2254 6112884856000783583,
2255 8685677265336683289,
2256 12156607181404317690,
2257 7236566580503470987,
2258 5539017353968840151,
2259 9216932910443015435,
2260 8829010374288784844,
2261 1686463124508172389,
2262 7679629464711058385,
2263 2104152730881632226,
2264 5007392510507113845,
2265 1959349406488260174,
2266 8109736708598695616,
2267 5080259201026665834,
2268 7861037916868338430,
2269 13058125311201834830,
2270 17260043812656802829,
2271 13230311304235748950,
2272 45377277580009886,
2273 879165356096782417,
2274 2120622164685390421,
2275 14582533118056803238,
2276 15966258922893284281,
2277 1738161334410680353,
2278 157281918408949064,
2279 2009652898088102887,
2280 205002743457748371,
2281 17363674678065249713,
2282 3746741166409103486,
2283 2947818730251727857,
2284 9447019376347176213,
2285 12679400930208643945,
2286 11533880737853428075,
2287 17154186237969666505,
2288 2234167424053588891,
2289 9519243143196832475,
2290 3208991395743785244,
2291 7568943091257113257,
2292 10963386587047633570,
2293 5109057255213564996,
2294 14856341017838217474,
2295 8307195020766752509,
2296 2451393681110941833,
2297 2884486147239200452,
2298 7830173018600008643,
2299 9153539193244824806,
2300 10007494571195678673,
2301 11522121123476066780,
2302 9839842425167440992,
2303 15934809225129151077,
2304 13736495265486737941,
2305 6411249814384842568,
2306 9440494942856377418,
2307 12818936836664819205,
2308 1585352150689841682,
2309 4108277680240448206,
2310 16797752924529735418,
2311 4366510685183217337,
2312 13423076271199046129,
2313 8768212862233786327,
2314 2103665265917202695,
2315 13994804909677034568,
2316 17552365218512763801,
2317 4872996449452842495,
2318 15185178162649828423,
2319 16699894052438258161,
2320 6218793950580301201
2321 ],
2322 {
2323 "siblings": [
2324 {
2325 "elements": [
2326 17792787627240871639,
2327 4598085314469032746,
2328 16737124341826569067,
2329 6215136042977542022
2330 ]
2331 },
2332 {
2333 "elements": [
2334 17570598313876138267,
2335 2574364390796261324,
2336 1278454314174749296,
2337 9446628359023150730
2338 ]
2339 },
2340 {
2341 "elements": [
2342 5271119602767077491,
2343 10462624974811964245,
2344 8986918236677255664,
2345 5796072277290475892
2346 ]
2347 },
2348 {
2349 "elements": [
2350 2803916941462074125,
2351 14999325724696285197,
2352 16700449096777466888,
2353 10993285570695803262
2354 ]
2355 },
2356 {
2357 "elements": [
2358 17885903293317380249,
2359 10676813582002085531,
2360 7894731390042266610,
2361 9049439652252528805
2362 ]
2363 },
2364 {
2365 "elements": [
2366 5985740893225518793,
2367 10067718320178797217,
2368 10928714737643650436,
2369 3153558764176028708
2370 ]
2371 },
2372 {
2373 "elements": [
2374 321470241044084140,
2375 11037570996866513254,
2376 12781801523102591764,
2377 9912435218373911028
2378 ]
2379 },
2380 {
2381 "elements": [
2382 2409206190507605952,
2383 15870494383748217485,
2384 7994441724485561735,
2385 12917850898018569776
2386 ]
2387 }
2388 ]
2389 }
2390 ],
2391 [
2392 [
2393 4021995081813393940,
2394 4500022833676969755,
2395 9846274452374609879,
2396 3505837354090826983,
2397 3050209702866580802,
2398 11432552451050945216,
2399 4988540674317877131,
2400 8870790610144408947,
2401 3052122769624904650,
2402 758221472289088741,
2403 8349326750825821594,
2404 17318357318012543722,
2405 6576565471623912856,
2406 6361606376956294822,
2407 9432347724642850194,
2408 7049798869347391390,
2409 3866589838665394301,
2410 17112211125107057062,
2411 10536540062541243337,
2412 1051736464252738979,
2413 3832862208431075570,
2414 7678049638817129832,
2415 1860524326159082070,
2416 15996427543094060068,
2417 10970521269993793181,
2418 3839163864249639,
2419 17427816864285609796,
2420 10169179088462432038,
2421 352315803118694619,
2422 16294854204460651924,
2423 18024537878850730330,
2424 10989253343863181008,
2425 15317710163484769667,
2426 9867047936467364077,
2427 12612684023183101966,
2428 13181022358786503610,
2429 612527142612517628,
2430 5431379818651590458,
2431 853416570969421179,
2432 13725519286138624028,
2433 2484888887853329865,
2434 12168392117214084472,
2435 12613905183931801779,
2436 10415407262113366602,
2437 15137652445076486774,
2438 12521976756114314355,
2439 10662834203359252897,
2440 7525410193093174568,
2441 211342822589825011,
2442 9498067631211372028,
2443 14182188537257812086,
2444 9960498205783357571,
2445 15450081774971817938,
2446 9474531117406576643,
2447 14782272607793062546,
2448 12429707716380037449,
2449 6001294635178542733,
2450 2641157395264835120,
2451 5082786247530932472,
2452 13395786005133120225,
2453 5059171591789794204,
2454 14706539161732675022,
2455 9194581695121801819,
2456 13783971925575349311,
2457 16387060486126653521,
2458 15948097499174471876,
2459 17378098418335735937,
2460 8604986014313737639,
2461 7052295309670353068,
2462 8713648551084801303,
2463 6057453113758936338,
2464 7739514991249095150,
2465 2703637080383258781,
2466 1255070845532232659,
2467 10953343206282338185,
2468 11819267217333603011,
2469 6338546048232447964,
2470 17168910037241459770,
2471 12712906874650842377,
2472 4547744833961184043,
2473 12677728715718566889,
2474 16009843272031907108,
2475 12923268035496791367,
2476 5812591264501898316,
2477 11565871033248896559,
2478 6482668220642607695,
2479 7342207031585148842,
2480 7604479939274471349,
2481 2818370074956523797,
2482 9977737762132463057,
2483 4968324058383654113,
2484 17967562831431821411,
2485 12732838488343748011,
2486 532435588995716377,
2487 883761803777329783,
2488 5207732459630924673,
2489 7615461263428289222,
2490 15499036795486642623,
2491 17167386070355675182,
2492 4917647066627031448,
2493 8435182003241076619,
2494 9290334393654734998,
2495 188409719273801789,
2496 2924193029888650873,
2497 5506398550477253757,
2498 7545003924364333488,
2499 12471565241035847280,
2500 17638047669645237031,
2501 1125028717063425509,
2502 11646287901245431260,
2503 5649385308934611865,
2504 6635381037758237774,
2505 15862060270099801316,
2506 12250365224071480847,
2507 4850427002176223850,
2508 9802826651539987832,
2509 11420808575376761947,
2510 14256071512364329229,
2511 1212484609033308089,
2512 8107953599961489695,
2513 12508606986777918335,
2514 15296225404868916009,
2515 3940785557327202584,
2516 3221566712285883903,
2517 4462808146757302752,
2518 12482644853272529235,
2519 9831649289639680350,
2520 5669484614542358514,
2521 8917532169053678426,
2522 5557313270344246437,
2523 16690967997075593985,
2524 152075749447221889,
2525 3374712685259338486,
2526 7917980337434896663,
2527 5252656476492565038
2528 ],
2529 {
2530 "siblings": [
2531 {
2532 "elements": [
2533 16401194985830184675,
2534 2549038339363211693,
2535 17746630696080331608,
2536 5601428676813245557
2537 ]
2538 },
2539 {
2540 "elements": [
2541 17887230356701092129,
2542 9367814107574041755,
2543 18400128574842011471,
2544 8139785005047554999
2545 ]
2546 },
2547 {
2548 "elements": [
2549 15735377713295893892,
2550 12512014798854894412,
2551 13291858408997622065,
2552 17326886652160339040
2553 ]
2554 },
2555 {
2556 "elements": [
2557 2103186968207522135,
2558 7957106947933857801,
2559 7418015256612465592,
2560 16875922596912996962
2561 ]
2562 },
2563 {
2564 "elements": [
2565 6649481108261948839,
2566 2196610384665698672,
2567 8587828105244254001,
2568 17530454687046300268
2569 ]
2570 },
2571 {
2572 "elements": [
2573 8901239254422635242,
2574 6927137768298806207,
2575 401828859431048322,
2576 11032299560438971793
2577 ]
2578 },
2579 {
2580 "elements": [
2581 9910290563728746846,
2582 8875231659263773793,
2583 15007805323661550967,
2584 15534913185953782963
2585 ]
2586 },
2587 {
2588 "elements": [
2589 2909753204523502912,
2590 14636796526556200469,
2591 10865157388781620090,
2592 16606297037353403707
2593 ]
2594 }
2595 ]
2596 }
2597 ],
2598 [
2599 [
2600 5935646820708281672,
2601 17350225295274209870,
2602 8053132197620541179,
2603 9717386389622450357,
2604 8625328219476458189,
2605 11484436481225267665,
2606 18316088628724494386,
2607 6785919594206688376,
2608 13984774184678286704,
2609 1962249313173501159,
2610 494647060538582160,
2611 1592813350273555758,
2612 28583449981205602,
2613 3320295669744950212,
2614 7301822307275259698,
2615 9069805142658074401,
2616 6301931559389311353,
2617 8166499415071685972,
2618 7244340882513339374,
2619 5263744551517465446
2620 ],
2621 {
2622 "siblings": [
2623 {
2624 "elements": [
2625 7990231495934903840,
2626 10567102684953289526,
2627 8057819572715201494,
2628 5627920471782683913
2629 ]
2630 },
2631 {
2632 "elements": [
2633 8129835603425863083,
2634 15217207933504711531,
2635 14466529759653423325,
2636 15297886394108091054
2637 ]
2638 },
2639 {
2640 "elements": [
2641 7064362908354808480,
2642 6370864075360917436,
2643 2921950122507522250,
2644 9724071457438908133
2645 ]
2646 },
2647 {
2648 "elements": [
2649 17687539834473427962,
2650 4972644799292320255,
2651 13556505695923771853,
2652 8306752980298865706
2653 ]
2654 },
2655 {
2656 "elements": [
2657 7452250537634099669,
2658 15801583189077386203,
2659 4077347271908414144,
2660 13904629747523349926
2661 ]
2662 },
2663 {
2664 "elements": [
2665 2883277533153132332,
2666 3480126443475034244,
2667 13633358850474390689,
2668 10787456816913455616
2669 ]
2670 },
2671 {
2672 "elements": [
2673 12019883945243724495,
2674 6821562689845271667,
2675 15965206612852071681,
2676 11725957721893323250
2677 ]
2678 },
2679 {
2680 "elements": [
2681 17263619207810249989,
2682 13254091597524794294,
2683 1594113278768236004,
2684 7642375083505978434
2685 ]
2686 }
2687 ]
2688 }
2689 ],
2690 [
2691 [
2692 14341914300958108356,
2693 12869656063716696793,
2694 2565523854802858298,
2695 16258405330148954100,
2696 6647671289295319294,
2697 18226689251462639182,
2698 8186749656038654025,
2699 122397230408185686,
2700 14037481066134944713,
2701 10221260755819793410,
2702 4377068600570069361,
2703 11979853266107168895,
2704 17958823512487829110,
2705 8502299721723405028,
2706 218083542762528342,
2707 4969729661027301864
2708 ],
2709 {
2710 "siblings": [
2711 {
2712 "elements": [
2713 13861085933545463757,
2714 17678962030604850851,
2715 17092217754178338918,
2716 3224858684515463775
2717 ]
2718 },
2719 {
2720 "elements": [
2721 6449587002958463468,
2722 4062265606242246906,
2723 7449134282196088992,
2724 3089849514171447087
2725 ]
2726 },
2727 {
2728 "elements": [
2729 17297064005933414499,
2730 4112717838566231856,
2731 13611326653866401037,
2732 13265488274610067765
2733 ]
2734 },
2735 {
2736 "elements": [
2737 9220824209382987565,
2738 9080985997810865004,
2739 17156248093694669186,
2740 10812668884074250071
2741 ]
2742 },
2743 {
2744 "elements": [
2745 1695731333050424584,
2746 12048996725620638722,
2747 5862934792133131868,
2748 9563008943785787317
2749 ]
2750 },
2751 {
2752 "elements": [
2753 269803391752256656,
2754 2500856633251286660,
2755 9084422147202703295,
2756 9963392651190756438
2757 ]
2758 },
2759 {
2760 "elements": [
2761 5184793964227212196,
2762 2698954062782667143,
2763 14655191328408050191,
2764 12057508896251491534
2765 ]
2766 },
2767 {
2768 "elements": [
2769 18132538609453438267,
2770 203030852277008117,
2771 12145740640391687905,
2772 14232629268479148722
2773 ]
2774 }
2775 ]
2776 }
2777 ]
2778 ]
2779 },
2780 "steps": [
2781 {
2782 "evals": [
2783 [
2784 17270012558074402287,
2785 4937356421021541606
2786 ],
2787 [
2788 7177149213130359357,
2789 1359538828701319678
2790 ],
2791 [
2792 6298238710751099553,
2793 5666084301680068875
2794 ],
2795 [
2796 11420904048569524995,
2797 5590544504073513245
2798 ],
2799 [
2800 16662315788783415818,
2801 2892249705551868718
2802 ],
2803 [
2804 8462841134331223613,
2805 4591059418657424211
2806 ],
2807 [
2808 15750580764864763115,
2809 7811172023670784283
2810 ],
2811 [
2812 13472165034522627702,
2813 9566581820195943564
2814 ],
2815 [
2816 17008046185906602988,
2817 6646561880475827874
2818 ],
2819 [
2820 256286183643915163,
2821 10472200986903571140
2822 ],
2823 [
2824 8352866261717346747,
2825 10732860893276081440
2826 ],
2827 [
2828 6336485000202347377,
2829 12462927904578869398
2830 ],
2831 [
2832 16075322716677465333,
2833 11802216155877102658
2834 ],
2835 [
2836 387928800543510604,
2837 14172434405911958838
2838 ],
2839 [
2840 10203157321784001958,
2841 11574615965287022566
2842 ],
2843 [
2844 17675087176700949174,
2845 13590405613815177608
2846 ]
2847 ],
2848 "merkle_proof": {
2849 "siblings": [
2850 {
2851 "elements": [
2852 18356409137067502471,
2853 7891675957704100181,
2854 8644211766958233969,
2855 6989581436604498050
2856 ]
2857 },
2858 {
2859 "elements": [
2860 9449963941393372391,
2861 1431647594223236242,
2862 8844085816848210563,
2863 4144261309797430797
2864 ]
2865 },
2866 {
2867 "elements": [
2868 1704076238839430771,
2869 8367389247835642503,
2870 13918455001013302351,
2871 12372297006341559007
2872 ]
2873 },
2874 {
2875 "elements": [
2876 7154506049766200179,
2877 17927705207535366495,
2878 8818458484660494864,
2879 9610048777698239479
2880 ]
2881 }
2882 ]
2883 }
2884 }
2885 ]
2886 }
2887 ],
2888 "final_poly": {
2889 "coeffs": [
2890 [
2891 8955067002921311432,
2892 18256353993096363890
2893 ],
2894 [
2895 13829092190516455266,
2896 11408925353686124010
2897 ],
2898 [
2899 92606827770808937,
2900 9055956377717160958
2901 ],
2902 [
2903 10124567114278969598,
2904 3329030420068672289
2905 ],
2906 [
2907 4029293517540130032,
2908 1657248044164086252
2909 ],
2910 [
2911 14113857225103246286,
2912 15064417920658923757
2913 ],
2914 [
2915 4986052908630247484,
2916 12461769223649894620
2917 ],
2918 [
2919 7904212555116992842,
2920 10965755331462472853
2921 ],
2922 [
2923 4562177320323530089,
2924 11969847503986089736
2925 ],
2926 [
2927 7233724607259600490,
2928 16850192185358298442
2929 ],
2930 [
2931 3605301864964019986,
2932 16724800148757582063
2933 ],
2934 [
2935 2599824601162338378,
2936 2165159118403714856
2937 ],
2938 [
2939 4181533849785773490,
2940 1537192946074336321
2941 ],
2942 [
2943 13798396903180888606,
2944 16848735343279086480
2945 ],
2946 [
2947 4827720778667971311,
2948 11012832219700489540
2949 ],
2950 [
2951 2521525793845336171,
2952 14324772889536994982
2953 ],
2954 [
2955 16294957391735761934,
2956 3424547603911396360
2957 ],
2958 [
2959 4950761265489594202,
2960 18300179085163438918
2961 ],
2962 [
2963 3613168752992604273,
2964 11914938909993435806
2965 ],
2966 [
2967 13465571440484744200,
2968 5952362450174148375
2969 ],
2970 [
2971 5968280380431625853,
2972 6746631331239502791
2973 ],
2974 [
2975 15454129442672796392,
2976 13841930847822116077
2977 ],
2978 [
2979 3914769939189768890,
2980 3788185429433610006
2981 ],
2982 [
2983 11249519951498749638,
2984 9725049418616642079
2985 ],
2986 [
2987 9380760926494961892,
2988 11643931540097518561
2989 ],
2990 [
2991 5125039736095666553,
2992 5038449866964485068
2993 ],
2994 [
2995 11866598939013111513,
2996 7873154350336721529
2997 ],
2998 [
2999 9507696970400353975,
3000 1937276890841316117
3001 ],
3002 [
3003 14111369899449444326,
3004 10966711335423495094
3005 ],
3006 [
3007 6148468679915009293,
3008 4836987671272115887
3009 ],
3010 [
3011 12996128163764739003,
3012 13419024793419731413
3013 ],
3014 [
3015 9103797887237271020,
3016 17447595009695232604
3017 ]
3018 ]
3019 },
3020 "pow_witness": 8214565718411187029
3021 }
3022 },
3023 "public_inputs": []
3024}