third_party/wycheproof_testvectors/mlkem_512_test.json

{
  "algorithm": "ML-KEM",
  "schema": "mlkem_test_schema.json",
  "numberOfTests": 9,
  "notes": {
    "Strcmp": {
      "bugType": "CAN_OF_WORMS",
      "description": "In ML-KEM.Decaps the ciphertext is compared with the output of K-PKE.Encrypt for implicit rejection. If an implementation were to use strcmp() for that comparison it would fail to reject some ciphertexts if a zero byte terminates the comparison early. The chance of it occurring randomly is 2⁻¹⁶. These vectors are valid and test that the implicit rejection path is taken as expected."
    },
    "ModulusOverflow": {
      "bugType": "CAN_OF_WORMS",
      "description": "These encapsulation keys have polynomial coefficients that overflow the field prime and should fail the Modulus check of Section 7.2 of FIPS 203."
    }
  },
  "testGroups": [
    {
      "type": "MLKEMTest",
      "source": {
        "name": "CCTV/strcmp",
        "version": "0.1"
      },
      "parameterSet": "ML-KEM-512",
      "tests": [
        {
          "tcId": 1,
          "flags": [
            "Strcmp"
          ],
          "seed": "a3896e30892230a6c1dff667f8caee759ff84a08e3462ae484fcbca9971d7959cdc6c5ec65f10a5a24b5145aac863232ee3b2229ca3a6c4b9c8a2dafc315d9d4",
          "ek": "871b108fd980108768612345f2fc7317216f55576f914c3ede67878ea89046d636572ca78fd67a4efc9b68e462853b2ae8dab001b6059c390916fccf45bba50b85b7e12504ef931c52030a4efb31ce978866ea0bece660b16700d9ca4fb8eca335cb2395478e6bf845eba6161765c479e0a3c0b64773b0a8f9191789e0b939cbbce7f80317e569a96c7c3ba2596aabca4298c2383ab539a05232f990af03b936d18cb6378363523ccdb75ef237ccf9774776ba0e219c97726c6f82b3168e49081d7b358f6c2dda287796a99775e60de716ae28385b8270451b3a2b8dbb267a8a37266c70718ac30303cad7e5908d0b09897bbfb18c25975bc9f46909df4b3451dbca7a3498eb253bb4246721685b762086b903b6f6a86b2db894cd59567ac9b18a82c5fa67306ef3cd7aa5c82d46aa73111f837c2eadca7b1bf6ba81f769e0530d44b21f5ab161a159014c14ad7292b638b86e548a5c0de9300df1416e619afbb01a77588cd3e1a17546be6af108f8d3ad87429f6dba298d8119a4594310f874def0a9f3f5a20748cde73218e91b428a629e6cb24e611300d9155f6d16c6398b7d2615a0bf486b9ac1c32be69b2212baff1c5ccbb0c247075536f2bc28caa954064bf5f3963060ada289ab5a58628959347356a7ba4c84051a65547a3b56a738eb9acc0d62213cf1291006a502ec7296b42e989905a08393278480290887958c4155a975d37194d25b146344b012318a3aa98060c64946191a871408f6a0917cab9227b956e4dc8081c96b50927944381631237302a0c960a33678a268f2139ca0b5b44203863cba6d2ab37c78b369a4ba5256e173a274567b536cb0d5b6d47b3d8ad738fc022792112a4ca09389b9c1317b2342a5c4a444c73f36468529806842b5297482fb001ceb28b1be8299e612985957bf7ac16cf7e609fe532a33f25690186616762c680b1cb1e986c5f55c37a49bc32219faa8ada839937ac56f7587ac51a12abfc8be413a9b915b4c455ab1e2dba776dc8633083646f7cd95437b129095e75510dff58fa4cc6c3f4531211a3a161418b7da4e6ec8388b0197993898783d963d109590d4ac0092189baabef63fcc3df15b0ab3099078c9580b198e11",
          "c": "00ec7fcdb617629fead7f43cf59a7d3a0b946b5c5f472407812c15c44249e52974483eb31fb6ce5e15728708ef24f78bb61bb5c8b6ebb4e8a96e5b898e069c499c44a57efb0907234597e810f4de40d85d6eacd775b83400937ac863cfe5d406469b8d3ca4f6dbe0aced60fbecb32588f1ddaaa08ba5c5b177ab51b548d8ae2218eb2d9b02b31cb4bb6e7754b6a74856316ad3e0394025f750412023a74ab851fc03171cada993c6469fa254b5d384edab1efe8f2efb6eba37c7ba7434bb243331938849114ad398cf91038fb96c30a712f47e1c7183956838d487016f023bd9900a94c606edaa42bf0e67f2aedd03f5a581e55af29e24af061ba73da64c3869d7598a0c95c3c8330ecb4481cab2c85ccaaa366f99f3bafc980362f4d701a233d0967ded78e4f1874b42cda774b888d31f1671d6567d1636d5b2bcc117e2a256f343541c3e173e900b6d6c71bcd55479d23dee6b54e2fe32303c7955fa5f567894605ed75e65e54858222c0d065ba9231fcd82ab86af63c242d10d1d30b4176e2bb8169fbd7f03cfa044098853382083284ef8cecf05f9d0bd3d9af84f6df551e3d11e9281794d36a619f61e47901ea0dd695782241250f0b5c2a20d76d3afefcb11d015179d6a9a74121c448e315f507cb29add40da4eb05cae27320c4b18a25d7af24ac7b0bdf7382143d4d02db3e7d016f9ff5638e0df7968f785ac8000c7545a1a70d6fd43cc3ba28d82e9eb6ccb391e094ba85a49ad6e9f8fd8faa9954062a5df13c69847bee485bc6624b40b8128fe911231b4ef9b4a22ced4f8140df65a5b8180665128273fde02955a65921f0d1be139fbe1edf0ac01db1d2a5ffd95d63d33b0a7627cab4bcd37647238c80197d4fa88a7e34d4caa066dba2ae6fefff6a1e804a72d49ed443c29b2db313fdf25d98d0dee992befc4572f8b1eee0db7227b6e202ef69ea8340ae3690fc064d3edfd8d067934db3061767e4857e805e888294efa7248743fcaa1e01acdaf491de408c58869bc9624c951103c079793be1edfa9442df4dece40eabb99e9b01410fc0108b26a13cd424cd9a9de5bafa1fc",
          "K": "cf3bcfeb2679cb43658fcdcd01aa1505bcea1e72a165ccac7bfb66d9dc0c0e90",
          "result": "valid"
        }
      ]
    },
    {
      "type": "MLKEMEncapsTest",
      "source": {
        "name": "CCTV/modulus",
        "version": "0.1"
      },
      "parameterSet": "ML-KEM-512",
      "tests": [
        {
          "tcId": 2,
          "flags": [
            "ModulusOverflow"
          ],
          "m": "42424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242",
          "ek": "012d0964f73d10775357e83c3b7a2249cc1b37e1cd0868489a265573f0ab48a82de563ac11a25fe312be3799701920974c3ace4c45072e7c726a51b58e110ba74b3cf23208d006354565a03c7235ad47ae3ff35ef8d7b5fda9c844362371320208663fbd724b1a83c87f929f66e8ab55a53e2a9411c2c30ef66aa2a323c686e825f2ccb92ed792d317969515a5a4f95803577c273c745f94aec7fb060102607bb7555486808e509e8bfc70cf42409e4c6d439a2c96c05dfc6404d65c128f594fa6049f5ba53d27a712f459ccd391bd9506c611d90ab80120e5b4c9cea5b1cd6b1e7efc8b0b54020068b209648681a2afbc875b44478aaa1c70e06c75854a674fd86487b37a66d0078fa53dfdc3a50be51709c2bae9a03392446c777344a3664ac2177ab7412b33ea68b8b0015b9c540850594eeb6043e7b0d7d8912ab6750331072e165bfdd201c3598a6aca457b36147afc97979c4056da81e9ec0389d959cc863dc6564f03b460ea7375ebcb4b39968a4c95ad355a9b65d684325096f28ace3faaa060875f046081ab17b1ef24103eb7b3b838c6122cb44496a61a2b8875242d49a5ace3e362881632119554fec502ad322cc9a7263812b40db6ac1a6762ec3a16e575248cf3b214321557052ea7ab55f3f40dd8107fc275cbee181d153784186a9bc6558b77f0478bc54c47535a22fc8ecd273b84e9c5acbb8d8387af4113ac88777cb9d6622f156c10744f35e99341c11b9ab12a98f13ef5914a84d94848b45ea44802a04454f6459d5bfb6208c77dba176ef5807274b8918c9a7a5c8500f15567677a5d08a78b51d07b219958bfca57a3dbad20a25e565302e3302d582515d8e444ddd6060e889f0ecb80934716ee6670c13362ab845ab56a826e199ccd38a6bc2bceecc14202826c31a353c94b61b7087e0fa2abe971705c1c1c50568cada9c727116297538993f6aa4709646985b915382ef31984399ab4e46902b01b4e196ca7aa640e499c44eef03d515194bba95e77fb998afc33697256755062f0079ac97b1dedd7557ce5c805b6b838a87e6523398f55059b316bb277a425d056b0611203959deb8480f9bd1d3fd6a0d8b48a3a48b94069b9562f156a431ddf9f",
          "c": "",
          "K": "",
          "result": "invalid"
        },
        {
          "tcId": 3,
          "flags": [
            "ModulusOverflow"
          ],
          "m": "42424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242",
          "ek": "5e240964f73d10775357e83c3b7a2249cc1b37e1cd0868489a265573f0ab48a82de563ac11a25fe312be3799701920974c3ace4c45072e7c726a51b58e110ba74b3cf23208d006354565a03c7235ad47ae3ff35ef8d7b5fda9c844362371320208663fbd724b1a83c87f929f66e8ab55a53e2a9411c2c30ef66aa2a323c686e825f2ccb92ed792d317969515a5a4f95803577c273c745f94aec7fb060102607bb7555486808e509e8bfc70cf42409e4c6d439a2c96c05dfc6404d65c128f594fa6049f5ba53d27a712f459ccd391bd9506c611d90ab80120e5b4c9cea5b1cd6b1e7efc8b0b54020068b209648681a2afbc875b44478aaa1c70e06c75854a674fd86487b37a66d0078fa53dfdc3a50be51709c2bae9a03392446c777344a3664ac2177ab7412b33ea68b8b0015b9c540850594eeb6043e7b0d7d8912ab6750331072e165bfdd201c3598a6aca457b36147afc97979c4056da81e9ec0389d959cc863dc6564f03b460ea7375ebcb4b39968a4c95ad355a9b65d684325096f21ad03faaa060875f046081ab17b1ef24103eb7b3b838c6122cb44496a61a2b8875242d49a5ace3e362881632119554fec502ad322cc9a7263812b40db6ac1a6762ec3a16e575248cf3b214321557052ea7ab55f3f40dd8107fc275cbee181d153784186a9bc6558b77f0478bc54c47535a22fc8ecd273b84e9c5acbb8d8387af4113ac88777cb9d6622f156c10744f35e99341c11b9ab12a98f13ef5914a84d94848b45ea44802a04454f6459d5bfb6208c77dba176ef5807274b8918c9a7a5c8500f15567677a5d08a78b51d07b219958bfca57a3dbad20a25e565302e3302d582515d8e444ddd6060e889f0ecb80934716ee6670c13362ab845ab56a826e199ccd38a6bc2bceecc14202826c31a353c94b61b7087e0fa2abe971705c1c1c50568cada9c727116297538993f6aa4709646985b915382ef31984399ab4e46902b01b4e196ca7aa640e499c44eef03d515194bba95e77fb998afc33697256755062f0079ac97b1dedd7557ce5c805b6b838a87e6523398f55059b316bb277a425d056b0611203959deb8480f9bd1d3fd6a0d8b48a3a48b94069b9562f156a431ddf9f",
          "c": "",
          "K": "",
          "result": "invalid"
        },
        {
          "tcId": 4,
          "flags": [
            "ModulusOverflow"
          ],
          "m": "42424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242",
          "ek": "ff2f0964f73d10775357e83c3b7a2249cc1b37e1cd0868489a265573f0ab48a82de563ac11a25fe312be3799701920974c3ace4c45072e7c726a51b58e110ba74b3cf23208d006354565a03c7235ad47ae3ff35ef8d7b5fda9c844362371320208663fbd724b1a83c87f929f66e8ab55a53e2a9411c2c30ef66aa2a323c686e825f2ccb92ed792d317969515a5a4f95803577c273c745f94aec7fb060102607bb7555486808e509e8bfc70cf42409e4c6d439a2c96c05dfc6404d65c128f594fa6049f5ba53d27a712f459ccd391bd9506c611d90ab80120e5b4c9cea5b1cd6b1e7efc8b0b54020068b209648681a2afbc875b44478aaa1c70e06c75854a674fd86487b37a66d0078fa53dfdc3a50be51709c2bae9a03392446c777344a3664ac2177ab7412b33ea68b8b0015b9c540850594eeb6043e7b0d7d8912ab6750331072e165bfdd201c3598a6aca457b36147afc97979c4056da81e9ec0389d959cc863dc6564f03b460ea7375ebcb4b39968a4c95ad355a9b65d684325096f28ace3faaa060875f046081ab17b1ef24103eb7b3b838c6122cb44496a61a2b8875242d49a5ace3e362881632119554fec502ad322cc9a7263812b40db6ac1a6762ec3a16e575248cf3b214321557052ea7ab55f3f40dd8107fc275cbee181d153784186a9bc6558b77f0478bc54c47535a22fc8ecd273b84e9c5acbb8d8387af4113ac88777cb9d6622f156c10744f35e99341c11b9ab12a98f13ef5914a84d94848b45ea44802a04454f6459d5bfb6208c77dba176ef5807274b8918c9a7a5c8500f15567677a5d08a78b51d07b219958bfca57a3dbad20a25e565302e3302d582515d8e444ddd6060e889f0ecb80934716ee6670c13362ab845ab56a826e199ccd38a6bc2bceecc14202826c31a353c94b61b7087e0fa2abe971705c1c1c50568cada9c727116297538993f6aa4709646985b915382ef31984399ab4e46902b01b4e196ca7aa640e499c44eef03d515194bba95e77fb998afc33697256755062f0079ac97b1dedd7557ce5c805b6b838a87e6523398f55059b316bb277a425d056b0611203959deb8480f9bd1d3fd6a0d8b48a3a48b94069b9562f156a431ddf9f",
          "c": "",
          "K": "",
          "result": "invalid"
        },
        {
          "tcId": 5,
          "flags": [
            "ModulusOverflow"
          ],
          "m": "42424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242",
          "ek": "5e240964f73d10775357e83c3b7a2249cc1b37e1cd0868489a265573f0ab48a82de563ac11a25fe312be3799701920974c3ace4c45072e7c726a51b58e110ba74b3cf23208d006354565a03c7235ad47ae3ff35ef8d7b5fda9c844362371320208663fbd724b1a83c87f929f66e8ab55a53e2a9411c2c30ef66aa2a323c686e825f2ccb92ed792d317969515a5a4f95803577c273c745f94aec7fb060102607bb7555486808e509e8bfc70cf42409e4c6d439a2c96c05dfc6404d65c128f594fa6049f5ba53d27a712f459ccd391bd9506c611d90ab80120e5b4c9cea5b1cd6b1e7efc8b0b54020068b209648681a2afbc875b44478aaa1c70e06c75854a674fd86487b37a66d0078fa53dfdc3a50be51709c2bae9a03392446c777344a3664ac2177ab7412b33ea68b8b0015b9c540850594eeb6043e7b0d7d8912ab6750331072e165bfdd201c3598a6aca457b36147afc97979c4056da81e9ec0389d959cc863dc6564f03b460ea7375ebcb4b39968a4c95ad355a9b65d684325096f2faff3faaa060875f046081ab17b1ef24103eb7b3b838c6122cb44496a61a2b8875242d49a5ace3e362881632119554fec502ad322cc9a7263812b40db6ac1a6762ec3a16e575248cf3b214321557052ea7ab55f3f40dd8107fc275cbee181d153784186a9bc6558b77f0478bc54c47535a22fc8ecd273b84e9c5acbb8d8387af4113ac88777cb9d6622f156c10744f35e99341c11b9ab12a98f13ef5914a84d94848b45ea44802a04454f6459d5bfb6208c77dba176ef5807274b8918c9a7a5c8500f15567677a5d08a78b51d07b219958bfca57a3dbad20a25e565302e3302d582515d8e444ddd6060e889f0ecb80934716ee6670c13362ab845ab56a826e199ccd38a6bc2bceecc14202826c31a353c94b61b7087e0fa2abe971705c1c1c50568cada9c727116297538993f6aa4709646985b915382ef31984399ab4e46902b01b4e196ca7aa640e499c44eef03d515194bba95e77fb998afc33697256755062f0079ac97b1dedd7557ce5c805b6b838a87e6523398f55059b316bb277a425d056b0611203959deb8480f9bd1d3fd6a0d8b48a3a48b94069b9562f156a431ddf9f",
          "c": "",
          "K": "",
          "result": "invalid"
        },
        {
          "tcId": 6,
          "flags": [
            "ModulusOverflow"
          ],
          "m": "42424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242",
          "ek": "5e240964f73d10775357e83c3b7a2249cc1b37e1cd0868489a265573f0ab48a82de563ac11a25fe312be3799701920974c3ace4c45072e7c726a51b58e110ba74b3cf23208d006354565a03c7235ad47ae3ff35ef8d7b5fda9c844362371320208663fbd724b1a83c87f929f66e8ab55a53e2a9411c2c30ef66aa2a323c686e825f2ccb92ed792d317969515a5a4f95803577c273c745f94aec7fb060102607bb7555486808e509e8bfc70cf42409e4c6d439a2c96c05dfc6404d65c128f594fa6049f5ba53d27a712f459ccd391bd9506c611d90ab80120e5b4c9cea5b1cd6b1e7efc8b0b54020068b209648681a2afbc875b44478aaa1c70e06c75854a674fd86487b37a66d0078fa53dfdc3a50be51709c2bae9a03392446c777344a3664ac2177ab7412b33ea68b8b0015b9c540850594eeb6043e7b0d7d8912ab6750331072e165bfdd201c3598a6aca457b36147afc97979c4056da81e9ec0389d959cc863dc6564f03b460ea7375ebcb4b39968a4c95ad355a9b65d684325096f28ace01ada060875f046081ab17b1ef24103eb7b3b838c6122cb44496a61a2b8875242d49a5ace3e362881632119554fec502ad322cc9a7263812b40db6ac1a6762ec3a16e575248cf3b214321557052ea7ab55f3f40dd8107fc275cbee181d153784186a9bc6558b77f0478bc54c47535a22fc8ecd273b84e9c5acbb8d8387af4113ac88777cb9d6622f156c10744f35e99341c11b9ab12a98f13ef5914a84d94848b45ea44802a04454f6459d5bfb6208c77dba176ef5807274b8918c9a7a5c8500f15567677a5d08a78b51d07b219958bfca57a3dbad20a25e565302e3302d582515d8e444ddd6060e889f0ecb80934716ee6670c13362ab845ab56a826e199ccd38a6bc2bceecc14202826c31a353c94b61b7087e0fa2abe971705c1c1c50568cada9c727116297538993f6aa4709646985b915382ef31984399ab4e46902b01b4e196ca7aa640e499c44eef03d515194bba95e77fb998afc33697256755062f0079ac97b1dedd7557ce5c805b6b838a87e6523398f55059b316bb277a425d056b0611203959deb8480f9bd1d3fd6a0d8b48a3a48b94069b9562f156a431ddf9f",
          "c": "",
          "K": "",
          "result": "invalid"
        },
        {
          "tcId": 7,
          "flags": [
            "ModulusOverflow"
          ],
          "m": "42424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242",
          "ek": "5e240964f73d10775357e83c3b7a2249cc1b37e1cd0868489a265573f0ab48a82de563ac11a25fe312be3799701920974c3ace4c45072e7c726a51b58e110ba74b3cf23208d006354565a03c7235ad47ae3ff35ef8d7b5fda9c844362371320208663fbd724b1a83c87f929f66e8ab55a53e2a9411c2c30ef66aa2a323c686e825f2ccb92ed792d317969515a5a4f95803577c273c745f94aec7fb060102607bb7555486808e509e8bfc70cf42409e4c6d439a2c96c05dfc6404d65c128f594fa6049f5ba53d27a712f459ccd391bd9506c611d90ab80120e5b4c9cea5b1cd6b1e7efc8b0b54020068b209648681a2afbc875b44478aaa1c70e06c75854a674fd86487b37a66d0078fa53dfdc3a50be51709c2bae9a03392446c777344a3664ac2177ab7412b33ea68b8b0015b9c540850594eeb6043e7b0d7d8912ab6750331072e165bfdd201c3598a6aca457b36147afc97979c4056da81e9ec0389d959cc863dc6564f03b460ea7375ebcb4b39968a4c95ad355a9b65d684325096f28ace3faaa060875f046081ab17b1ef24103eb7b3b838c6122cb44496a61a2b8875242d49a5ace3e362881632119554fec502ad322cc9a7263812b40db6ac1a6762ec3a16e575248cf3b214321557052ea7ab55f3f40dd8107fc275cbee181d153784186a9bc6558b77f0478bc54c47535a22fc8ecd273b84e9c5acbb8d8387af4113ac88777cb9d6622f156c10744f35e99341c11b9ab12a98f13ef5914a84d94848b45ea44802a04454f6459d5bfb6208c77dba176ef5807274b8918c9a7a5c8500f15567677a5d08a78b51d07b219958bfca57a3dbad20a25e565302e3302d582515d8e444ddd6060e889f0ecb80934716ee6670c13362ab845ab56a826e199ccd38a6bc2bceecc14202826c31a353c94b61b7087e0fa2abe971705c1c1c50568cada9c727116297538993f6aa4709646985b915382ef31984399ab4e46902b01b4e196ca7aa640e499c44eef03d515194bba95e77fb998afc33697256755062f0079ac97b1dedd7557ce5c805b6b838a87e6523398f55059b316bb277a42510d0b0611203959deb8480f9bd1d3fd6a0d8b48a3a48b94069b9562f156a431ddf9f",
          "c": "",
          "K": "",
          "result": "invalid"
        },
        {
          "tcId": 8,
          "flags": [
            "ModulusOverflow"
          ],
          "m": "42424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242",
          "ek": "5e240964f73d10775357e83c3b7a2249cc1b37e1cd0868489a265573f0ab48a82de563ac11a25fe312be3799701920974c3ace4c45072e7c726a51b58e110ba74b3cf23208d006354565a03c7235ad47ae3ff35ef8d7b5fda9c844362371320208663fbd724b1a83c87f929f66e8ab55a53e2a9411c2c30ef66aa2a323c686e825f2ccb92ed792d317969515a5a4f95803577c273c745f94aec7fb060102607bb7555486808e509e8bfc70cf42409e4c6d439a2c96c05dfc6404d65c128f594fa6049f5ba53d27a712f459ccd391bd9506c611d90ab80120e5b4c9cea5b1cd6b1e7efc8b0b54020068b209648681a2afbc875b44478aaa1c70e06c75854a674fd86487b37a66d0078fa53dfdc3a50be51709c2bae9a03392446c777344a3664ac2177ab7412b33ea68b8b0015b9c540850594eeb6043e7b0d7d8912ab6750331072e165bfdd201c3598a6aca457b36147afc97979c4056da81e9ec0389d959cc863dc6564f03b460ea7375ebcb4b39968a4c95ad355a9b65d684325096f28aceffafa060875f046081ab17b1ef24103eb7b3b838c6122cb44496a61a2b8875242d49a5ace3e362881632119554fec502ad322cc9a7263812b40db6ac1a6762ec3a16e575248cf3b214321557052ea7ab55f3f40dd8107fc275cbee181d153784186a9bc6558b77f0478bc54c47535a22fc8ecd273b84e9c5acbb8d8387af4113ac88777cb9d6622f156c10744f35e99341c11b9ab12a98f13ef5914a84d94848b45ea44802a04454f6459d5bfb6208c77dba176ef5807274b8918c9a7a5c8500f15567677a5d08a78b51d07b219958bfca57a3dbad20a25e565302e3302d582515d8e444ddd6060e889f0ecb80934716ee6670c13362ab845ab56a826e199ccd38a6bc2bceecc14202826c31a353c94b61b7087e0fa2abe971705c1c1c50568cada9c727116297538993f6aa4709646985b915382ef31984399ab4e46902b01b4e196ca7aa640e499c44eef03d515194bba95e77fb998afc33697256755062f0079ac97b1dedd7557ce5c805b6b838a87e6523398f55059b316bb277a425d056b0611203959deb8480f9bd1d3fd6a0d8b48a3a48b94069b9562f156a431ddf9f",
          "c": "",
          "K": "",
          "result": "invalid"
        },
        {
          "tcId": 9,
          "flags": [
            "ModulusOverflow"
          ],
          "m": "42424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242424242",
          "ek": "5e240964f73d10775357e83c3b7a2249cc1b37e1cd0868489a265573f0ab48a82de563ac11a25fe312be3799701920974c3ace4c45072e7c726a51b58e110ba74b3cf23208d006354565a03c7235ad47ae3ff35ef8d7b5fda9c844362371320208663fbd724b1a83c87f929f66e8ab55a53e2a9411c2c30ef66aa2a323c686e825f2ccb92ed792d317969515a5a4f95803577c273c745f94aec7fb060102607bb7555486808e509e8bfc70cf42409e4c6d439a2c96c05dfc6404d65c128f594fa6049f5ba53d27a712f459ccd391bd9506c611d90ab80120e5b4c9cea5b1cd6b1e7efc8b0b54020068b209648681a2afbc875b44478aaa1c70e06c75854a674fd86487b37a66d0078fa53dfdc3a50be51709c2bae9a03392446c777344a3664ac2177ab7412b33ea68b8b0015b9c540850594eeb6043e7b0d7d8912ab6750331072e165bfdd201c3598a6aca457b36147afc97979c4056da81e9ec0389d959cc863dc6564f03b460ea7375ebcb4b39968a4c95ad355a9b65d684325096f28ace3faaa060875f046081ab17b1ef24103eb7b3b838c6122cb44496a61a2b8875242d49a5ace3e362881632119554fec502ad322cc9a7263812b40db6ac1a6762ec3a16e575248cf3b214321557052ea7ab55f3f40dd8107fc275cbee181d153784186a9bc6558b77f0478bc54c47535a22fc8ecd273b84e9c5acbb8d8387af4113ac88777cb9d6622f156c10744f35e99341c11b9ab12a98f13ef5914a84d94848b45ea44802a04454f6459d5bfb6208c77dba176ef5807274b8918c9a7a5c8500f15567677a5d08a78b51d07b219958bfca57a3dbad20a25e565302e3302d582515d8e444ddd6060e889f0ecb80934716ee6670c13362ab845ab56a826e199ccd38a6bc2bceecc14202826c31a353c94b61b7087e0fa2abe971705c1c1c50568cada9c727116297538993f6aa4709646985b915382ef31984399ab4e46902b01b4e196ca7aa640e499c44eef03d515194bba95e77fb998afc33697256755062f0079ac97b1dedd7557ce5c805b6b838a87e6523398f55059b316bb277a425f0ffb0611203959deb8480f9bd1d3fd6a0d8b48a3a48b94069b9562f156a431ddf9f",
          "c": "",
          "K": "",
          "result": "invalid"
        }
      ]
    }
  ]
}