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

{
  "initialMessage" : [ {
    "element" : {
      "value" : 303842726782477875242759263157127528264350,
      "p" : 15294034768093677312256663166625633354362303,
      "q" : 7647017384046838656128331583312816677181151
    }
  }, {
    "element" : {
      "value" : 11659242704527572945798719114646766962176622,
      "p" : 15294034768093677312256663166625633354362303,
      "q" : 7647017384046838656128331583312816677181151
    }
  } ],
  "firstAnswer" : [ {
    "element" : {
      "value" : 778961555538900025634918598762301228204022,
      "p" : 15294034768093677312256663166625633354362303,
      "q" : 7647017384046838656128331583312816677181151
    }
  }, {
    "element" : {
      "value" : 8936582124021882446323731905103436060642142,
      "p" : 15294034768093677312256663166625633354362303,
      "q" : 7647017384046838656128331583312816677181151
    }
  } ],
  "secondAnswer" : {
    "msgPA" : {
      "commitmentPublicB" : {
        "element" : {
          "value" : 4277501158944991354761939399357623029141257,
          "p" : 15294034768093677312256663166625633354362303,
          "q" : 7647017384046838656128331583312816677181151
        }
      },
      "iniSVA" : {
        "commitmentPublicD" : {
          "element" : {
            "value" : 2138458177652348805644835079194881703514017,
            "p" : 15294034768093677312256663166625633354362303,
            "q" : 7647017384046838656128331583312816677181151
          }
        },
        "commitmentPublicLowDelta" : {
          "element" : {
            "value" : 13884611855667141299605993999031015873529688,
            "p" : 15294034768093677312256663166625633354362303,
            "q" : 7647017384046838656128331583312816677181151
          }
        },
        "commitmentPublicHighDelta" : {
          "element" : {
            "value" : 7202104855370552979810745056616797993870116,
            "p" : 15294034768093677312256663166625633354362303,
            "q" : 7647017384046838656128331583312816677181151
          }
        }
      },
      "ansSVA" : {
        "exponentsTildeA" : [ {
          "q" : 7647017384046838656128331583312816677181151,
          "value" : 3703384104782392650613377056512885793407503
        }, {
          "q" : 7647017384046838656128331583312816677181151,
          "value" : 2399287754769777852221094247967866612320174
        } ],
        "exponentsTildeB" : [ {
          "q" : 7647017384046838656128331583312816677181151,
          "value" : 3703384104782392650613377056512885793407503
        }, {
          "q" : 7647017384046838656128331583312816677181151,
          "value" : 6269365802055719774898026303592213700697291
        } ],
        "exponentTildeR" : {
          "q" : 7647017384046838656128331583312816677181151,
          "value" : 5346308280451636561330553670557867752311546
        },
        "exponentTildeS" : {
          "q" : 7647017384046838656128331583312816677181151,
          "value" : 4012725041075402778366930820877355971591811
        }
      },
      "iniHPA" : {
        "commitmentPublicB" : [ {
          "element" : {
            "value" : 9599143890526168083063704729474790092348929,
            "p" : 15294034768093677312256663166625633354362303,
            "q" : 7647017384046838656128331583312816677181151
          }
        }, {
          "element" : {
            "value" : 4277501158944991354761939399357623029141257,
            "p" : 15294034768093677312256663166625633354362303,
            "q" : 7647017384046838656128331583312816677181151
          }
        } ]
      },
      "ansHPA" : {
        "initial" : {
          "commitmentPublicA0" : {
            "element" : {
              "value" : 12147589225588383406100649293491156257989028,
              "p" : 15294034768093677312256663166625633354362303,
              "q" : 7647017384046838656128331583312816677181151
            }
          },
          "commitmentPublicBM" : {
            "element" : {
              "value" : 4541081311967626700912317379744058012285849,
              "p" : 15294034768093677312256663166625633354362303,
              "q" : 7647017384046838656128331583312816677181151
            }
          },
          "commitmentPublicD" : [ {
            "element" : {
              "value" : 7490528551125606784494389986510145538268637,
              "p" : 15294034768093677312256663166625633354362303,
              "q" : 7647017384046838656128331583312816677181151
            }
          }, {
            "element" : {
              "value" : 1599718014085248405970518874222340958059358,
              "p" : 15294034768093677312256663166625633354362303,
              "q" : 7647017384046838656128331583312816677181151
            }
          }, {
            "element" : {
              "value" : 8892805497557649066250950041502426698438860,
              "p" : 15294034768093677312256663166625633354362303,
              "q" : 7647017384046838656128331583312816677181151
            }
          }, {
            "element" : {
              "value" : 1,
              "p" : 15294034768093677312256663166625633354362303,
              "q" : 7647017384046838656128331583312816677181151
            }
          }, {
            "element" : {
              "value" : 6290563905837385560518345347981195718382829,
              "p" : 15294034768093677312256663166625633354362303,
              "q" : 7647017384046838656128331583312816677181151
            }
          } ]
        },
        "answer" : {
          "exponentsA" : [ {
            "q" : 7647017384046838656128331583312816677181151,
            "value" : 2982805403811355730317953011407519848501502
          }, {
            "q" : 7647017384046838656128331583312816677181151,
            "value" : 2743646096854534320019228357072529053912860
          } ],
          "exponentsB" : [ {
            "q" : 7647017384046838656128331583312816677181151,
            "value" : 6033376414483381153878609494728121148884799
          }, {
            "q" : 7647017384046838656128331583312816677181151,
            "value" : 7261616265973933270090553666518279281401481
          } ],
          "exponentR" : {
            "q" : 7647017384046838656128331583312816677181151,
            "value" : 2417887844273323996656593010121579177045572
          },
          "exponentS" : {
            "q" : 7647017384046838656128331583312816677181151,
            "value" : 4526770588053081955431713167815624293043828
          },
          "exponentT" : {
            "q" : 7647017384046838656128331583312816677181151,
            "value" : 7389411533966235535583008565028369337919151
          }
        }
      }
    },
    "iniMEBasic" : {
      "commitmentPublicA0" : {
        "element" : {
          "value" : 9401760153583208145090252577459254228204572,
          "p" : 15294034768093677312256663166625633354362303,
          "q" : 7647017384046838656128331583312816677181151
        }
      },
      "commitmentPublicB" : [ {
        "element" : {
          "value" : 9442414842470928916443848227913841398757662,
          "p" : 15294034768093677312256663166625633354362303,
          "q" : 7647017384046838656128331583312816677181151
        }
      }, {
        "element" : {
          "value" : 13523254227677285129350374429065071552602255,
          "p" : 15294034768093677312256663166625633354362303,
          "q" : 7647017384046838656128331583312816677181151
        }
      }, {
        "element" : {
          "value" : 1,
          "p" : 15294034768093677312256663166625633354362303,
          "q" : 7647017384046838656128331583312816677181151
        }
      }, {
        "element" : {
          "value" : 4479682068484803756669880693876353644298151,
          "p" : 15294034768093677312256663166625633354362303,
          "q" : 7647017384046838656128331583312816677181151
        }
      } ],
      "ciphertextsE" : [ {
        "gamma" : "11383958119490154289541529033575238477657341;15294034768093677312256663166625633354362303;7647017384046838656128331583312816677181151",
        "phis" : "2608564042755721256500581491076438445384361;15294034768093677312256663166625633354362303;7647017384046838656128331583312816677181151"
      }, {
        "gamma" : "4974763137379829713304970641113761428021376;15294034768093677312256663166625633354362303;7647017384046838656128331583312816677181151",
        "phis" : "5471163802520413883492505228729547592206655;15294034768093677312256663166625633354362303;7647017384046838656128331583312816677181151"
      }, {
        "gamma" : "1;15294034768093677312256663166625633354362303;7647017384046838656128331583312816677181151",
        "phis" : "3972685637770820047841394786586338645489663;15294034768093677312256663166625633354362303;7647017384046838656128331583312816677181151"
      }, {
        "gamma" : "14145824223134878123136114002782643799870958;15294034768093677312256663166625633354362303;7647017384046838656128331583312816677181151",
        "phis" : "4583434245826005074553772595242688597841858;15294034768093677312256663166625633354362303;7647017384046838656128331583312816677181151"
      } ]
    },
    "ansMEBasic" : {
      "exponentsA" : [ {
        "q" : 7647017384046838656128331583312816677181151,
        "value" : 2475973434398375069185036593294590458252147
      }, {
        "q" : 7647017384046838656128331583312816677181151,
        "value" : 1296539682510040666048584621908776790249012
      } ],
      "exponentR" : {
        "q" : 7647017384046838656128331583312816677181151,
        "value" : 6572773589978554762751536479057631664836327
      },
      "exponentsB" : {
        "q" : 7647017384046838656128331583312816677181151,
        "value" : 4720400950150954226706208739689978053554245
      },
      "exponentS" : {
        "q" : 7647017384046838656128331583312816677181151,
        "value" : 3260108408879721068564784190975797589645255
      },
      "randomnessTau" : {
        "class" : "com.scytl.products.ov.mixnet.commons.homomorphic.impl.GjosteenElGamalRandomness",
        "randomnessValue" : {
          "q" : 7647017384046838656128331583312816677181151,
          "value" : 3104614603568483463254697266094464648321125
        }
      }
    }
  }
}