mycircuit.json

{
 "mainCode": "{\n}\n",
 "signalName2Idx": {
  "one": 0,
  "main.a": 2,
  "main.c": 1
 },
 "components": [
  {
   "name": "main",
   "params": {},
   "template": "Comparer",
   "inputSignals": 1
  }
 ],
 "componentName2Idx": {
  "main": 0
 },
 "signals": [
  {
   "names": [
    "one"
   ],
   "triggerComponents": []
  },
  {
   "names": [
    "main.c"
   ],
   "triggerComponents": []
  },
  {
   "names": [
    "main.a"
   ],
   "triggerComponents": [
    0
   ]
  }
 ],
 "constraints": [
  [
   {},
   {},
   {
    "0": "1",
    "1": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
   }
  ]
 ],
 "templates": {
  "Comparer": "function(ctx) {\n    ctx.setSignal(\"c\", [], bigInt(ctx.getSignal(\"a\", [])).greaterOrEquals(bigInt(\"20\")) ? 1 : 0);\n    ctx.assert(ctx.getSignal(\"c\", []), \"1\");\n}\n"
 },
 "functions": {},
 "nPrvInputs": 1,
 "nPubInputs": 0,
 "nInputs": 1,
 "nOutputs": 1,
 "nVars": 3,
 "nConstants": 0,
 "nSignals": 3
}