126 lines
2.2 KiB
JSON
126 lines
2.2 KiB
JSON
{
|
|
"mainCode": "{\n}\n",
|
|
"signalName2Idx": {
|
|
"one": 0,
|
|
"main.a": 3,
|
|
"main.b": 4,
|
|
"main.c": 5,
|
|
"main.d": 6,
|
|
"main.e": 1,
|
|
"main.f": 2
|
|
},
|
|
"components": [
|
|
{
|
|
"name": "main",
|
|
"params": {},
|
|
"template": "Multiplier",
|
|
"inputSignals": 4
|
|
}
|
|
],
|
|
"componentName2Idx": {
|
|
"main": 0
|
|
},
|
|
"signals": [
|
|
{
|
|
"names": [
|
|
"one"
|
|
],
|
|
"triggerComponents": []
|
|
},
|
|
{
|
|
"names": [
|
|
"main.e"
|
|
],
|
|
"triggerComponents": []
|
|
},
|
|
{
|
|
"names": [
|
|
"main.f"
|
|
],
|
|
"triggerComponents": []
|
|
},
|
|
{
|
|
"names": [
|
|
"main.a"
|
|
],
|
|
"triggerComponents": [
|
|
0
|
|
]
|
|
},
|
|
{
|
|
"names": [
|
|
"main.b"
|
|
],
|
|
"triggerComponents": [
|
|
0
|
|
]
|
|
},
|
|
{
|
|
"names": [
|
|
"main.c"
|
|
],
|
|
"triggerComponents": [
|
|
0
|
|
]
|
|
},
|
|
{
|
|
"names": [
|
|
"main.d"
|
|
],
|
|
"triggerComponents": [
|
|
0
|
|
]
|
|
}
|
|
],
|
|
"constraints": [
|
|
[
|
|
{},
|
|
{},
|
|
{
|
|
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
|
|
"3": "1"
|
|
}
|
|
],
|
|
[
|
|
{},
|
|
{},
|
|
{
|
|
"0": "21888242871839275222246405745257275088548364400416034343698204186575808495616",
|
|
"4": "1"
|
|
}
|
|
],
|
|
[
|
|
{
|
|
"3": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
|
|
},
|
|
{
|
|
"4": "1"
|
|
},
|
|
{
|
|
"1": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
|
|
}
|
|
],
|
|
[
|
|
{
|
|
"5": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
|
|
},
|
|
{
|
|
"6": "1"
|
|
},
|
|
{
|
|
"2": "21888242871839275222246405745257275088548364400416034343698204186575808495616"
|
|
}
|
|
]
|
|
],
|
|
"templates": {
|
|
"Multiplier": "function(ctx) {\n ctx.assert(\"1\", ctx.getSignal(\"a\", []), \"/home/ixnay/iden3Dev/github/test/circom-test/circuit.circom:9:4\");\n ctx.assert(\"1\", ctx.getSignal(\"b\", []), \"/home/ixnay/iden3Dev/github/test/circom-test/circuit.circom:10:4\");\n ctx.setSignal(\"e\", [], bigInt(ctx.getSignal(\"a\", [])).mul(bigInt(ctx.getSignal(\"b\", []))).mod(__P__));\n ctx.setSignal(\"f\", [], bigInt(ctx.getSignal(\"c\", [])).mul(bigInt(ctx.getSignal(\"d\", []))).mod(__P__));\n}\n"
|
|
},
|
|
"functions": {},
|
|
"nPrvInputs": 4,
|
|
"nPubInputs": 0,
|
|
"nInputs": 4,
|
|
"nOutputs": 2,
|
|
"nVars": 7,
|
|
"nConstants": 0,
|
|
"nSignals": 7
|
|
} |