gnark-plonky2-verifier/verifier/data/recursive_very_small/proof_with_public_inputs.json
verifier/data/recursive_very_small/proof_with_public_inputs.jsonRaw
1{
2 "proof": {
3 "wires_cap": [
4 {
5 "elements": [
6 12334095634066844994,
7 14227633352728447429,
8 6103889101133473788,
9 1003064334944152363
10 ]
11 },
12 {
13 "elements": [
14 18440682293096852497,
15 2118374406835445242,
16 10507815786639730171,
17 8341948593122526063
18 ]
19 },
20 {
21 "elements": [
22 2191160625594182418,
23 14797469980086774670,
24 16634847388764763583,
25 3150921351995183187
26 ]
27 },
28 {
29 "elements": [
30 11013695617950736123,
31 1925707614760831170,
32 9943516652172558193,
33 13214208420429991547
34 ]
35 },
36 {
37 "elements": [
38 16655861665685665663,
39 17911111877814716898,
40 18210648302049081967,
41 2532092071803701996
42 ]
43 },
44 {
45 "elements": [
46 3633005177982771801,
47 6345522742586399052,
48 12331057605355726839,
49 16516029736816764408
50 ]
51 },
52 {
53 "elements": [
54 2718133300577227921,
55 4645033028207753108,
56 11490110128696906593,
57 13263505143432585983
58 ]
59 },
60 {
61 "elements": [
62 9748166535608611519,
63 12889634671598828817,
64 6903478187159018156,
65 10117864128677814540
66 ]
67 },
68 {
69 "elements": [
70 4099872838564919051,
71 5222774524044878357,
72 14031115904422242312,
73 4181409933340121937
74 ]
75 },
76 {
77 "elements": [
78 6233307680444342479,
79 1269100060160438759,
80 5146234184487523659,
81 8843756859675129680
82 ]
83 },
84 {
85 "elements": [
86 11099204175334531570,
87 12761158501973781953,
88 3070845207867449486,
89 16297911523476747635
90 ]
91 },
92 {
93 "elements": [
94 15202457144563398896,
95 374376598859675476,
96 8930422280607035980,
97 15764519061028184384
98 ]
99 },
100 {
101 "elements": [
102 15532260345036802677,
103 2339983906668405172,
104 11540869631888000997,
105 124741207597492564
106 ]
107 },
108 {
109 "elements": [
110 4438450555521169113,
111 2617250660069023523,
112 13458010234552956160,
113 11080205339655953043
114 ]
115 },
116 {
117 "elements": [
118 4084717581188875334,
119 18075265620326937804,
120 7619677984012323368,
121 11176822697197193222
122 ]
123 },
124 {
125 "elements": [
126 13538518804393572756,
127 10368105092947348112,
128 265877718725176572,
129 7349001163777984302
130 ]
131 }
132 ],
133 "plonk_zs_partial_products_cap": [
134 {
135 "elements": [
136 918878037767708063,
137 13726044163037464112,
138 2058227012615435066,
139 2267262151883184701
140 ]
141 },
142 {
143 "elements": [
144 8323942925490963872,
145 3046756618229577771,
146 12516076915398629048,
147 6908684708022298065
148 ]
149 },
150 {
151 "elements": [
152 1909011082470493590,
153 17483206374421108498,
154 314757761527004793,
155 11254333792734441461
156 ]
157 },
158 {
159 "elements": [
160 14502774564921129826,
161 8367639294359517072,
162 292698889846232570,
163 14784793094325636821
164 ]
165 },
166 {
167 "elements": [
168 7432208631432161516,
169 14502020601209084456,
170 4932684329312070237,
171 1309148601775480761
172 ]
173 },
174 {
175 "elements": [
176 13285263065389168501,
177 16338978992551193717,
178 14451848312599187935,
179 10503435963295764486
180 ]
181 },
182 {
183 "elements": [
184 6552069765736501481,
185 936148012209989856,
186 9686860069207147752,
187 16678176088751623278
188 ]
189 },
190 {
191 "elements": [
192 6481996946784423960,
193 1884172143275992499,
194 12581969537024166358,
195 17360398964286614598
196 ]
197 },
198 {
199 "elements": [
200 2418722198014354807,
201 11784980758796483770,
202 10407278984127028825,
203 12073585852309789653
204 ]
205 },
206 {
207 "elements": [
208 8053758877435585367,
209 10210534464562680420,
210 17204796367484216983,
211 16902550723055849904
212 ]
213 },
214 {
215 "elements": [
216 1765986283362459670,
217 8375038835266792502,
218 10054438799539119876,
219 2159395096050412081
220 ]
221 },
222 {
223 "elements": [
224 150780603255498786,
225 12043154170567734701,
226 14978570947228005063,
227 14035963457555594147
228 ]
229 },
230 {
231 "elements": [
232 7268563792257419905,
233 13434718422573381535,
234 16116870522910004366,
235 6055241861762182018
236 ]
237 },
238 {
239 "elements": [
240 12372990793962495451,
241 4538193400397457385,
242 5702475581662162331,
243 18268331606761205988
244 ]
245 },
246 {
247 "elements": [
248 8368983455152969087,
249 6015629564954170054,
250 8098474120964689503,
251 8898578743365218754
252 ]
253 },
254 {
255 "elements": [
256 18253217556855550120,
257 8526533489335929378,
258 10135459049591683413,
259 16990601534284366689
260 ]
261 }
262 ],
263 "quotient_polys_cap": [
264 {
265 "elements": [
266 8753054719098117640,
267 11097910416282184674,
268 11475176574889731050,
269 6451230164773796330
270 ]
271 },
272 {
273 "elements": [
274 7750632604322818654,
275 1220583849698478311,
276 3749330454017989545,
277 9606089727024868670
278 ]
279 },
280 {
281 "elements": [
282 13859121621807351997,
283 13696419459924905437,
284 582182617442088528,
285 8612793884179482652
286 ]
287 },
288 {
289 "elements": [
290 9552251686227494197,
291 3538287580491141039,
292 18270962563830691996,
293 4415158233962474004
294 ]
295 },
296 {
297 "elements": [
298 15309229149050152966,
299 12804169888196156076,
300 14728515107566233669,
301 4256709184045367321
302 ]
303 },
304 {
305 "elements": [
306 3439079429359331250,
307 4082863963798765243,
308 9189250644546269108,
309 8820961182445856528
310 ]
311 },
312 {
313 "elements": [
314 8867412764754316949,
315 5388979674626247080,
316 1592400929583179137,
317 746574348375800917
318 ]
319 },
320 {
321 "elements": [
322 6772946950622254859,
323 17816217563643951563,
324 18159633598139212474,
325 15826389678975000951
326 ]
327 },
328 {
329 "elements": [
330 15722941877888484599,
331 8669279998742478683,
332 1494650288578664107,
333 701110195196831825
334 ]
335 },
336 {
337 "elements": [
338 10881199429129884145,
339 11576452894666390580,
340 7108738201202164800,
341 10843281942596657602
342 ]
343 },
344 {
345 "elements": [
346 8417996098327831929,
347 737756061401881496,
348 4202255534811650431,
349 11022826899207307587
350 ]
351 },
352 {
353 "elements": [
354 3267923927120186518,
355 11760929797688161038,
356 477033963728051458,
357 12080589544610708213
358 ]
359 },
360 {
361 "elements": [
362 13232884707662161694,
363 17559109516772498490,
364 9537995906367411173,
365 9860637751643058727
366 ]
367 },
368 {
369 "elements": [
370 7380181609556827419,
371 14986840756190202372,
372 16601819549029139286,
373 4460003450484559802
374 ]
375 },
376 {
377 "elements": [
378 10510019366059743018,
379 10190697750956876212,
380 14750290868573894976,
381 13219473933214614682
382 ]
383 },
384 {
385 "elements": [
386 12808783404568349123,
387 11151329615257252504,
388 10751771595141702243,
389 7001648365158800144
390 ]
391 }
392 ],
393 "openings": {
394 "constants": [
395 [
396 8383172984531297946,
397 14927499296985358873
398 ],
399 [
400 5614087021749090647,
401 11111301793879364889
402 ],
403 [
404 6632828105345302518,
405 17643964833822741401
406 ],
407 [
408 13712502242228286361,
409 3839388664343341180
410 ],
411 [
412 15473886235947543320,
413 8812990933130463133
414 ]
415 ],
416 "plonk_sigmas": [
417 [
418 8539669039886665923,
419 11251897154207393802
420 ],
421 [
422 824682173972626430,
423 17778446114706519922
424 ],
425 [
426 10428970969056046374,
427 1556374925437781266
428 ],
429 [
430 9852898611876701768,
431 8372700811611495083
432 ],
433 [
434 792777070134695969,
435 13553001819719041665
436 ],
437 [
438 15016414016646007576,
439 5805581757864651293
440 ],
441 [
442 7120929437343157614,
443 17758322670871762205
444 ],
445 [
446 4359774862101216882,
447 17641380733567776165
448 ],
449 [
450 7224835622717542820,
451 572057550049615500
452 ],
453 [
454 10626243105595827560,
455 6634862179303816267
456 ],
457 [
458 9388384965515977212,
459 14657607592267956777
460 ],
461 [
462 3865030583183961637,
463 18215654585745383059
464 ],
465 [
466 10366414691775050028,
467 7019671613214937021
468 ],
469 [
470 1316219541125734697,
471 14462405028254799092
472 ],
473 [
474 12377141933893537386,
475 13131921896301465292
476 ],
477 [
478 16397557922870533877,
479 7895694149085655243
480 ],
481 [
482 14018025690920602002,
483 8773596243883967482
484 ],
485 [
486 8294605481443730281,
487 17032591742551763188
488 ],
489 [
490 13131529948383860040,
491 5337187862705740125
492 ],
493 [
494 6123322198671014375,
495 11455240134629705301
496 ],
497 [
498 2475036980847752278,
499 8326859647375399254
500 ],
501 [
502 11524156433908866744,
503 12761584676704743945
504 ],
505 [
506 233796669093337040,
507 4808881135643575268
508 ],
509 [
510 18392370888470961580,
511 7753512291432326951
512 ],
513 [
514 13543597711407334595,
515 4015095312001789031
516 ],
517 [
518 16977289081746989257,
519 14281576312469525701
520 ],
521 [
522 4635375014564160305,
523 15088432020483267967
524 ],
525 [
526 11123180160475250764,
527 12578836845460887530
528 ],
529 [
530 351938017201429203,
531 3613920340609092401
532 ],
533 [
534 6154744304739285024,
535 4259515548504614512
536 ],
537 [
538 7908162473770847221,
539 7294286310491807102
540 ],
541 [
542 11693619780416902325,
543 5761573872955169632
544 ],
545 [
546 533039116163287811,
547 17727627221002277503
548 ],
549 [
550 12880334938504837708,
551 9889558476215960486
552 ],
553 [
554 5400537240690610553,
555 9701584526296322425
556 ],
557 [
558 14155470050153502298,
559 10675808146289074027
560 ],
561 [
562 9267622398572687865,
563 1212686276604066596
564 ],
565 [
566 17022127433012442171,
567 9997862795170234371
568 ],
569 [
570 8640847757910947280,
571 18361942871799337854
572 ],
573 [
574 35482384131766244,
575 11560937340268184455
576 ],
577 [
578 547196346608143501,
579 9573346521455598197
580 ],
581 [
582 5003631434910049910,
583 15838329650633266326
584 ],
585 [
586 14201037711983417587,
587 477555042452342582
588 ],
589 [
590 15050675884557386424,
591 6204117643080879384
592 ],
593 [
594 15597861400621374976,
595 6281701718544984913
596 ],
597 [
598 836189037311089424,
599 10737727812285531957
600 ],
601 [
602 7456230458943264798,
603 9068419539293661101
604 ],
605 [
606 8263350988015319825,
607 4097527724690142756
608 ],
609 [
610 18282452974858585978,
611 4848948248321912143
612 ],
613 [
614 13655674428261506295,
615 10687478600071632451
616 ],
617 [
618 9668857174788104636,
619 9252579575696210573
620 ],
621 [
622 15053588506967228592,
623 11235222310019050194
624 ],
625 [
626 15131995769232269802,
627 13449322747997344855
628 ],
629 [
630 7967018180509684133,
631 2563478495980888213
632 ],
633 [
634 16665883641551699536,
635 10423533882951671157
636 ],
637 [
638 13019352497364348684,
639 2259545069467663329
640 ],
641 [
642 5876780429260542695,
643 12917270923539807861
644 ],
645 [
646 8229480802646918137,
647 3721722297522874160
648 ],
649 [
650 16067037770759009995,
651 8320696748753743948
652 ],
653 [
654 2272324267178987780,
655 5892001986889931581
656 ],
657 [
658 15204103736352177604,
659 5683470394157323445
660 ],
661 [
662 962550187387281461,
663 15620617541982683312
664 ],
665 [
666 11837139441107312303,
667 2919823947501335488
668 ],
669 [
670 10984583126622575650,
671 17373853648211570594
672 ],
673 [
674 13260630362001419494,
675 12235529954502266831
676 ],
677 [
678 3769706755956562660,
679 7564396526210513720
680 ],
681 [
682 1062046157921905958,
683 7231216358207676405
684 ],
685 [
686 17871933292991686988,
687 691255923194113399
688 ],
689 [
690 10982340073192428156,
691 16086923882798698699
692 ],
693 [
694 15376489494647691793,
695 13755685348004316323
696 ],
697 [
698 4834058222671943506,
699 18411745889401915996
700 ],
701 [
702 9187292647752413014,
703 10641121807263648645
704 ],
705 [
706 16694037367463581469,
707 1538073772395362608
708 ],
709 [
710 14887850812528022013,
711 15525711882845461581
712 ],
713 [
714 6925452782078124945,
715 4721080960492786990
716 ],
717 [
718 9125543886534990856,
719 5024497113844150457
720 ],
721 [
722 6070312726582827498,
723 2688796633581348646
724 ],
725 [
726 5511224755926962442,
727 17742750736095351603
728 ],
729 [
730 7205606179555865051,
731 16152303825762873406
732 ],
733 [
734 13545755118061886715,
735 2385662363852607916
736 ]
737 ],
738 "wires": [
739 [
740 6565725254271168867,
741 230260260958740155
742 ],
743 [
744 11313579166707903568,
745 7598387878627018131
746 ],
747 [
748 1756878619987639464,
749 11711834163401326390
750 ],
751 [
752 9911650827380412843,
753 5441835109668209155
754 ],
755 [
756 18161924946160088110,
757 12233946194679177625
758 ],
759 [
760 294583886642989709,
761 17450889308223975504
762 ],
763 [
764 7245061135637174928,
765 3400564178069756322
766 ],
767 [
768 3092910035965438351,
769 6672139352070192386
770 ],
771 [
772 4057249738782199527,
773 1799257348891975251
774 ],
775 [
776 2535689618454047855,
777 14980692417420122729
778 ],
779 [
780 9208647559972155927,
781 5129157280785134496
782 ],
783 [
784 3242534770941472851,
785 17428002214466344026
786 ],
787 [
788 3776335095843194291,
789 15713245979289910660
790 ],
791 [
792 2964035982218122042,
793 18284682611968372321
794 ],
795 [
796 9251057161817725095,
797 11132234726872609532
798 ],
799 [
800 4282856589210412690,
801 5716727904670436243
802 ],
803 [
804 591511981672179687,
805 14753932598142976948
806 ],
807 [
808 4890455922089106193,
809 4045946515471918299
810 ],
811 [
812 10397886828484620249,
813 11190542034040753220
814 ],
815 [
816 10777449615071636314,
817 1952493154631644199
818 ],
819 [
820 11765220003305045374,
821 16159785461376093093
822 ],
823 [
824 4674433148585164242,
825 14417092772710386107
826 ],
827 [
828 6351926523684575426,
829 5590279498100153438
830 ],
831 [
832 2955853758258824663,
833 1682583828188464871
834 ],
835 [
836 17551763022057463786,
837 2275331841706493865
838 ],
839 [
840 3834157178191505184,
841 12788850957004024008
842 ],
843 [
844 13509209381567776928,
845 6533029673502852861
846 ],
847 [
848 16753588040061360491,
849 15594197771436985324
850 ],
851 [
852 566614358032371046,
853 6740883974281913879
854 ],
855 [
856 453533323251872722,
857 5343821935422630446
858 ],
859 [
860 13828050203583443962,
861 6232996472384536543
862 ],
863 [
864 4985449662411107858,
865 6982310052464896990
866 ],
867 [
868 4861838619993966669,
869 17793540132592198898
870 ],
871 [
872 6008775387514534118,
873 16069784820738294802
874 ],
875 [
876 1685292375086235699,
877 6679683856409258790
878 ],
879 [
880 9102952331569240765,
881 8418159236353852654
882 ],
883 [
884 278529126310692935,
885 9858042776408488899
886 ],
887 [
888 3956695959941706365,
889 14061875295595714162
890 ],
891 [
892 16344294396065897182,
893 1096010376911896223
894 ],
895 [
896 12631642024464385420,
897 13298890610180741437
898 ],
899 [
900 5532876350123297165,
901 11085842348826598478
902 ],
903 [
904 13422525697029954414,
905 10861004100698280653
906 ],
907 [
908 7061448477760602164,
909 3271890244641455553
910 ],
911 [
912 8435096852606790614,
913 8544661966182109731
914 ],
915 [
916 5068889163197133971,
917 15630596107071438575
918 ],
919 [
920 16147741138270441655,
921 10585834427685349274
922 ],
923 [
924 8628341933533537422,
925 7481503370535607132
926 ],
927 [
928 5048856119136081298,
929 669519990736753211
930 ],
931 [
932 17508241833574395569,
933 6192281135974237356
934 ],
935 [
936 10702629253229265275,
937 16192401195462709944
938 ],
939 [
940 7778533658113693829,
941 6423853447394638234
942 ],
943 [
944 4243315527847149591,
945 7675401109292935590
946 ],
947 [
948 18387338327813044640,
949 2955046471396339199
950 ],
951 [
952 8458330624811453673,
953 4239991564092892361
954 ],
955 [
956 1156156140008704910,
957 17373830842807907213
958 ],
959 [
960 12096176201570722872,
961 17874172846741874770
962 ],
963 [
964 9286343112755120189,
965 15703024798121772255
966 ],
967 [
968 15578517416924394407,
969 5452331584888582624
970 ],
971 [
972 3981754657596928979,
973 10703120883055699412
974 ],
975 [
976 9516184086432863921,
977 7457742154385170685
978 ],
979 [
980 5246915855738771862,
981 12328167375997269624
982 ],
983 [
984 5636349192349012248,
985 3509361610558290447
986 ],
987 [
988 10955489062675295808,
989 10805094412782355010
990 ],
991 [
992 14875707316883598825,
993 6231083638762761076
994 ],
995 [
996 6506927538306637989,
997 10497541629616536466
998 ],
999 [
1000 1057169009008928238,
1001 15683913306611892758
1002 ],
1003 [
1004 3816855586776245401,
1005 10797531915774791902
1006 ],
1007 [
1008 13980463973152144309,
1009 9505954685470181435
1010 ],
1011 [
1012 209278731945468340,
1013 2044663437883627987
1014 ],
1015 [
1016 11547333949428297736,
1017 12627730544047182084
1018 ],
1019 [
1020 16426798291829536245,
1021 1286575435860104158
1022 ],
1023 [
1024 1556416083496710858,
1025 11514801482661462730
1026 ],
1027 [
1028 5199526155835548432,
1029 5098658253894043900
1030 ],
1031 [
1032 4444350227225136112,
1033 2058123763350472436
1034 ],
1035 [
1036 15068464581925852666,
1037 2212007639459513953
1038 ],
1039 [
1040 9696244256211597783,
1041 888790688244544229
1042 ],
1043 [
1044 10102677872216113681,
1045 1022308434060844405
1046 ],
1047 [
1048 6246119047101474224,
1049 7350701730634234330
1050 ],
1051 [
1052 12484389666895786765,
1053 14469016421989326022
1054 ],
1055 [
1056 11957154341119772163,
1057 8086021481777273773
1058 ],
1059 [
1060 1356359171443350695,
1061 15113648153282177146
1062 ],
1063 [
1064 886775757488582744,
1065 6404726839817122286
1066 ],
1067 [
1068 9407114222722970416,
1069 10927134603287138070
1070 ],
1071 [
1072 4011166848141612493,
1073 4161341633053720873
1074 ],
1075 [
1076 16250092443058754145,
1077 14139997207956489711
1078 ],
1079 [
1080 3061776239467925524,
1081 12811774511281933109
1082 ],
1083 [
1084 3317798058680445916,
1085 1147448419586999295
1086 ],
1087 [
1088 17010610668195338041,
1089 470707002196618692
1090 ],
1091 [
1092 14268243858970724515,
1093 12322561589349285489
1094 ],
1095 [
1096 17380584068644994510,
1097 14615835916167337790
1098 ],
1099 [
1100 12683366297090641574,
1101 1109715368868143047
1102 ],
1103 [
1104 10462176589882161163,
1105 73066428630095106
1106 ],
1107 [
1108 8938160039251444606,
1109 12204128283965106147
1110 ],
1111 [
1112 7406952167472144916,
1113 12739986242234482509
1114 ],
1115 [
1116 10529891497746833742,
1117 8009559701716610976
1118 ],
1119 [
1120 4970783211430324957,
1121 7969965057095778847
1122 ],
1123 [
1124 7576677942238652096,
1125 8959681961927425358
1126 ],
1127 [
1128 4514936318681672597,
1129 15697536745373718185
1130 ],
1131 [
1132 14926106790285166957,
1133 16936876276861436148
1134 ],
1135 [
1136 17412136410870997645,
1137 15203475910318976950
1138 ],
1139 [
1140 8846534169097419573,
1141 11130234329930572703
1142 ],
1143 [
1144 17992370741507659824,
1145 16356060206030236751
1146 ],
1147 [
1148 13039248492340734600,
1149 5234822977373851327
1150 ],
1151 [
1152 9696725151734401803,
1153 8371540469659368374
1154 ],
1155 [
1156 6934893411912192513,
1157 3056053316840001387
1158 ],
1159 [
1160 5357998090027421051,
1161 17949102534820512066
1162 ],
1163 [
1164 12458353087864929806,
1165 1176463892690065877
1166 ],
1167 [
1168 9679231717887701074,
1169 2102188533647431303
1170 ],
1171 [
1172 4711451965962644899,
1173 15980710182235310868
1174 ],
1175 [
1176 11110746118744923980,
1177 17294273220112851635
1178 ],
1179 [
1180 1095938557815203828,
1181 7562067722511429503
1182 ],
1183 [
1184 18119564271326737689,
1185 5552694991598763652
1186 ],
1187 [
1188 6919286124684742249,
1189 13239719998195608992
1190 ],
1191 [
1192 16283373767227142852,
1193 8580771740227250494
1194 ],
1195 [
1196 11933029829411445548,
1197 130684932237671161
1198 ],
1199 [
1200 8046720108091127962,
1201 9813869295816212109
1202 ],
1203 [
1204 17160246938083598139,
1205 17880477831858343828
1206 ],
1207 [
1208 3936668134777655984,
1209 4000752262000658169
1210 ],
1211 [
1212 1601489901443047829,
1213 2553319886367038389
1214 ],
1215 [
1216 13668013076958082215,
1217 6658537604620360929
1218 ],
1219 [
1220 4968696422478387107,
1221 5925180687133900163
1222 ],
1223 [
1224 12426956412228745487,
1225 18231804886261311784
1226 ],
1227 [
1228 3373582062536515170,
1229 13906264661181140255
1230 ],
1231 [
1232 11662370838595504606,
1233 11609068466465320205
1234 ],
1235 [
1236 6163264476470505164,
1237 7657981178233577201
1238 ],
1239 [
1240 7748478014206268690,
1241 4358102315326618194
1242 ],
1243 [
1244 10210468491714994308,
1245 13417288406718042079
1246 ],
1247 [
1248 16430765831868101873,
1249 13160956594258515942
1250 ],
1251 [
1252 10412698316835829714,
1253 12060735787051148048
1254 ],
1255 [
1256 8206471017177734525,
1257 5970859744809158500
1258 ],
1259 [
1260 785871493535067,
1261 16653625095906304158
1262 ],
1263 [
1264 4145755406208901818,
1265 2353797438163361343
1266 ],
1267 [
1268 2526423612259436286,
1269 7292773932871876967
1270 ],
1271 [
1272 13545910013773543121,
1273 18243751040157617920
1274 ],
1275 [
1276 17109306004064819651,
1277 12111336056011900874
1278 ],
1279 [
1280 3974064383611174039,
1281 12044572854348038687
1282 ]
1283 ],
1284 "plonk_zs": [
1285 [
1286 2371627112722311788,
1287 1008602091457745213
1288 ],
1289 [
1290 71572817577912747,
1291 4842970923934520553
1292 ]
1293 ],
1294 "plonk_zs_next": [
1295 [
1296 8445439557568785001,
1297 670680012048718441
1298 ],
1299 [
1300 13281970789521143697,
1301 6883849458646300224
1302 ]
1303 ],
1304 "partial_products": [
1305 [
1306 11193648841344346198,
1307 92330989993310982
1308 ],
1309 [
1310 1619872267222936923,
1311 712518741757531292
1312 ],
1313 [
1314 7536680671851072925,
1315 10622966526918852190
1316 ],
1317 [
1318 14647312608416476652,
1319 16147879019202899806
1320 ],
1321 [
1322 13119561393415370442,
1323 3923579173188985290
1324 ],
1325 [
1326 1571857376447002940,
1327 17488044829458854342
1328 ],
1329 [
1330 13288966328837250591,
1331 3001704553363733897
1332 ],
1333 [
1334 2251374723439788454,
1335 5368664206701998609
1336 ],
1337 [
1338 3552678026237443422,
1339 4013485417816908744
1340 ],
1341 [
1342 9889321798805421726,
1343 7824169751454777708
1344 ],
1345 [
1346 5436644427552615538,
1347 17984206777613174945
1348 ],
1349 [
1350 4587480882222232326,
1351 3233682932930376091
1352 ],
1353 [
1354 10077748165693942068,
1355 14114868813291612147
1356 ],
1357 [
1358 11685016059515444028,
1359 13931860795522803152
1360 ],
1361 [
1362 14104324271745161381,
1363 16576133590697836746
1364 ],
1365 [
1366 8620186212080503985,
1367 11698541770864060087
1368 ],
1369 [
1370 15924893713628208114,
1371 11263539879661620419
1372 ],
1373 [
1374 785676826797496027,
1375 6271601786513031521
1376 ]
1377 ],
1378 "quotient_polys": [
1379 [
1380 15776707918633037595,
1381 1913742836124437340
1382 ],
1383 [
1384 17139247687941216508,
1385 11885670577549791744
1386 ],
1387 [
1388 1402376117412310805,
1389 9631966807110506401
1390 ],
1391 [
1392 5224118606313203469,
1393 1858818974802086573
1394 ],
1395 [
1396 3811065296041799967,
1397 5344412924262730432
1398 ],
1399 [
1400 16443703434737886365,
1401 7077669712719562302
1402 ],
1403 [
1404 2661299781405269349,
1405 11226524899058165067
1406 ],
1407 [
1408 15847493737731444693,
1409 8399541102346911783
1410 ],
1411 [
1412 7290306051692736788,
1413 5562607451539100668
1414 ],
1415 [
1416 450688386230123158,
1417 7477930647952106567
1418 ],
1419 [
1420 7501829744856320429,
1421 460998531530515654
1422 ],
1423 [
1424 17304176382579979904,
1425 11072095560943319917
1426 ],
1427 [
1428 9885524654793287784,
1429 7768841342264718669
1430 ],
1431 [
1432 8552743236799418451,
1433 2627165953000735921
1434 ],
1435 [
1436 15507870344413450176,
1437 5999635212581938100
1438 ],
1439 [
1440 5663863628005225861,
1441 8417734990925373354
1442 ]
1443 ]
1444 },
1445 "opening_proof": {
1446 "commit_phase_merkle_caps": [
1447 [
1448 {
1449 "elements": [
1450 3004906728816158267,
1451 14742130709922515247,
1452 15396687424072576828,
1453 9572291185305240295
1454 ]
1455 },
1456 {
1457 "elements": [
1458 9763619563210444323,
1459 18091067593287323703,
1460 2706545757686260118,
1461 18154353377100156082
1462 ]
1463 },
1464 {
1465 "elements": [
1466 6981404233954529558,
1467 1394077568927385197,
1468 10337084366582897123,
1469 3770357984740912699
1470 ]
1471 },
1472 {
1473 "elements": [
1474 9977155016159448089,
1475 1167663950956468855,
1476 7219965332886998296,
1477 7059256522630277446
1478 ]
1479 },
1480 {
1481 "elements": [
1482 3149650787421402204,
1483 10179686456912371958,
1484 11992277191513613195,
1485 5126518743139255467
1486 ]
1487 },
1488 {
1489 "elements": [
1490 8553072448520623496,
1491 18239981875342041675,
1492 4197990465719683093,
1493 11239662404085420369
1494 ]
1495 },
1496 {
1497 "elements": [
1498 14063687530960818361,
1499 5534665114662533786,
1500 5740136950861866725,
1501 351385730668111527
1502 ]
1503 },
1504 {
1505 "elements": [
1506 16723071611416112001,
1507 18123945170130596464,
1508 13609308034207490014,
1509 16330726186997354557
1510 ]
1511 },
1512 {
1513 "elements": [
1514 5830127394473114396,
1515 18441177208321363202,
1516 2735867850996815662,
1517 6135424662558109659
1518 ]
1519 },
1520 {
1521 "elements": [
1522 13196459840290440216,
1523 11875016874293844177,
1524 60727010993729140,
1525 14230316466689378908
1526 ]
1527 },
1528 {
1529 "elements": [
1530 5810445085278059934,
1531 17528622287381258600,
1532 7506928975959367242,
1533 10091838714389075847
1534 ]
1535 },
1536 {
1537 "elements": [
1538 9057443567359349377,
1539 11430487030607093736,
1540 9198770242988855184,
1541 9496885260869946313
1542 ]
1543 },
1544 {
1545 "elements": [
1546 17065563723556178146,
1547 576055582044329165,
1548 9197967567542519643,
1549 2754802411898877687
1550 ]
1551 },
1552 {
1553 "elements": [
1554 8240529910504313806,
1555 9716115454593023870,
1556 14688345462470452232,
1557 17418693207789088008
1558 ]
1559 },
1560 {
1561 "elements": [
1562 353425676285429828,
1563 5059803321781718935,
1564 15766099844386028178,
1565 11559410638109899270
1566 ]
1567 },
1568 {
1569 "elements": [
1570 4132438481177824155,
1571 1987846075282634954,
1572 16967997655219349445,
1573 13106925525654834244
1574 ]
1575 }
1576 ]
1577 ],
1578 "query_round_proofs": [
1579 {
1580 "initial_trees_proof": {
1581 "evals_proofs": [
1582 [
1583 [
1584 18349423465543760995,
1585 15512889903640028212,
1586 6027175653538244514,
1587 16009300802760078062,
1588 13928533941432620812,
1589 7245267403214075499,
1590 16333310230111371127,
1591 4317348365051139410,
1592 2399966896377545852,
1593 10925626431889825636,
1594 18436581685189990113,
1595 13372716309444297087,
1596 7480533667760623006,
1597 4247931481813933384,
1598 215823951097466220,
1599 6689926550367545487,
1600 10501417175437206856,
1601 7586876809825993542,
1602 137831440229040234,
1603 3686601736929851115,
1604 10228598712699531427,
1605 10312107766182625304,
1606 333965737783463406,
1607 10788033801510313472,
1608 11498166391117461441,
1609 6426538052935383346,
1610 3977367971185556827,
1611 5131665622701228819,
1612 2881296557419066643,
1613 2338005127200514625,
1614 6922937766701125146,
1615 5507474837887755119,
1616 15273052377521901980,
1617 3691471278496805747,
1618 14948965694159728234,
1619 7864190422507422628,
1620 2440098621505613724,
1621 10586248176758811859,
1622 16875057901482409876,
1623 6382549070032408248,
1624 17079324148255227990,
1625 2512795611478274607,
1626 4372073128220211357,
1627 1961631028503617884,
1628 15465447549548742252,
1629 3824781527130000178,
1630 16660498924850105666,
1631 17449133572828933733,
1632 4982017160546672922,
1633 18149875561401859305,
1634 766003607149513366,
1635 1811629150219960277,
1636 5979484393624155263,
1637 14277513373026569754,
1638 15474136727857104909,
1639 15390090504012957428,
1640 16002030918452822163,
1641 10941237740402123190,
1642 4457728519066688482,
1643 3907162911426270629,
1644 870358623051419682,
1645 12520077303987540898,
1646 14539852972482949846,
1647 11308867293159927152,
1648 9617229787601309025,
1649 16918031680259367582,
1650 3030986548498286246,
1651 16256481942699843267,
1652 11542022875115557768,
1653 11965710606346709219,
1654 100129539812806568,
1655 17507164507213700390,
1656 9718344420516254507,
1657 8042192739577928044,
1658 3640675750826935790,
1659 10095829106933465698,
1660 5050262053585740763,
1661 9773877536810228508,
1662 1963531043122424416,
1663 10635639089807479927,
1664 1951654943676121516,
1665 13604423143284845999,
1666 13443720182445281605,
1667 2920265054597661076,
1668 1995111312769043211
1669 ],
1670 {
1671 "siblings": [
1672 {
1673 "elements": [
1674 4050004148860111337,
1675 15248428312829122404,
1676 7202290809337134171,
1677 5755918970665026802
1678 ]
1679 },
1680 {
1681 "elements": [
1682 13467185609505847585,
1683 18085280639084449280,
1684 3249577996733715365,
1685 6301121402924333798
1686 ]
1687 },
1688 {
1689 "elements": [
1690 11784536327614489268,
1691 9010723546619020162,
1692 8269496872710550083,
1693 8853009573408760927
1694 ]
1695 },
1696 {
1697 "elements": [
1698 14653689969933573263,
1699 12704590767390270362,
1700 4516757970985738123,
1701 11103656091410609315
1702 ]
1703 },
1704 {
1705 "elements": [
1706 9357274284525662436,
1707 10505069660718129388,
1708 17053432064542116289,
1709 706614593489957504
1710 ]
1711 },
1712 {
1713 "elements": [
1714 152423217452416714,
1715 4958850808335328706,
1716 363272662599325333,
1717 9284118224119760828
1718 ]
1719 },
1720 {
1721 "elements": [
1722 12345048316971495111,
1723 15971495426352983336,
1724 14877188469948817975,
1725 6794706947351744211
1726 ]
1727 },
1728 {
1729 "elements": [
1730 14473517812390487738,
1731 14505243782756370466,
1732 18383022160055933832,
1733 16070935092686810759
1734 ]
1735 }
1736 ]
1737 }
1738 ],
1739 [
1740 [
1741 9070239188981968255,
1742 3667706801159389068,
1743 6379650999521954120,
1744 779675632747211719,
1745 14347721997392367294,
1746 5598808842794192510,
1747 18213653677889738699,
1748 7017794393010673215,
1749 10672323063125531307,
1750 10501529194081665644,
1751 11339936231621379062,
1752 2434629082601513016,
1753 5605037256014979169,
1754 5506780261488309629,
1755 2643667487385324638,
1756 5594967541710269805,
1757 12702644580549742467,
1758 14063017379954876475,
1759 6404839336309685999,
1760 14822360254076889473,
1761 3881289641440479176,
1762 5138313652724999389,
1763 15214290284694904163,
1764 10197527680872554529,
1765 8343030644149118917,
1766 12161038350879830467,
1767 640183649024383221,
1768 3419022370180128523,
1769 6910975409246168487,
1770 11131863356804487051,
1771 5172971773599178170,
1772 7340416509287661058,
1773 14052768709492819479,
1774 16564735797051234981,
1775 6449255631557265405,
1776 12894639044681386766,
1777 7464973841951855063,
1778 13793940234718488319,
1779 8439699904474131091,
1780 12603581152530911655,
1781 10402672069146521130,
1782 11121052812622990831,
1783 6751670939873205616,
1784 6228028342614360156,
1785 14331117683317034840,
1786 10109743791336322424,
1787 4654521994272853830,
1788 14560485034380455778,
1789 3663734745391003456,
1790 17106705966053328860,
1791 16589786185631445415,
1792 13657277817216046876,
1793 6720609009015796589,
1794 1698120794659163147,
1795 7843132358375850693,
1796 7980082284918789504,
1797 7602474624982248087,
1798 5683688845350095993,
1799 9553796667466810274,
1800 11583501193773059980,
1801 17486779618554938730,
1802 15270350718148075790,
1803 14899022594532451273,
1804 4681086449523829880,
1805 9826718976724808916,
1806 13212735543037522994,
1807 7702650668960599556,
1808 5568802026892132394,
1809 7686765602838546063,
1810 13765754299280353895,
1811 457945564944880621,
1812 9910849469283874721,
1813 4271997902382311929,
1814 8600024700389264970,
1815 8214421642450603926,
1816 12270917544159125265,
1817 1167710707257026502,
1818 1823208184903798717,
1819 14470628746371161490,
1820 4254278413132813067,
1821 7865581894916738085,
1822 12667955400641655816,
1823 6226194131395744552,
1824 11988006927118313671,
1825 6696417698113250601,
1826 1509818512350411034,
1827 14304062002728888146,
1828 11960072964017647421,
1829 8112953019387268394,
1830 10052434947757704262,
1831 15327508236431296855,
1832 4971985199052176110,
1833 4590833119931405542,
1834 6851187369286661602,
1835 9693203826618122221,
1836 12537578351774877175,
1837 7968470100559574337,
1838 1552027030600697568,
1839 15755373416234709271,
1840 9044852078746828590,
1841 5465529168393902773,
1842 16426437255780897652,
1843 6139395347457763833,
1844 8940664133410375178,
1845 17208398652259160318,
1846 7313736567113584405,
1847 15075553929069581152,
1848 11590649861070651101,
1849 10608270816039635748,
1850 16317915766607913936,
1851 1421619606099508491,
1852 8408628193127057628,
1853 672067363069639376,
1854 9022953228910693740,
1855 14877530281695173699,
1856 14804411105209794763,
1857 17255678375842346597,
1858 1230252467017974837,
1859 447305959534846898,
1860 15721838922578872170,
1861 13839755473256520173,
1862 282475923268140879,
1863 14007221722263862862,
1864 15191565703137040963,
1865 17549624671697702418,
1866 8508152597647103014,
1867 4448944008659258929,
1868 6535465220424092381,
1869 12155347563303205876,
1870 1995204997735384681,
1871 7471461494661156402,
1872 3106444692020953510,
1873 1567483149714625398,
1874 9737242871834063215,
1875 11164413509970314154,
1876 10094720224094946095
1877 ],
1878 {
1879 "siblings": [
1880 {
1881 "elements": [
1882 5514375652750599538,
1883 10265499019504098896,
1884 17491051647033271975,
1885 17392245889529734898
1886 ]
1887 },
1888 {
1889 "elements": [
1890 12733976430317459130,
1891 18125430756357622236,
1892 2009286284408602898,
1893 466732125843305282
1894 ]
1895 },
1896 {
1897 "elements": [
1898 11250046427896032151,
1899 14058767716454567441,
1900 3334842441762605876,
1901 10728569245314180104
1902 ]
1903 },
1904 {
1905 "elements": [
1906 9931639746307356386,
1907 3233835333895242159,
1908 12569222548994016055,
1909 3290080787635935659
1910 ]
1911 },
1912 {
1913 "elements": [
1914 4370797669392829666,
1915 4350709413164975760,
1916 10549493812189439167,
1917 59327492066438547
1918 ]
1919 },
1920 {
1921 "elements": [
1922 12465694063606273771,
1923 5590667526571889106,
1924 6948861251812543221,
1925 16689881650022601687
1926 ]
1927 },
1928 {
1929 "elements": [
1930 4294855517993016315,
1931 9705297898156590655,
1932 4662026402785278631,
1933 6564999472197959722
1934 ]
1935 },
1936 {
1937 "elements": [
1938 4512272439036021514,
1939 5450140514506077749,
1940 11251179753711530171,
1941 8773315009994548606
1942 ]
1943 }
1944 ]
1945 }
1946 ],
1947 [
1948 [
1949 138363378219216853,
1950 1919103933446087388,
1951 2735001113357560293,
1952 5909574115629147796,
1953 6428491573228538998,
1954 16523743697255488168,
1955 10863212616959617245,
1956 816350263751695819,
1957 1828347904169463025,
1958 14839233428061540084,
1959 4589664929883008021,
1960 18280465382709749879,
1961 10627667332005086474,
1962 13428481584222236526,
1963 13708085375310559128,
1964 15740792878750213501,
1965 6699378687923436657,
1966 3937618424263889434,
1967 6105248087835464429,
1968 17251240112320434442
1969 ],
1970 {
1971 "siblings": [
1972 {
1973 "elements": [
1974 1210624299578673309,
1975 15296123253778195895,
1976 2779457965987330484,
1977 3356012022778845173
1978 ]
1979 },
1980 {
1981 "elements": [
1982 3581821862460289712,
1983 9002489185319237514,
1984 13762123856088418754,
1985 11505734684017171329
1986 ]
1987 },
1988 {
1989 "elements": [
1990 3255284643011170792,
1991 8629732101962030366,
1992 8028216460868888078,
1993 8414211275526197992
1994 ]
1995 },
1996 {
1997 "elements": [
1998 6346398901665635203,
1999 16267542991916138223,
2000 5609513148794422221,
2001 15252447879587467452
2002 ]
2003 },
2004 {
2005 "elements": [
2006 8467006642080012312,
2007 16216645757554457318,
2008 7170418748021568537,
2009 15128772475910108156
2010 ]
2011 },
2012 {
2013 "elements": [
2014 7433552072966831127,
2015 6003016358283816951,
2016 12766933290053655883,
2017 15101706715485211522
2018 ]
2019 },
2020 {
2021 "elements": [
2022 17628194290728456540,
2023 15499409045748849370,
2024 5127916192688490380,
2025 11708065858293320348
2026 ]
2027 },
2028 {
2029 "elements": [
2030 5688379440817172341,
2031 7578612668517823236,
2032 15159758612969321251,
2033 1508799351459396725
2034 ]
2035 }
2036 ]
2037 }
2038 ],
2039 [
2040 [
2041 2290041512682327398,
2042 17732316539750798987,
2043 12436880518805119291,
2044 14788552783945827585,
2045 8439746946302339478,
2046 5081277338463997384,
2047 13002566397154312667,
2048 7759987622827118571,
2049 17474273334612001895,
2050 749013735979602728,
2051 8022526230462016263,
2052 4413035932441207811,
2053 6518682439598570784,
2054 883117119465950328,
2055 12320271462798650894,
2056 5759995449465211092
2057 ],
2058 {
2059 "siblings": [
2060 {
2061 "elements": [
2062 16259217846342220322,
2063 5650161712383157886,
2064 16322611246176967753,
2065 9214237299891328068
2066 ]
2067 },
2068 {
2069 "elements": [
2070 17888147422183577891,
2071 888581748486703961,
2072 3171080777658059790,
2073 7237285710188967755
2074 ]
2075 },
2076 {
2077 "elements": [
2078 3545409785544298354,
2079 11044530376070501821,
2080 17855706445240741438,
2081 17404238172110213393
2082 ]
2083 },
2084 {
2085 "elements": [
2086 13849920670302034530,
2087 12545889525568171737,
2088 3164721546956819332,
2089 10177375980742686024
2090 ]
2091 },
2092 {
2093 "elements": [
2094 8403353429610167033,
2095 12301879507207725197,
2096 16776106674854180849,
2097 13764458727591453767
2098 ]
2099 },
2100 {
2101 "elements": [
2102 17295270012821945512,
2103 4591373251852398889,
2104 3154945230956814800,
2105 7304911030317874420
2106 ]
2107 },
2108 {
2109 "elements": [
2110 15626932725716499410,
2111 18050592516289818891,
2112 8095261276133347640,
2113 7283512125421019654
2114 ]
2115 },
2116 {
2117 "elements": [
2118 3910037810002774003,
2119 16394187136314174739,
2120 9130743022643217393,
2121 8545913260268134916
2122 ]
2123 }
2124 ]
2125 }
2126 ]
2127 ]
2128 },
2129 "steps": [
2130 {
2131 "evals": [
2132 [
2133 6416650050239624226,
2134 7135254831445403219
2135 ],
2136 [
2137 10096274531541028840,
2138 11046969156511334297
2139 ],
2140 [
2141 7636529487812971095,
2142 13482440981978615558
2143 ],
2144 [
2145 4919494079151382254,
2146 14979424981471048044
2147 ],
2148 [
2149 4615442211998480757,
2150 2576631209640030855
2151 ],
2152 [
2153 11272053131109336387,
2154 4627663245444464402
2155 ],
2156 [
2157 9264946110436181355,
2158 1153358379043665924
2159 ],
2160 [
2161 8375747128377691867,
2162 7424627852775978127
2163 ],
2164 [
2165 10705913788213927780,
2166 4832406291286337504
2167 ],
2168 [
2169 6909379542317603659,
2170 1290213209458313423
2171 ],
2172 [
2173 4716338668438803629,
2174 1788784879052864830
2175 ],
2176 [
2177 17798083191190279323,
2178 8251499254610702690
2179 ],
2180 [
2181 5443799333805961811,
2182 6431620360663362282
2183 ],
2184 [
2185 2396679038893801456,
2186 18236759273452326403
2187 ],
2188 [
2189 4467881245318743607,
2190 15150213705854720407
2191 ],
2192 [
2193 18222488728811639972,
2194 9366412740832978961
2195 ]
2196 ],
2197 "merkle_proof": {
2198 "siblings": [
2199 {
2200 "elements": [
2201 2794970846606398728,
2202 12707356117569215696,
2203 8862010548163007834,
2204 8566701813488538984
2205 ]
2206 },
2207 {
2208 "elements": [
2209 9685910526322430381,
2210 8955831000804111791,
2211 6560299639936437714,
2212 9006491137854178659
2213 ]
2214 },
2215 {
2216 "elements": [
2217 15661270604688935986,
2218 8522432255028687588,
2219 11518410095598760114,
2220 6919740098826437472
2221 ]
2222 },
2223 {
2224 "elements": [
2225 6040851021016129255,
2226 8033415802952515472,
2227 13911138229269467584,
2228 1321159814077913560
2229 ]
2230 }
2231 ]
2232 }
2233 }
2234 ]
2235 }
2236 ],
2237 "final_poly": {
2238 "coeffs": [
2239 [
2240 14047123205506499096,
2241 3218303344588996207
2242 ],
2243 [
2244 16706025024844800647,
2245 11138960117835255722
2246 ],
2247 [
2248 1313880380585773986,
2249 14951319508893094753
2250 ],
2251 [
2252 7535582308482919515,
2253 814478324944673779
2254 ],
2255 [
2256 1676384652085305094,
2257 8458096400419139819
2258 ],
2259 [
2260 9433295265492042678,
2261 7265636766727430938
2262 ],
2263 [
2264 13715636169694265696,
2265 8345716153619626687
2266 ],
2267 [
2268 14737713766328296051,
2269 18307250352504418555
2270 ],
2271 [
2272 9108483460088478634,
2273 174658599440562862
2274 ],
2275 [
2276 17120788391556550865,
2277 12724671579289265489
2278 ],
2279 [
2280 9024595891279828753,
2281 7530534442557094170
2282 ],
2283 [
2284 14078663791986997469,
2285 14063699495947686666
2286 ],
2287 [
2288 13948986376902288455,
2289 4022611697273394438
2290 ],
2291 [
2292 18151938738115915652,
2293 4916769041866332249
2294 ],
2295 [
2296 14684894487627217444,
2297 9845525924597235082
2298 ],
2299 [
2300 14627952848042529495,
2301 4413047783013679295
2302 ],
2303 [
2304 8748360711301113362,
2305 8437407825768126035
2306 ],
2307 [
2308 9990741351065662561,
2309 1615018853081234351
2310 ],
2311 [
2312 6573694579927819849,
2313 13232502106445161415
2314 ],
2315 [
2316 9442345251933132341,
2317 16933029839360669030
2318 ],
2319 [
2320 12989244640250005292,
2321 16767181679705193750
2322 ],
2323 [
2324 16244620625192532422,
2325 5853972087502503163
2326 ],
2327 [
2328 3989853685391140851,
2329 5710440279050806912
2330 ],
2331 [
2332 8024348218897169237,
2333 17796243043454251747
2334 ],
2335 [
2336 16667275664932218070,
2337 17393307651423400179
2338 ],
2339 [
2340 14298071796767296482,
2341 7234717644166111638
2342 ],
2343 [
2344 9227518843616910992,
2345 13553385376022213841
2346 ],
2347 [
2348 8767197551645090611,
2349 4304633810085134226
2350 ],
2351 [
2352 10446406093360378438,
2353 1477337464062037330
2354 ],
2355 [
2356 4718893894528299143,
2357 10724982997677707490
2358 ],
2359 [
2360 1038907254214551220,
2361 7451406419823229509
2362 ],
2363 [
2364 609620693706344799,
2365 1971610053448184414
2366 ]
2367 ]
2368 },
2369 "pow_witness": 4611686017353649090
2370 }
2371 },
2372 "public_inputs": []
2373}