cheating-proof-transcripts/TrapdoorCommitmentCheatingP.../proofs/complete-proof.json

253 lines
10 KiB
JSON

{
"initialMessage" : [ {
"element" : {
"value" : 10111748873113388478753399241444653642503357,
"p" : 15294034768093677312256663166625633354362303,
"q" : 7647017384046838656128331583312816677181151
}
}, {
"element" : {
"value" : 4328225576940976374290419659592551010479283,
"p" : 15294034768093677312256663166625633354362303,
"q" : 7647017384046838656128331583312816677181151
}
} ],
"firstAnswer" : [ {
"element" : {
"value" : 13652753204723397584717761614065622445677293,
"p" : 15294034768093677312256663166625633354362303,
"q" : 7647017384046838656128331583312816677181151
}
}, {
"element" : {
"value" : 8558784199372668339559346360480524120999844,
"p" : 15294034768093677312256663166625633354362303,
"q" : 7647017384046838656128331583312816677181151
}
} ],
"secondAnswer" : {
"msgPA" : {
"commitmentPublicB" : {
"element" : {
"value" : 1289161665596610043841415396209547740738352,
"p" : 15294034768093677312256663166625633354362303,
"q" : 7647017384046838656128331583312816677181151
}
},
"iniSVA" : {
"commitmentPublicD" : {
"element" : {
"value" : 7594570065194556390124121241010079121762209,
"p" : 15294034768093677312256663166625633354362303,
"q" : 7647017384046838656128331583312816677181151
}
},
"commitmentPublicLowDelta" : {
"element" : {
"value" : 2620996818320143599171474107132085319660174,
"p" : 15294034768093677312256663166625633354362303,
"q" : 7647017384046838656128331583312816677181151
}
},
"commitmentPublicHighDelta" : {
"element" : {
"value" : 988021993110106465539854225588824836813484,
"p" : 15294034768093677312256663166625633354362303,
"q" : 7647017384046838656128331583312816677181151
}
}
},
"ansSVA" : {
"exponentsTildeA" : [ {
"q" : 7647017384046838656128331583312816677181151,
"value" : 1901524969758326009785342198326654866377194
}, {
"q" : 7647017384046838656128331583312816677181151,
"value" : 4206972039693111928234839483584896822216661
} ],
"exponentsTildeB" : [ {
"q" : 7647017384046838656128331583312816677181151,
"value" : 1901524969758326009785342198326654866377194
}, {
"q" : 7647017384046838656128331583312816677181151,
"value" : 2334529994278230900850789660228905631719366
} ],
"exponentTildeR" : {
"q" : 7647017384046838656128331583312816677181151,
"value" : 93621144339999084754416503974545674818642
},
"exponentTildeS" : {
"q" : 7647017384046838656128331583312816677181151,
"value" : 1697403840486520024561740887218656515343202
}
},
"iniHPA" : {
"commitmentPublicB" : [ {
"element" : {
"value" : 3289945505050429080578099673242312147133884,
"p" : 15294034768093677312256663166625633354362303,
"q" : 7647017384046838656128331583312816677181151
}
}, {
"element" : {
"value" : 1289161665596610043841415396209547740738352,
"p" : 15294034768093677312256663166625633354362303,
"q" : 7647017384046838656128331583312816677181151
}
} ]
},
"ansHPA" : {
"initial" : {
"commitmentPublicA0" : {
"element" : {
"value" : 9780611175931126287373680567488044443592220,
"p" : 15294034768093677312256663166625633354362303,
"q" : 7647017384046838656128331583312816677181151
}
},
"commitmentPublicBM" : {
"element" : {
"value" : 10136345154018214956240586573981034733226564,
"p" : 15294034768093677312256663166625633354362303,
"q" : 7647017384046838656128331583312816677181151
}
},
"commitmentPublicD" : [ {
"element" : {
"value" : 4113142183889731593060162178604717040917259,
"p" : 15294034768093677312256663166625633354362303,
"q" : 7647017384046838656128331583312816677181151
}
}, {
"element" : {
"value" : 11871854645621103893665806463192145293946700,
"p" : 15294034768093677312256663166625633354362303,
"q" : 7647017384046838656128331583312816677181151
}
}, {
"element" : {
"value" : 10678793172357006173761034051161877450693959,
"p" : 15294034768093677312256663166625633354362303,
"q" : 7647017384046838656128331583312816677181151
}
}, {
"element" : {
"value" : 1,
"p" : 15294034768093677312256663166625633354362303,
"q" : 7647017384046838656128331583312816677181151
}
}, {
"element" : {
"value" : 7190246145227798328769851875239243057791586,
"p" : 15294034768093677312256663166625633354362303,
"q" : 7647017384046838656128331583312816677181151
}
} ]
},
"answer" : {
"exponentsA" : [ {
"q" : 7647017384046838656128331583312816677181151,
"value" : 1002187969183751835488098462826256439224302
}, {
"q" : 7647017384046838656128331583312816677181151,
"value" : 1648293102727119479230749401506970975631192
} ],
"exponentsB" : [ {
"q" : 7647017384046838656128331583312816677181151,
"value" : 1077114143477354758527328951931010872648928
}, {
"q" : 7647017384046838656128331583312816677181151,
"value" : 973788045687454928782099792070583059085544
} ],
"exponentR" : {
"q" : 7647017384046838656128331583312816677181151,
"value" : 4583343814642703558705203898263885395984684
},
"exponentS" : {
"q" : 7647017384046838656128331583312816677181151,
"value" : 3018331769911991520779602549727327390960884
},
"exponentT" : {
"q" : 7647017384046838656128331583312816677181151,
"value" : 3822040574161212608837247431068845214257133
}
}
}
},
"iniMEBasic" : {
"commitmentPublicA0" : {
"element" : {
"value" : 2733599500631744447924655384055464344925424,
"p" : 15294034768093677312256663166625633354362303,
"q" : 7647017384046838656128331583312816677181151
}
},
"commitmentPublicB" : [ {
"element" : {
"value" : 10145346364837649655801377819595271382118850,
"p" : 15294034768093677312256663166625633354362303,
"q" : 7647017384046838656128331583312816677181151
}
}, {
"element" : {
"value" : 7001657834264767248349809620875098487420803,
"p" : 15294034768093677312256663166625633354362303,
"q" : 7647017384046838656128331583312816677181151
}
}, {
"element" : {
"value" : 1,
"p" : 15294034768093677312256663166625633354362303,
"q" : 7647017384046838656128331583312816677181151
}
}, {
"element" : {
"value" : 3686268759135595314030264951080976711538502,
"p" : 15294034768093677312256663166625633354362303,
"q" : 7647017384046838656128331583312816677181151
}
} ],
"ciphertextsE" : [ {
"gamma" : "8765839074965327864239007636367668687050966;15294034768093677312256663166625633354362303;7647017384046838656128331583312816677181151",
"phis" : "10383041402233745318646620977812923651694356;15294034768093677312256663166625633354362303;7647017384046838656128331583312816677181151"
}, {
"gamma" : "3958855092651399541899803757186782473381898;15294034768093677312256663166625633354362303;7647017384046838656128331583312816677181151",
"phis" : "3481612633050527655310492408358153245058726;15294034768093677312256663166625633354362303;7647017384046838656128331583312816677181151"
}, {
"gamma" : "14105443562863962656078009316581696481380679;15294034768093677312256663166625633354362303;7647017384046838656128331583312816677181151",
"phis" : "2257127027995072960420937796643704636756187;15294034768093677312256663166625633354362303;7647017384046838656128331583312816677181151"
}, {
"gamma" : "10848618481471065709671091330683134836487800;15294034768093677312256663166625633354362303;7647017384046838656128331583312816677181151",
"phis" : "5969861756426068995522928925053221029392570;15294034768093677312256663166625633354362303;7647017384046838656128331583312816677181151"
} ]
},
"ansMEBasic" : {
"exponentsA" : [ {
"q" : 7647017384046838656128331583312816677181151,
"value" : 1779489080146645218164867367641829392560449
}, {
"q" : 7647017384046838656128331583312816677181151,
"value" : 5425685570506741986848986716754113996877054
} ],
"exponentR" : {
"q" : 7647017384046838656128331583312816677181151,
"value" : 1140913206488447394657733864182641370287374
},
"exponentsB" : {
"q" : 7647017384046838656128331583312816677181151,
"value" : 4396292364043134669156992011068318494319052
},
"exponentS" : {
"q" : 7647017384046838656128331583312816677181151,
"value" : 2843984736605655733352005915475535976030536
},
"randomnessTau" : {
"class" : "com.scytl.products.ov.mixnet.commons.homomorphic.impl.GjosteenElGamalRandomness",
"randomnessValue" : {
"q" : 7647017384046838656128331583312816677181151,
"value" : 7645255848832246297147477111691160338198058
}
}
}
}
}