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

{
  "initialMessage" : [ {
    "element" : {
      "value" : 13659771989630969101559130274356943184691900,
      "p" : 15294034768093677312256663166625633354362303,
      "q" : 7647017384046838656128331583312816677181151
    }
  }, {
    "element" : {
      "value" : 7947923015819703146643495375895498777389904,
      "p" : 15294034768093677312256663166625633354362303,
      "q" : 7647017384046838656128331583312816677181151
    }
  } ],
  "firstAnswer" : [ {
    "element" : {
      "value" : 9767444602436655882593068831914187193966478,
      "p" : 15294034768093677312256663166625633354362303,
      "q" : 7647017384046838656128331583312816677181151
    }
  }, {
    "element" : {
      "value" : 13858966410728751984253619700561325267729225,
      "p" : 15294034768093677312256663166625633354362303,
      "q" : 7647017384046838656128331583312816677181151
    }
  } ],
  "secondAnswer" : {
    "msgPA" : {
      "commitmentPublicB" : {
        "element" : {
          "value" : 1857645376534809588145067319443900759135195,
          "p" : 15294034768093677312256663166625633354362303,
          "q" : 7647017384046838656128331583312816677181151
        }
      },
      "iniSVA" : {
        "commitmentPublicD" : {
          "element" : {
            "value" : 13564639239755886964863168741248722394983103,
            "p" : 15294034768093677312256663166625633354362303,
            "q" : 7647017384046838656128331583312816677181151
          }
        },
        "commitmentPublicLowDelta" : {
          "element" : {
            "value" : 6914123205973139875124392447290002261712985,
            "p" : 15294034768093677312256663166625633354362303,
            "q" : 7647017384046838656128331583312816677181151
          }
        },
        "commitmentPublicHighDelta" : {
          "element" : {
            "value" : 6415410617159308335146409165591342947034212,
            "p" : 15294034768093677312256663166625633354362303,
            "q" : 7647017384046838656128331583312816677181151
          }
        }
      },
      "ansSVA" : {
        "exponentsTildeA" : [ {
          "q" : 7647017384046838656128331583312816677181151,
          "value" : 1834981019355055407388899249814772360565616
        }, {
          "q" : 7647017384046838656128331583312816677181151,
          "value" : 3651834091099384660268665862790578113601831
        } ],
        "exponentsTildeB" : [ {
          "q" : 7647017384046838656128331583312816677181151,
          "value" : 1834981019355055407388899249814772360565616
        }, {
          "q" : 7647017384046838656128331583312816677181151,
          "value" : 4493354646051673506140091219856862041892984
        } ],
        "exponentTildeR" : {
          "q" : 7647017384046838656128331583312816677181151,
          "value" : 1354997269384819654194794096005017659127767
        },
        "exponentTildeS" : {
          "q" : 7647017384046838656128331583312816677181151,
          "value" : 3738170608614679703188403059589587940256255
        }
      },
      "iniHPA" : {
        "commitmentPublicB" : [ {
          "element" : {
            "value" : 9256844904751239190280292233480410468122098,
            "p" : 15294034768093677312256663166625633354362303,
            "q" : 7647017384046838656128331583312816677181151
          }
        }, {
          "element" : {
            "value" : 1857645376534809588145067319443900759135195,
            "p" : 15294034768093677312256663166625633354362303,
            "q" : 7647017384046838656128331583312816677181151
          }
        } ]
      },
      "ansHPA" : {
        "initial" : {
          "commitmentPublicA0" : {
            "element" : {
              "value" : 14017284052659234492019014501488604656837305,
              "p" : 15294034768093677312256663166625633354362303,
              "q" : 7647017384046838656128331583312816677181151
            }
          },
          "commitmentPublicBM" : {
            "element" : {
              "value" : 7515575228409149581763443361429934467906365,
              "p" : 15294034768093677312256663166625633354362303,
              "q" : 7647017384046838656128331583312816677181151
            }
          },
          "commitmentPublicD" : [ {
            "element" : {
              "value" : 9489162227995962789320451382329786219618431,
              "p" : 15294034768093677312256663166625633354362303,
              "q" : 7647017384046838656128331583312816677181151
            }
          }, {
            "element" : {
              "value" : 4889076328983737768979434063385815536042118,
              "p" : 15294034768093677312256663166625633354362303,
              "q" : 7647017384046838656128331583312816677181151
            }
          }, {
            "element" : {
              "value" : 3782631989506493571395234723418892431650080,
              "p" : 15294034768093677312256663166625633354362303,
              "q" : 7647017384046838656128331583312816677181151
            }
          }, {
            "element" : {
              "value" : 1,
              "p" : 15294034768093677312256663166625633354362303,
              "q" : 7647017384046838656128331583312816677181151
            }
          }, {
            "element" : {
              "value" : 13182418003662729821425300670960328554641063,
              "p" : 15294034768093677312256663166625633354362303,
              "q" : 7647017384046838656128331583312816677181151
            }
          } ]
        },
        "answer" : {
          "exponentsA" : [ {
            "q" : 7647017384046838656128331583312816677181151,
            "value" : 5427765002411665207103028812689136507073120
          }, {
            "q" : 7647017384046838656128331583312816677181151,
            "value" : 5866561943384277043911724799626357219119837
          } ],
          "exponentsB" : [ {
            "q" : 7647017384046838656128331583312816677181151,
            "value" : 1328831542182132794140315983555570105582113
          }, {
            "q" : 7647017384046838656128331583312816677181151,
            "value" : 2094306994419475451213355387777570099523040
          } ],
          "exponentR" : {
            "q" : 7647017384046838656128331583312816677181151,
            "value" : 6715256392542814143044662920419601900069194
          },
          "exponentS" : {
            "q" : 7647017384046838656128331583312816677181151,
            "value" : 5050277813597792509543307599267377027840882
          },
          "exponentT" : {
            "q" : 7647017384046838656128331583312816677181151,
            "value" : 2323699355351835670351487345539626172476706
          }
        }
      }
    },
    "iniMEBasic" : {
      "commitmentPublicA0" : {
        "element" : {
          "value" : 8140883804511527211848601638409036575763452,
          "p" : 15294034768093677312256663166625633354362303,
          "q" : 7647017384046838656128331583312816677181151
        }
      },
      "commitmentPublicB" : [ {
        "element" : {
          "value" : 12677174590714927975992292060308673928909601,
          "p" : 15294034768093677312256663166625633354362303,
          "q" : 7647017384046838656128331583312816677181151
        }
      }, {
        "element" : {
          "value" : 13750921665499811167795719843206888994827771,
          "p" : 15294034768093677312256663166625633354362303,
          "q" : 7647017384046838656128331583312816677181151
        }
      }, {
        "element" : {
          "value" : 1,
          "p" : 15294034768093677312256663166625633354362303,
          "q" : 7647017384046838656128331583312816677181151
        }
      }, {
        "element" : {
          "value" : 1597259658597319316366709673585474938628997,
          "p" : 15294034768093677312256663166625633354362303,
          "q" : 7647017384046838656128331583312816677181151
        }
      } ],
      "ciphertextsE" : [ {
        "gamma" : "3336146937099309094595479612213974657715748;15294034768093677312256663166625633354362303;7647017384046838656128331583312816677181151",
        "phis" : "2449130554676320405772754856973422354410979;15294034768093677312256663166625633354362303;7647017384046838656128331583312816677181151"
      }, {
        "gamma" : "1357467814375269533380371965023367780992308;15294034768093677312256663166625633354362303;7647017384046838656128331583312816677181151",
        "phis" : "4944474899212713389335823385237965120796748;15294034768093677312256663166625633354362303;7647017384046838656128331583312816677181151"
      }, {
        "gamma" : "1;15294034768093677312256663166625633354362303;7647017384046838656128331583312816677181151",
        "phis" : "12498420619291728485042406324608708219447593;15294034768093677312256663166625633354362303;7647017384046838656128331583312816677181151"
      }, {
        "gamma" : "10096179232613308934358026239482718306175109;15294034768093677312256663166625633354362303;7647017384046838656128331583312816677181151",
        "phis" : "11494468609495425694566074444047854680936252;15294034768093677312256663166625633354362303;7647017384046838656128331583312816677181151"
      } ]
    },
    "ansMEBasic" : {
      "exponentsA" : [ {
        "q" : 7647017384046838656128331583312816677181151,
        "value" : 2388501870119749412138369019440304981955053
      }, {
        "q" : 7647017384046838656128331583312816677181151,
        "value" : 1826967192013227313819391285749940433268381
      } ],
      "exponentR" : {
        "q" : 7647017384046838656128331583312816677181151,
        "value" : 7269667973018668440967069518540106684241356
      },
      "exponentsB" : {
        "q" : 7647017384046838656128331583312816677181151,
        "value" : 7382194830550256170522008811234690229688497
      },
      "exponentS" : {
        "q" : 7647017384046838656128331583312816677181151,
        "value" : 3192786585807565827666175254703441632166101
      },
      "randomnessTau" : {
        "class" : "com.scytl.products.ov.mixnet.commons.homomorphic.impl.GjosteenElGamalRandomness",
        "randomnessValue" : {
          "q" : 7647017384046838656128331583312816677181151,
          "value" : 7312966931808455907809427232419069695171255
        }
      }
    }
  }
}