You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

377 lines
13 KiB

5 years ago
  1. {
  2. "protocol": "groth",
  3. "nPublic": 58,
  4. "IC": [
  5. [
  6. "19526011409366579990588025301030213951715906703577073975290871624466881592401",
  7. "19704225241808120619466308438935447262963873917264064669080753233318969572957",
  8. "1"
  9. ],
  10. [
  11. "7218481415766897306762916767110075847697992625643495798846732092896344771677",
  12. "1810734562057506037864970683351135446505342561419524855305385566525430554608",
  13. "1"
  14. ],
  15. [
  16. "1640189422982581804826644035748296239719141803014116052080598186211151031797",
  17. "7781696247496343071100255748895449136227964112761638882773761539066568268925",
  18. "1"
  19. ],
  20. [
  21. "1019783362851718589135884871584846731091007700702318392055072177004648561589",
  22. "18812499958741900484687753662765966120897029726834689506634674431261159346840",
  23. "1"
  24. ],
  25. [
  26. "15561759052567336872552966722770915260975101273887034098005539514081530527925",
  27. "11730428660167585547193351712992338394459044787769016092386316685070099352472",
  28. "1"
  29. ],
  30. [
  31. "1024450630178286178450853989597618731194658350885429138953206234739921258345",
  32. "7948069502311904001229660361963340784026126140723442378626252475516635024822",
  33. "1"
  34. ],
  35. [
  36. "8134630773713074896857037173371019670883865326581932178449629660512993310425",
  37. "6162538535380093935174079566719686610557565288806461488942825301577983962127",
  38. "1"
  39. ],
  40. [
  41. "8713144302139572077210052963377568333718037671811574593525902475107121219071",
  42. "13618940145565575426081729012812756247313835929620966248623806311505567102432",
  43. "1"
  44. ],
  45. [
  46. "2208161957288886407409949471646360867727094427710349204075749603229409811551",
  47. "19165194795626512061280419859788136098199019550268978813401285308580039446381",
  48. "1"
  49. ],
  50. [
  51. "1481335695502173099248239238900758768801091349137030249276629661318408132871",
  52. "5156686038021439018308366275250160506883007416398589471786874665591845100113",
  53. "1"
  54. ],
  55. [
  56. "20337511777673950886185756823107347060969023608337968294278846656718023200150",
  57. "3997644781553846440387918107564571745476924483850609244466307282628877247562",
  58. "1"
  59. ],
  60. [
  61. "10588095668159724333142658097242748201084821311539505166654240692525635653949",
  62. "1183100960889281823631938371556943968916169482989513163517955652814147785270",
  63. "1"
  64. ],
  65. [
  66. "14899200894902404684338252010495693209614589615201102355683265977943244426004",
  67. "6733181143166489149612223364873851869451680106085133952329639843716177370522",
  68. "1"
  69. ],
  70. [
  71. "1683537073912953978091278971997049690818520143499563010072565648446561661056",
  72. "19419929908654053003650694876848111465754667348310947518133436565700017002483",
  73. "1"
  74. ],
  75. [
  76. "14657090907982846377445922373510406393589381865954917955559100596313207100861",
  77. "13642650140642299314216565478747411703974469867765487295597972222030646618581",
  78. "1"
  79. ],
  80. [
  81. "16529622819344543978903257968152672100303712811187008674706734962518660200534",
  82. "9047308189580806381060024072651025924757275727793326189939157176373582276423",
  83. "1"
  84. ],
  85. [
  86. "3080248660073481279234987580633467131838554544589313213304320336447912874502",
  87. "12178549914181501174961289691127530013023904264051503031309740303517490947766",
  88. "1"
  89. ],
  90. [
  91. "15487788123318013174142216619036794699452999597075149645621900875574186695610",
  92. "1626752354094836838615855864490581912181205603023556119206923761362325487488",
  93. "1"
  94. ],
  95. [
  96. "1666930804642622665542570167075210228582250288184353798587314779395900191926",
  97. "19705035825701732447104451708888835197574105722528610005429830999713513944135",
  98. "1"
  99. ],
  100. [
  101. "6864231653145100847184101019813757441375546934931929553137150578511457821468",
  102. "11030717897717091434566238005756773466216938437645365639326676041449665933687",
  103. "1"
  104. ],
  105. [
  106. "17708960029000737859399187469088839058910680034659542429747423649838721586318",
  107. "17966398620544733014948000033194587396780241478697380962648049866838729264654",
  108. "1"
  109. ],
  110. [
  111. "13757192009142934986497800326740625614298535990393743419508862715438850214278",
  112. "21608544818365956429804089572501400134306590793845664759121305528719014468539",
  113. "1"
  114. ],
  115. [
  116. "2387150367018947723453720841613212674042625869787597370012597855542196564772",
  117. "11695602459063663755646871470499162454273937998667584326916784819522675676030",
  118. "1"
  119. ],
  120. [
  121. "3969932184785511719481056173532036069678557655561039720091342741570026295152",
  122. "17993913767992706963197080864583362193024219058878156591482644926890948868797",
  123. "1"
  124. ],
  125. [
  126. "9423946557684255938323840651123017285324730158168043839780806631003806918939",
  127. "20601140822008955908584760520762447153677611366925313301286794723328845538334",
  128. "1"
  129. ],
  130. [
  131. "12962476762153853692961359313770195651287320370991012193410923729342519400410",
  132. "16790095546018287000758153406357558316483550179182040426959851702714662233350",
  133. "1"
  134. ],
  135. [
  136. "11513038453371099732062533711296648120504101464641839310671168933784980314882",
  137. "19906375207605336857368669180394946464921182728087574346715161382734582996091",
  138. "1"
  139. ],
  140. [
  141. "2121497929168641193320430463750735744335423634358969475213438628839145775097",
  142. "14279619451032406093176776946256910631214549125624592712768709224713246159330",
  143. "1"
  144. ],
  145. [
  146. "11226191782273968706267268899222700962751661296528346044234995849296626637818",
  147. "13010144704231455483130550798892383439128876102102878476813890284532924199082",
  148. "1"
  149. ],
  150. [
  151. "11110550860460015317490388108081233932145530993142470924675507899413835184448",
  152. "16564127121244024114702603123214129039853156994745132309985985728814892932482",
  153. "1"
  154. ],
  155. [
  156. "16778941937031321722070777716071699346818608459977560423095851882699057661238",
  157. "4697439800149822368300068885116892100711854565071104448591753229703512600800",
  158. "1"
  159. ],
  160. [
  161. "15872083856166627537790395064677676672858055702693032209281782235450963069960",
  162. "10359824654894233948940829295414182326916813602184261612555323269593953713959",
  163. "1"
  164. ],
  165. [
  166. "15247415861798118260310199809217153579347967502938862593203253520242564857778",
  167. "17943608471215894498734622964827265729455290707752355804444644415538765187171",
  168. "1"
  169. ],
  170. [
  171. "19910646054904277798554639079332859903830938020106054338361835817749036204289",
  172. "14251173391661908313942511660900252216342610385205017933107964019360045794603",
  173. "1"
  174. ],
  175. [
  176. "15617270263010441782314109350958570541215852291212818016021084008333418208875",
  177. "21881089065537370063139940701535262435555591536651612422900371838614353113281",
  178. "1"
  179. ],
  180. [
  181. "6421115626779256473944138173048502514066702768381496596650324103983916504835",
  182. "3477316365965567489844246613122076671753354745444827471590577962440540253825",
  183. "1"
  184. ],
  185. [
  186. "16473272305165140318293304721756072118952895979824993476741656445985532109687",
  187. "11966737459889574739163354519745663782810240444604837406970095410044504857114",
  188. "1"
  189. ],
  190. [
  191. "5372377827028613665959777806978819222622231879950628237059135069445403406617",
  192. "10754772058946143812874307806006613255761709338906946759757401504859407645417",
  193. "1"
  194. ],
  195. [
  196. "14186175579895909616185878057026760618866356046925560400399807036820346884046",
  197. "4815071274998802335087493250322971182140859271153573841178680570745042169758",
  198. "1"
  199. ],
  200. [
  201. "18587428576009373156679145442597168345936336951096103073893982856175630643693",
  202. "16551515971501720092878042838225840381462545412649977468782450446861560095079",
  203. "1"
  204. ],
  205. [
  206. "20092704064518140906336001291719220397791993391927049447238747943557979137332",
  207. "14309044514703625249681667739033504979034764749598333744088213698477089190167",
  208. "1"
  209. ],
  210. [
  211. "18094211252427269277727737867758525438768651774457808013501513791100524400111",
  212. "1953616651202224570087320348179078176455230140050934991264156573541656440177",
  213. "1"
  214. ],
  215. [
  216. "8306150994125890187737385803981541016404020628778896850769772941676552580695",
  217. "9692340394713555790690111046383485596714503094426824962694563185658648842716",
  218. "1"
  219. ],
  220. [
  221. "2310757642461495319988919139078520159193510139788049016019877513576089825606",
  222. "8889867579822094460826499233108459267599315072851707155589562022968565836877",
  223. "1"
  224. ],
  225. [
  226. "18308698969834252376687927943697318806874330259437519073367865794809196122421",
  227. "14739033668305736376862695711443548284923118719280017423642214528572384515934",
  228. "1"
  229. ],
  230. [
  231. "21281456929816658128965712205802466600645879143675783709584584463978062814070",
  232. "11318407702446502058218573109267233739777220569151759825244543584735350643466",
  233. "1"
  234. ],
  235. [
  236. "7520703426805357030477495741143669754535245601456768825659455316560615971189",
  237. "11716692431794868904945130966329488889062393077100622718344498934379412336473",
  238. "1"
  239. ],
  240. [
  241. "12755699673150967843636678152611549820209710341861685811272938968227849444490",
  242. "8041405236201023920708302321965742245298279037603394500679202870952036944455",
  243. "1"
  244. ],
  245. [
  246. "4767324308822656869298992811825434492721876454715254600244690065028848020971",
  247. "7698254074025215726826011606321771959580174521108656914865701606041868015929",
  248. "1"
  249. ],
  250. [
  251. "5069108519819643877425272525791845153259463918796090785858826854873469677567",
  252. "19441624293073788344676145862916585919555281266024685026467295031220552700054",
  253. "1"
  254. ],
  255. [
  256. "19615829997657139098357071858533416653704257439734430213792369647973566826347",
  257. "20354691099796661979686973753889173391948033275751613338970065504168017804337",
  258. "1"
  259. ],
  260. [
  261. "11027190822371723497281530686863090859613245206871440157541315964572815271179",
  262. "10675136011261330036038351905981966853190049667679786632322902689639273096714",
  263. "1"
  264. ],
  265. [
  266. "6073908302198369305254211170927314788182979554648782100497505455266731015204",
  267. "230783342774856919928214058753287925592697137855334446779967352493825837423",
  268. "1"
  269. ],
  270. [
  271. "8065349080015031289241881658385531453814503979517539346801510330252327420241",
  272. "14735126201189209265547932564409552262152445686850481557202138107408115327464",
  273. "1"
  274. ],
  275. [
  276. "6452037663171386579712621793513191966255625190206245575651250486849182460440",
  277. "7209242914697571385995884156916495284148841850843926922191745144563603631497",
  278. "1"
  279. ],
  280. [
  281. "10593401732655136290887720645830905766352213200230343334980873391309958939320",
  282. "666955912278201937315337912832661869841839611440234361211929441370598456858",
  283. "1"
  284. ],
  285. [
  286. "3479342154509588972525995110657563238207085236375361439444008581380409197198",
  287. "2842082156517941562270865475681450943187927072014071620218399830230257691351",
  288. "1"
  289. ],
  290. [
  291. "692434019399694517146046655769177702432905351223416354821366078192182076820",
  292. "3395628146877374571895195099601711702304342467654447561346689703803124051395",
  293. "1"
  294. ],
  295. [
  296. "897877668313362010234827860073421630587020756077760567259587493004095744184",
  297. "7566955279869906474734064013485588345675973359196540621993138844162613375198",
  298. "1"
  299. ]
  300. ],
  301. "vk_alfa_1": [
  302. "8354125022402491146096524632602954406606496454803779043544940201207527912027",
  303. "719066282644331645717102069170608708195162774370272260015202086661089311234",
  304. "1"
  305. ],
  306. "vk_beta_2": [
  307. [
  308. "15819609270299917787101227421057497064555252095398692710896314899171935449228",
  309. "12410557311433316645833461472858428751547879560031808599488331029313135860054"
  310. ],
  311. [
  312. "5915247915713704640408458318654604569396223348462269801166279014325877172920",
  313. "3151765353208434115856893997427239125947497909307782934497369635848305207349"
  314. ],
  315. [
  316. "1",
  317. "0"
  318. ]
  319. ],
  320. "vk_gamma_2": [
  321. [
  322. "20998635465704765944234729848213271190298703821739579245252166965359275379567",
  323. "18569698049261699868049342823691041461765011065833511061731150982712719058931"
  324. ],
  325. [
  326. "19643309731014428269860044007048729642835975708160558919248553748448226867008",
  327. "4057552944219884903616160090555822269203226833340888130271232201855723185188"
  328. ],
  329. [
  330. "1",
  331. "0"
  332. ]
  333. ],
  334. "vk_delta_2": [
  335. [
  336. "1699455723545013724352264641481223849638169293269636387255739145105164643572",
  337. "10951443100057856372062056768155654835091940387457226546452206121970064287769"
  338. ],
  339. [
  340. "18091804447302921360663814931698141642678950451776128240905512956330370630584",
  341. "11051171602925343050692043383444760908270199727214620699742880132687007451610"
  342. ],
  343. [
  344. "1",
  345. "0"
  346. ]
  347. ],
  348. "vk_alfabeta_12": [
  349. [
  350. [
  351. "18723835367546013216669396584879552615309554640417855595864851968454850794686",
  352. "2751734539677780406895433411352652269903002350864560518448916000577298711044"
  353. ],
  354. [
  355. "6091631998457053869677482825687515224140938572474416320681319181954212930660",
  356. "14750817718913847167640471421588191103071235885472070890891565424818957616506"
  357. ],
  358. [
  359. "1503045325833070525242109471593215150873992909765587341806427485400509901763",
  360. "19595263023959996895029566929430291188201738108321510303592033282761719078927"
  361. ]
  362. ],
  363. [
  364. [
  365. "14243067455511068097745434183222546746125426041491764346913202956845188552019",
  366. "17462170864881388598981702392557723387786493323913878401432726985509236575485"
  367. ],
  368. [
  369. "15670136540447067653418982806709348681767811130611329178707663135867906047157",
  370. "8632459998104744185409696090239906876607793844814496641442049837459287937900"
  371. ],
  372. [
  373. "1147927280145543088837981995583243716796018112475088793287724642814036528129",
  374. "15939953021942181393804832630429756290981160876828402349069996652097158880389"
  375. ]
  376. ]
  377. ]
  378. }