329 lines
3.5 KiB
JSON
329 lines
3.5 KiB
JSON
{
|
|
"protocol": "groth16",
|
|
"n8q": 32,
|
|
"q": "21888242871839275222246405745257275088696311157297823662689037894645226208583",
|
|
"n8r": 32,
|
|
"r": "21888242871839275222246405745257275088548364400416034343698204186575808495617",
|
|
"nVars": 6,
|
|
"nPublic": 2,
|
|
"domainSize": 8,
|
|
"power": 3,
|
|
"vk_alpha_1": [
|
|
"1",
|
|
"2",
|
|
"1"
|
|
],
|
|
"vk_beta_1": [
|
|
"1",
|
|
"2",
|
|
"1"
|
|
],
|
|
"vk_beta_2": [
|
|
[
|
|
"10857046999023057135944570762232829481370756359578518086990519993285655852781",
|
|
"11559732032986387107991004021392285783925812861821192530917403151452391805634"
|
|
],
|
|
[
|
|
"8495653923123431417604973247489272438418190587263600148770280649306958101930",
|
|
"4082367875863433681332203403145435568316851327593401208105741076214120093531"
|
|
],
|
|
[
|
|
"1",
|
|
"0"
|
|
]
|
|
],
|
|
"vk_gamma_2": [
|
|
[
|
|
"10857046999023057135944570762232829481370756359578518086990519993285655852781",
|
|
"11559732032986387107991004021392285783925812861821192530917403151452391805634"
|
|
],
|
|
[
|
|
"8495653923123431417604973247489272438418190587263600148770280649306958101930",
|
|
"4082367875863433681332203403145435568316851327593401208105741076214120093531"
|
|
],
|
|
[
|
|
"1",
|
|
"0"
|
|
]
|
|
],
|
|
"vk_delta_1": [
|
|
"1",
|
|
"2",
|
|
"1"
|
|
],
|
|
"vk_delta_2": [
|
|
[
|
|
"10857046999023057135944570762232829481370756359578518086990519993285655852781",
|
|
"11559732032986387107991004021392285783925812861821192530917403151452391805634"
|
|
],
|
|
[
|
|
"8495653923123431417604973247489272438418190587263600148770280649306958101930",
|
|
"4082367875863433681332203403145435568316851327593401208105741076214120093531"
|
|
],
|
|
[
|
|
"1",
|
|
"0"
|
|
]
|
|
],
|
|
"IC": [
|
|
[
|
|
"0",
|
|
"1",
|
|
"0"
|
|
],
|
|
[
|
|
"0",
|
|
"1",
|
|
"0"
|
|
],
|
|
[
|
|
"1",
|
|
"2",
|
|
"1"
|
|
]
|
|
],
|
|
"ccoefs": [
|
|
{
|
|
"matrix": 0,
|
|
"constraint": 1,
|
|
"signal": 4,
|
|
"value": "1"
|
|
},
|
|
{
|
|
"matrix": 1,
|
|
"constraint": 1,
|
|
"signal": 2,
|
|
"value": "1"
|
|
},
|
|
{
|
|
"matrix": 0,
|
|
"constraint": 3,
|
|
"signal": 0,
|
|
"value": "1"
|
|
},
|
|
{
|
|
"matrix": 0,
|
|
"constraint": 4,
|
|
"signal": 1,
|
|
"value": "1"
|
|
},
|
|
{
|
|
"matrix": 0,
|
|
"constraint": 5,
|
|
"signal": 2,
|
|
"value": "1"
|
|
}
|
|
],
|
|
"A": [
|
|
[
|
|
"0",
|
|
"1",
|
|
"0"
|
|
],
|
|
[
|
|
"0",
|
|
"1",
|
|
"0"
|
|
],
|
|
[
|
|
"0",
|
|
"1",
|
|
"0"
|
|
],
|
|
[
|
|
"0",
|
|
"1",
|
|
"0"
|
|
],
|
|
[
|
|
"0",
|
|
"1",
|
|
"0"
|
|
],
|
|
[
|
|
"0",
|
|
"1",
|
|
"0"
|
|
]
|
|
],
|
|
"B1": [
|
|
[
|
|
"0",
|
|
"1",
|
|
"0"
|
|
],
|
|
[
|
|
"0",
|
|
"1",
|
|
"0"
|
|
],
|
|
[
|
|
"0",
|
|
"1",
|
|
"0"
|
|
],
|
|
[
|
|
"0",
|
|
"1",
|
|
"0"
|
|
],
|
|
[
|
|
"0",
|
|
"1",
|
|
"0"
|
|
],
|
|
[
|
|
"0",
|
|
"1",
|
|
"0"
|
|
]
|
|
],
|
|
"B2": [
|
|
[
|
|
[
|
|
"0",
|
|
"0"
|
|
],
|
|
[
|
|
"1",
|
|
"0"
|
|
],
|
|
[
|
|
"0",
|
|
"0"
|
|
]
|
|
],
|
|
[
|
|
[
|
|
"0",
|
|
"0"
|
|
],
|
|
[
|
|
"1",
|
|
"0"
|
|
],
|
|
[
|
|
"0",
|
|
"0"
|
|
]
|
|
],
|
|
[
|
|
[
|
|
"0",
|
|
"0"
|
|
],
|
|
[
|
|
"1",
|
|
"0"
|
|
],
|
|
[
|
|
"0",
|
|
"0"
|
|
]
|
|
],
|
|
[
|
|
[
|
|
"0",
|
|
"0"
|
|
],
|
|
[
|
|
"1",
|
|
"0"
|
|
],
|
|
[
|
|
"0",
|
|
"0"
|
|
]
|
|
],
|
|
[
|
|
[
|
|
"0",
|
|
"0"
|
|
],
|
|
[
|
|
"1",
|
|
"0"
|
|
],
|
|
[
|
|
"0",
|
|
"0"
|
|
]
|
|
],
|
|
[
|
|
[
|
|
"0",
|
|
"0"
|
|
],
|
|
[
|
|
"1",
|
|
"0"
|
|
],
|
|
[
|
|
"0",
|
|
"0"
|
|
]
|
|
]
|
|
],
|
|
"C": [
|
|
null,
|
|
null,
|
|
null,
|
|
[
|
|
"1",
|
|
"21888242871839275222246405745257275088696311157297823662689037894645226208581",
|
|
"1"
|
|
],
|
|
[
|
|
"1",
|
|
"21888242871839275222246405745257275088696311157297823662689037894645226208581",
|
|
"1"
|
|
],
|
|
[
|
|
"0",
|
|
"1",
|
|
"0"
|
|
]
|
|
],
|
|
"hExps": [
|
|
[
|
|
"0",
|
|
"1",
|
|
"0"
|
|
],
|
|
[
|
|
"0",
|
|
"1",
|
|
"0"
|
|
],
|
|
[
|
|
"0",
|
|
"1",
|
|
"0"
|
|
],
|
|
[
|
|
"0",
|
|
"1",
|
|
"0"
|
|
],
|
|
[
|
|
"0",
|
|
"1",
|
|
"0"
|
|
],
|
|
[
|
|
"0",
|
|
"1",
|
|
"0"
|
|
],
|
|
[
|
|
"0",
|
|
"1",
|
|
"0"
|
|
],
|
|
[
|
|
"0",
|
|
"1",
|
|
"0"
|
|
]
|
|
]
|
|
} |