cheating-proof-transcripts/TrapdoorCommitmentCheatingProofs/proofs-2/complete-proof-2.json

{
  "initialMessage" : [ {
    "element" : {
      "value" : 5686901005743611126667229787203460245018803,
      "p" : 15294034768093677312256663166625633354362303,
      "q" : 7647017384046838656128331583312816677181151
    }
  }, {
    "element" : {
      "value" : 11185574507156442704730883614240682198226663,
      "p" : 15294034768093677312256663166625633354362303,
      "q" : 7647017384046838656128331583312816677181151
    }
  } ],
  "firstAnswer" : [ {
    "element" : {
      "value" : 9098388144584288459111452508192080464282792,
      "p" : 15294034768093677312256663166625633354362303,
      "q" : 7647017384046838656128331583312816677181151
    }
  }, {
    "element" : {
      "value" : 8067650293804250902892883407337649732105425,
      "p" : 15294034768093677312256663166625633354362303,
      "q" : 7647017384046838656128331583312816677181151
    }
  } ],
  "secondAnswer" : {
    "msgPA" : {
      "commitmentPublicB" : {
        "element" : {
          "value" : 13308914475547924926922469174589760441015317,
          "p" : 15294034768093677312256663166625633354362303,
          "q" : 7647017384046838656128331583312816677181151
        }
      },
      "iniSVA" : {
        "commitmentPublicD" : {
          "element" : {
            "value" : 1605184055414561288064504123923179544724733,
            "p" : 15294034768093677312256663166625633354362303,
            "q" : 7647017384046838656128331583312816677181151
          }
        },
        "commitmentPublicLowDelta" : {
          "element" : {
            "value" : 5861662573058819572209530162153359585358998,
            "p" : 15294034768093677312256663166625633354362303,
            "q" : 7647017384046838656128331583312816677181151
          }
        },
        "commitmentPublicHighDelta" : {
          "element" : {
            "value" : 8280387761712157071829379804196779950685450,
            "p" : 15294034768093677312256663166625633354362303,
            "q" : 7647017384046838656128331583312816677181151
          }
        }
      },
      "ansSVA" : {
        "exponentsTildeA" : [ {
          "q" : 7647017384046838656128331583312816677181151,
          "value" : 2048705207138211641444093679110956410151907
        }, {
          "q" : 7647017384046838656128331583312816677181151,
          "value" : 3087434215097852071603895895112341672385918
        } ],
        "exponentsTildeB" : [ {
          "q" : 7647017384046838656128331583312816677181151,
          "value" : 2048705207138211641444093679110956410151907
        }, {
          "q" : 7647017384046838656128331583312816677181151,
          "value" : 6696084153571906533755106588893595019170714
        } ],
        "exponentTildeR" : {
          "q" : 7647017384046838656128331583312816677181151,
          "value" : 5543399901869633977353553638943488923447741
        },
        "exponentTildeS" : {
          "q" : 7647017384046838656128331583312816677181151,
          "value" : 643741702192512097722606432027765685296208
        }
      },
      "iniHPA" : {
        "commitmentPublicB" : [ {
          "element" : {
            "value" : 6327690226133533100561029359395144915465773,
            "p" : 15294034768093677312256663166625633354362303,
            "q" : 7647017384046838656128331583312816677181151
          }
        }, {
          "element" : {
            "value" : 13308914475547924926922469174589760441015317,
            "p" : 15294034768093677312256663166625633354362303,
            "q" : 7647017384046838656128331583312816677181151
          }
        } ]
      },
      "ansHPA" : {
        "initial" : {
          "commitmentPublicA0" : {
            "element" : {
              "value" : 13015266211256164999863864672210543361022124,
              "p" : 15294034768093677312256663166625633354362303,
              "q" : 7647017384046838656128331583312816677181151
            }
          },
          "commitmentPublicBM" : {
            "element" : {
              "value" : 6026181322654755480742080767992639908709587,
              "p" : 15294034768093677312256663166625633354362303,
              "q" : 7647017384046838656128331583312816677181151
            }
          },
          "commitmentPublicD" : [ {
            "element" : {
              "value" : 7331607488672995258765080486405978872976881,
              "p" : 15294034768093677312256663166625633354362303,
              "q" : 7647017384046838656128331583312816677181151
            }
          }, {
            "element" : {
              "value" : 1894090974930911098072270000480100394368502,
              "p" : 15294034768093677312256663166625633354362303,
              "q" : 7647017384046838656128331583312816677181151
            }
          }, {
            "element" : {
              "value" : 13096939031718806200750224233395756671045191,
              "p" : 15294034768093677312256663166625633354362303,
              "q" : 7647017384046838656128331583312816677181151
            }
          }, {
            "element" : {
              "value" : 1,
              "p" : 15294034768093677312256663166625633354362303,
              "q" : 7647017384046838656128331583312816677181151
            }
          }, {
            "element" : {
              "value" : 7822333799298211488612759098983200061277096,
              "p" : 15294034768093677312256663166625633354362303,
              "q" : 7647017384046838656128331583312816677181151
            }
          } ]
        },
        "answer" : {
          "exponentsA" : [ {
            "q" : 7647017384046838656128331583312816677181151,
            "value" : 1175750054930794375731096682745303852998107
          }, {
            "q" : 7647017384046838656128331583312816677181151,
            "value" : 5808711348011305531153670523152495168390857
          } ],
          "exponentsB" : [ {
            "q" : 7647017384046838656128331583312816677181151,
            "value" : 350703386898770409698230879933876216831011
          }, {
            "q" : 7647017384046838656128331583312816677181151,
            "value" : 4217172366455270910099303525888730392831401
          } ],
          "exponentR" : {
            "q" : 7647017384046838656128331583312816677181151,
            "value" : 1683895571035260991593959169075194685599885
          },
          "exponentS" : {
            "q" : 7647017384046838656128331583312816677181151,
            "value" : 7621083655812860561453115769846396491123422
          },
          "exponentT" : {
            "q" : 7647017384046838656128331583312816677181151,
            "value" : 424053448677071126771993249764579481631896
          }
        }
      }
    },
    "iniMEBasic" : {
      "commitmentPublicA0" : {
        "element" : {
          "value" : 2759157306851535163019657152225126278887521,
          "p" : 15294034768093677312256663166625633354362303,
          "q" : 7647017384046838656128331583312816677181151
        }
      },
      "commitmentPublicB" : [ {
        "element" : {
          "value" : 661682593921274908605486464479066260880262,
          "p" : 15294034768093677312256663166625633354362303,
          "q" : 7647017384046838656128331583312816677181151
        }
      }, {
        "element" : {
          "value" : 10982393225664943757638751590603257242846633,
          "p" : 15294034768093677312256663166625633354362303,
          "q" : 7647017384046838656128331583312816677181151
        }
      }, {
        "element" : {
          "value" : 1,
          "p" : 15294034768093677312256663166625633354362303,
          "q" : 7647017384046838656128331583312816677181151
        }
      }, {
        "element" : {
          "value" : 12838434784315019570106430399687649584223253,
          "p" : 15294034768093677312256663166625633354362303,
          "q" : 7647017384046838656128331583312816677181151
        }
      } ],
      "ciphertextsE" : [ {
        "gamma" : "4525428873869209818071924361199255083942365;15294034768093677312256663166625633354362303;7647017384046838656128331583312816677181151",
        "phis" : "214343506093432265690756905171763315494555;15294034768093677312256663166625633354362303;7647017384046838656128331583312816677181151"
      }, {
        "gamma" : "1076964826531991618141161689415153389527152;15294034768093677312256663166625633354362303;7647017384046838656128331583312816677181151",
        "phis" : "11202815785598218054021408068895855606276593;15294034768093677312256663166625633354362303;7647017384046838656128331583312816677181151"
      }, {
        "gamma" : "12752102622711108900002141241608746992169017;15294034768093677312256663166625633354362303;7647017384046838656128331583312816677181151",
        "phis" : "13653225323107511233668018260456535265011138;15294034768093677312256663166625633354362303;7647017384046838656128331583312816677181151"
      }, {
        "gamma" : "14343024304369973282148345604664282118668037;15294034768093677312256663166625633354362303;7647017384046838656128331583312816677181151",
        "phis" : "14827632853608820330748444120741876723146065;15294034768093677312256663166625633354362303;7647017384046838656128331583312816677181151"
      } ]
    },
    "ansMEBasic" : {
      "exponentsA" : [ {
        "q" : 7647017384046838656128331583312816677181151,
        "value" : 92781825866804719318430135823566967093295
      }, {
        "q" : 7647017384046838656128331583312816677181151,
        "value" : 3023943052674527679192109380427169610783723
      } ],
      "exponentR" : {
        "q" : 7647017384046838656128331583312816677181151,
        "value" : 847700230455438529446923586302583399819097
      },
      "exponentsB" : {
        "q" : 7647017384046838656128331583312816677181151,
        "value" : 3764552723782555749176323315987975666809758
      },
      "exponentS" : {
        "q" : 7647017384046838656128331583312816677181151,
        "value" : 40297487583321671700788688452234126512215
      },
      "randomnessTau" : {
        "class" : "com.scytl.products.ov.mixnet.commons.homomorphic.impl.GjosteenElGamalRandomness",
        "randomnessValue" : {
          "q" : 7647017384046838656128331583312816677181151,
          "value" : 4877163275761485000897865151562905858291537
        }
      }
    }
  }
}