{
 "protocol": "groth16",
 "curve": "bn128",
 "nPublic": 4,
 "vk_alpha_1": [
  "20491192805390485299153009773594534940189261866228447918068658471970481763042",
  "9383485363053290200918347156157836566562967994039712273449902621266178545958",
  "1"
 ],
 "vk_beta_2": [
  [
   "6375614351688725206403948262868962793625744043794305715222011528459656738731",
   "4252822878758300859123897981450591353533073413197771768651442665752259397132"
  ],
  [
   "10505242626370262277552901082094356697409835680220590971873171140371331206856",
   "21847035105528745403288232691147584728191162732299865338377159692350059136679"
  ],
  [
   "1",
   "0"
  ]
 ],
 "vk_gamma_2": [
  [
   "10857046999023057135944570762232829481370756359578518086990519993285655852781",
   "11559732032986387107991004021392285783925812861821192530917403151452391805634"
  ],
  [
   "8495653923123431417604973247489272438418190587263600148770280649306958101930",
   "4082367875863433681332203403145435568316851327593401208105741076214120093531"
  ],
  [
   "1",
   "0"
  ]
 ],
 "vk_delta_2": [
  [
   "2344332487975681075866516010427344803050781869232980270711940746114160497835",
   "291526962375128350391728219000066740698847541954742306842351829554838262316"
  ],
  [
   "920353925018472897735137393856975750024017933947390918594332498421259565934",
   "14125992686615747238618558538394635120629872905989054656784646441068178158215"
  ],
  [
   "1",
   "0"
  ]
 ],
 "vk_alphabeta_12": [
  [
   [
    "2029413683389138792403550203267699914886160938906632433982220835551125967885",
    "21072700047562757817161031222997517981543347628379360635925549008442030252106"
   ],
   [
    "5940354580057074848093997050200682056184807770593307860589430076672439820312",
    "12156638873931618554171829126792193045421052652279363021382169897324752428276"
   ],
   [
    "7898200236362823042373859371574133993780991612861777490112507062703164551277",
    "7074218545237549455313236346927434013100842096812539264420499035217050630853"
   ]
  ],
  [
   [
    "7077479683546002997211712695946002074877511277312570035766170199895071832130",
    "10093483419865920389913245021038182291233451549023025229112148274109565435465"
   ],
   [
    "4595479056700221319381530156280926371456704509942304414423590385166031118820",
    "19831328484489333784475432780421641293929726139240675179672856274388269393268"
   ],
   [
    "11934129596455521040620786944827826205713621633706285934057045369193958244500",
    "8037395052364110730298837004334506829870972346962140206007064471173334027475"
   ]
  ]
 ],
 "IC": [
  [
   "7221428158437397611105709384418957581488310098345007467893588503680456999053",
   "1905073354929254058632806442153658254811131177774431063996876018058726497224",
   "1"
  ],
  [
   "10935207225087314866626138097585593840577424686625154326458506014700248038374",
   "7586059143698593572196166459030408493937048499493797060775476946590498258880",
   "1"
  ],
  [
   "4292235957534733376286553260404108858786835634965885201032247243997492501397",
   "7293522362633044490048916402661378767825695862761528684962277126026966448742",
   "1"
  ],
  [
   "2729193053440131015300302302395146830625505813168740336836444541103118817187",
   "5097405150479501143050413046791730698359997681996518748328386661746181672696",
   "1"
  ],
  [
   "19414811241075554471832447285806311834765000110634973584607283152410856485311",
   "10207588079550046440811042138740402258087066453680598464762363293254013347230",
   "1"
  ]
 ]
}