1{
 2 "mainCode": "{\n}\n",
 3 "signalName2Idx": {
 4  "one": 0,
 5  "main.a": 2,
 6  "main.b": 3,
 7  "main.c": 1
 8 },
 9 "components": [
10  {
11   "name": "main",
12   "params": {},
13   "template": "Multiplier",
14   "inputSignals": 2
15  }
16 ],
17 "componentName2Idx": {
18  "main": 0
19 },
20 "signals": [
21  {
22   "names": [
23    "one"
24   ],
25   "triggerComponents": []
26  },
27  {
28   "names": [
29    "main.c"
30   ],
31   "triggerComponents": []
32  },
33  {
34   "names": [
35    "main.a"
36   ],
37   "triggerComponents": [
38    0
39   ]
40  },
41  {
42   "names": [
43    "main.b"
44   ],
45   "triggerComponents": [
46    0
47   ]
48  }
49 ],
50 "constraints": [
51  [
52   {
53    "2": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
54   },
55   {
56    "3": "1"
57   },
58   {
59    "1": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
60   }
61  ]
62 ],
63 "templates": {
64  "Multiplier": "function(ctx) {\n    ctx.setSignal(\"c\", [], bigInt(ctx.getSignal(\"a\", [])).mul(bigInt(ctx.getSignal(\"b\", []))).mod(__P__));\n    ctx.assert(ctx.getSignal(\"c\", []), bigInt(ctx.getSignal(\"a\", [])).mul(bigInt(ctx.getSignal(\"b\", []))).mod(__P__));\n}\n"
65 },
66 "functions": {},
67 "nPrvInputs": 2,
68 "nPubInputs": 0,
69 "nInputs": 2,
70 "nOutputs": 1,
71 "nVars": 4,
72 "nConstants": 0,
73 "nSignals": 4
74}