| { |
| "algorithm": "ML-KEM", |
| "schema": "mlkem_semi_expanded_decaps_test_schema.json", |
| "numberOfTests": 9, |
| "notes": { |
| "IncorrectCiphertextLength": { |
| "bugType": "BASIC", |
| "description": "The ciphertext has incorrect length." |
| }, |
| "IncorrectDecapsulationKeyLength": { |
| "bugType": "BASIC", |
| "description": "The decapsulation key has incorrect length." |
| }, |
| "InvalidDecapsulationKey": { |
| "bugType": "BASIC", |
| "description": "The decapsulation key is invalid." |
| }, |
| "MalleableCiphertext": { |
| "bugType": "CAN_OF_WORMS", |
| "description": "The ciphertext is malleable." |
| } |
| }, |
| "testGroups": [ |
| { |
| "type": "MLKEMDecapsValidationTest", |
| "source": { |
| "name": "github/aws/aws-lc", |
| "version": "1.x" |
| }, |
| "parameterSet": "ML-KEM-512", |
| "tests": [ |
| { |
| "tcId": 1, |
| "comment": "Valid decapsulation key and ciphertext", |
| "dk": "87ca1993b64d8932ae3b225282a1b3c13765dcc1224c4377330a04ecec0b250540075382be37525312877d7769fd594fbd164282589dee5c0f2c147fc62a9542103c08bccca00582e9c52681fab879785b3e79496844b37bf526627a8a3cd8821f161d9299acc4a9b930326b6b673d16131df09894429068fc65a3e516220964c07d54034789beae614b13a1cdadbc205e363634411d5b3a26918075e0639dd635c92881a46efb9501118fcc18b39a9166a6376ceb714229ec71a4996d92979d94646ec3f05da5498f66a50a9ab9cf8520a728e1c21008725871563e7b4746817d74fab2b6f2a0e34a0a5e952b32f1072c305e818458f34234dbaac406cb6372fa0186e8cad7731dacd8646066b119b159ac7821ab9a62bfe81bd1dc7508a49e2254a836684bb722a3bc0409e2e94dcef546691a4780b2a5a024cf0d60959933ad6a587a56538644a83c1f92553f3a3b5f81aa0cc44b1ae3618ad05d2987b67d1c85a514b0de1c8d5cc15c04fc77ad035596e0a743b5959ad522ef135f149c0e7e56893733c900547eea324f0285cde59c25003badc2723a386695f9f4221f5019206a3103f89791f042bbc086de5693f2789bc9981647836755924e5afa5d88f9c8efa82134585fcabb5298bc5cf5a7aec5fc78f9a53016689d6217417a95cf27b66dae58a7288c8fc328ac06799d94c49dedb261f44486ec12c31397a78b9a632ef166088432f6153b91cacef74053a9281163a0232ec4442805010274cf9c3a1abc938a2ce89acae174620388c71220963c4d1079286f7ba81bfb5e5717cc6dd0728ab270a30a88035b885d35128eacc181cab72bb196f635cebb75ad0dd0ba4e435b31089332726358c5a27095128ff2c161eb22e94a65a5485d4c1178690b1f392b7f6377ad966b67809070572bbc689caab2d83cbfd64fc42865745484439a1c96500297c6cfb0b11d989a3294738894782d5f25055fa6967ac83adfa819b2535305f931dc586cd13a9b473b7d87e5b4b2d9962a59903cccaddca2578771c67e5a4998c89429307b0e019753183250739e144797bdcc22ab0295d7c532df17848677416e954d66f9b09e1281532a2e8f0c6abe0037e7e8119097c9ec845aa06985c088552c41b615173642c10251c06e91a25c243c0263b675c7207d58701d13a52eab92565ef1a1defbaefe4c0b03f50444a3be20b171310ba3f20852f3a2a18e7229407015646052d2e73abee318d755899c784a6fb5aab17c902cb68afa3657b9012e1bb8b6aac2689aa48c2d4262bb2963b06a242282541cf61419d90e2bd366bee7a4369b7241a66bf2645d8e904c3f7b300c041d5687393d2ca92975cbfdc018ddc60af562009eb0888e5a0576246ace745bb163408b5a9ae3c194a85c21907b37b1628ecd9a15ec20248730273444b0a2f454f9b4730f339150476ee07098f6bc1b97cc1bd3b8c1a2eb0e50a782f2115df617496f6c6f8c09b05f888d9e933d287746c631b3108726b0c4a7c88b09c860acd7523570c802bd387243162d128ca2294c834318cc21fb14d2ab373f224e3fd49843859509f4ca1a1a566c056788a3aa484aaabdf1a08f1b44c756ab2a0c8bc5851ee2eb23034c2eaa5ac15f89751bd5cae1d59089d5002bb1b3bfca4ade0982ad6783e9d37fb3e320ac9855df666bfd7c6b87a9a46e259712561161507e173598f988acb6f9ab3a109263244688c70878758ff4d4313b7664f0f510e913ca01c52b3a1b46535144e2db0cace8a6466600cf2a87835007e16aa507801d86b7385e669bfaf6ba1df5683163c2d570532fd7439054640f244c52871359d2842fc337a060033af05eaa001c34fc7bd8f91029e46c29433627645d67866421d661af257480532b887850dc499ffed5b14098a033725e820a5be1400a0cb703741ca74b478673aacf85166ee8a184db2c58549c2240b8308c27beba40c3b9d729edb18cc2068ecdb27da22b2cd3e7a0baa530c5193cd3c86bf86a44f0799e5155b09be250988523b3a731dd891bc2006011a065c0ab57f1a6c1788955e0135fa5ca8f3e52c75d3716973a2fb22c0eb17c1b328529d9fa7656d74dea740d9f079777c36c17a19c19589e84d2b8e4d1bc3107cbd2781422483548446c8993147744aa9ec1c593ec2d5baac86a0af64a85e909df8e2816605d20b4e382b30bbb61bf3a5f821a0b5dba9ad3e7e5bd1b37a75e0f092974e846e8c37c45487d60739f99351719a5394723262b3b0000000000000000000000000000000000000000000000000000000000000000", |
| "c": "6bc50400277abb7e6bf9fb56820175ebb7b9f4f2822c6d0ae080a349920f6d008eba35b542b9d7ed89cbfd38d79f553bf08e638095cf0d4f5040ac1d1bdc24843b18c2779f241181a6ccd8f4e800dc266136d1b65d9c126df5e793c86dacaf3c783fa9c1006f08294f1a4d3bb44b6fc209004bc1f0e67f48480940f20a8618bfc64eb2b0abfe1bea91588c186e30e833872926efe90c3b8b0c994053b930ba17b38a74595d4c761ad33fe4f7a30f3a2c85c146f0a491a312b2a44b888d1c85b1e4411f9db7912f6098fdfc2989117d16099e76f19cb350b9d002d2a20dddee90470db94a5311a24f135a40dcc6fed72836eca05eabc17d193359e2e4ea26672fe505d8346e3cab638b2416c71b2a9be50478986c6c1e94e37f8652c017568d017a2881073d612acdc8b67e5bada890bd0c95b5099d7c348c748f8e7c286ce22fa2877f8043461cb21c5ad2ecadf955e36b195408841a3482f49cec3d65f9787f3747cff1cb15f2acff3b8fa08c25885c38239a27166adfa3981d16334b4ffb8385667603b9b54621b9f3f4f13a85ec9e566ab61dcccafb11ae477d93a5bc9032dea1a51e5d5217980a8bc41a287c9c223e33064077e5224986f93cc5c1b9772553665a18835a2bbfac047026e82bb60ce80095bb0875f337312eef288d5892d4fdd702ce8f118317531944d7d56d44043a0a0146f2d2a50588a0d90de1a07af2202e5b05e42b113db382643befc153ba9f7f2959873952da7bffd7dda1a99fa1e23874b094dcc5b5f361df9262e196876db42cc7f038e95efcff4c01c75939e59bfbf52b1be5f8250607c782462a99d0a96781d7a229961a948e7d517699ad61ecb6c0588ed09dff58571b2ead65d8dea5fa814b2c061bfe49204d5e1bb74096aa8125eb84dbea5d0baff98e41a6dd913a6854b72eb174fff50da73cc7305b55c62dc84cb4adccd0a11b41c723e8daffb73a12c2dc397cf4b950005388c87749fd703de0aa0c28d4a2ec825ddae8052fe89c21393a222f0a5c6d01dfc89f46f71502ad1935635558f57a46c97ae63384482bf0e7c57298436a99ba00574faa0a", |
| "ek": "df17848677416e954d66f9b09e1281532a2e8f0c6abe0037e7e8119097c9ec845aa06985c088552c41b615173642c10251c06e91a25c243c0263b675c7207d58701d13a52eab92565ef1a1defbaefe4c0b03f50444a3be20b171310ba3f20852f3a2a18e7229407015646052d2e73abee318d755899c784a6fb5aab17c902cb68afa3657b9012e1bb8b6aac2689aa48c2d4262bb2963b06a242282541cf61419d90e2bd366bee7a4369b7241a66bf2645d8e904c3f7b300c041d5687393d2ca92975cbfdc018ddc60af562009eb0888e5a0576246ace745bb163408b5a9ae3c194a85c21907b37b1628ecd9a15ec20248730273444b0a2f454f9b4730f339150476ee07098f6bc1b97cc1bd3b8c1a2eb0e50a782f2115df617496f6c6f8c09b05f888d9e933d287746c631b3108726b0c4a7c88b09c860acd7523570c802bd387243162d128ca2294c834318cc21fb14d2ab373f224e3fd49843859509f4ca1a1a566c056788a3aa484aaabdf1a08f1b44c756ab2a0c8bc5851ee2eb23034c2eaa5ac15f89751bd5cae1d59089d5002bb1b3bfca4ade0982ad6783e9d37fb3e320ac9855df666bfd7c6b87a9a46e259712561161507e173598f988acb6f9ab3a109263244688c70878758ff4d4313b7664f0f510e913ca01c52b3a1b46535144e2db0cace8a6466600cf2a87835007e16aa507801d86b7385e669bfaf6ba1df5683163c2d570532fd7439054640f244c52871359d2842fc337a060033af05eaa001c34fc7bd8f91029e46c29433627645d67866421d661af257480532b887850dc499ffed5b14098a033725e820a5be1400a0cb703741ca74b478673aacf85166ee8a184db2c58549c2240b8308c27beba40c3b9d729edb18cc2068ecdb27da22b2cd3e7a0baa530c5193cd3c86bf86a44f0799e5155b09be250988523b3a731dd891bc2006011a065c0ab57f1a6c1788955e0135fa5ca8f3e52c75d3716973a2fb22c0eb17c1b328529d9fa7656d74dea740d9f079777c36c17a19c19589e84d2b8e4d1bc3107cbd2781422483548446c8993147744aa9ec1c593ec2d5baac86a0af64a85e909df8e2816605d20b4e382b30bbb61bf3a5f821a0b5dba9ad3e7", |
| "K": "4ad53a06b29f12568421a552c08195b58673c82f870cc1ccd65a08e4325feb27", |
| "result": "valid", |
| "flags": [] |
| }, |
| { |
| "tcId": 2, |
| "comment": "Ciphertext too short (767 bytes instead of 768)", |
| "dk": "87ca1993b64d8932ae3b225282a1b3c13765dcc1224c4377330a04ecec0b250540075382be37525312877d7769fd594fbd164282589dee5c0f2c147fc62a9542103c08bccca00582e9c52681fab879785b3e79496844b37bf526627a8a3cd8821f161d9299acc4a9b930326b6b673d16131df09894429068fc65a3e516220964c07d54034789beae614b13a1cdadbc205e363634411d5b3a26918075e0639dd635c92881a46efb9501118fcc18b39a9166a6376ceb714229ec71a4996d92979d94646ec3f05da5498f66a50a9ab9cf8520a728e1c21008725871563e7b4746817d74fab2b6f2a0e34a0a5e952b32f1072c305e818458f34234dbaac406cb6372fa0186e8cad7731dacd8646066b119b159ac7821ab9a62bfe81bd1dc7508a49e2254a836684bb722a3bc0409e2e94dcef546691a4780b2a5a024cf0d60959933ad6a587a56538644a83c1f92553f3a3b5f81aa0cc44b1ae3618ad05d2987b67d1c85a514b0de1c8d5cc15c04fc77ad035596e0a743b5959ad522ef135f149c0e7e56893733c900547eea324f0285cde59c25003badc2723a386695f9f4221f5019206a3103f89791f042bbc086de5693f2789bc9981647836755924e5afa5d88f9c8efa82134585fcabb5298bc5cf5a7aec5fc78f9a53016689d6217417a95cf27b66dae58a7288c8fc328ac06799d94c49dedb261f44486ec12c31397a78b9a632ef166088432f6153b91cacef74053a9281163a0232ec4442805010274cf9c3a1abc938a2ce89acae174620388c71220963c4d1079286f7ba81bfb5e5717cc6dd0728ab270a30a88035b885d35128eacc181cab72bb196f635cebb75ad0dd0ba4e435b31089332726358c5a27095128ff2c161eb22e94a65a5485d4c1178690b1f392b7f6377ad966b67809070572bbc689caab2d83cbfd64fc42865745484439a1c96500297c6cfb0b11d989a3294738894782d5f25055fa6967ac83adfa819b2535305f931dc586cd13a9b473b7d87e5b4b2d9962a59903cccaddca2578771c67e5a4998c89429307b0e019753183250739e144797bdcc22ab0295d7c532df17848677416e954d66f9b09e1281532a2e8f0c6abe0037e7e8119097c9ec845aa06985c088552c41b615173642c10251c06e91a25c243c0263b675c7207d58701d13a52eab92565ef1a1defbaefe4c0b03f50444a3be20b171310ba3f20852f3a2a18e7229407015646052d2e73abee318d755899c784a6fb5aab17c902cb68afa3657b9012e1bb8b6aac2689aa48c2d4262bb2963b06a242282541cf61419d90e2bd366bee7a4369b7241a66bf2645d8e904c3f7b300c041d5687393d2ca92975cbfdc018ddc60af562009eb0888e5a0576246ace745bb163408b5a9ae3c194a85c21907b37b1628ecd9a15ec20248730273444b0a2f454f9b4730f339150476ee07098f6bc1b97cc1bd3b8c1a2eb0e50a782f2115df617496f6c6f8c09b05f888d9e933d287746c631b3108726b0c4a7c88b09c860acd7523570c802bd387243162d128ca2294c834318cc21fb14d2ab373f224e3fd49843859509f4ca1a1a566c056788a3aa484aaabdf1a08f1b44c756ab2a0c8bc5851ee2eb23034c2eaa5ac15f89751bd5cae1d59089d5002bb1b3bfca4ade0982ad6783e9d37fb3e320ac9855df666bfd7c6b87a9a46e259712561161507e173598f988acb6f9ab3a109263244688c70878758ff4d4313b7664f0f510e913ca01c52b3a1b46535144e2db0cace8a6466600cf2a87835007e16aa507801d86b7385e669bfaf6ba1df5683163c2d570532fd7439054640f244c52871359d2842fc337a060033af05eaa001c34fc7bd8f91029e46c29433627645d67866421d661af257480532b887850dc499ffed5b14098a033725e820a5be1400a0cb703741ca74b478673aacf85166ee8a184db2c58549c2240b8308c27beba40c3b9d729edb18cc2068ecdb27da22b2cd3e7a0baa530c5193cd3c86bf86a44f0799e5155b09be250988523b3a731dd891bc2006011a065c0ab57f1a6c1788955e0135fa5ca8f3e52c75d3716973a2fb22c0eb17c1b328529d9fa7656d74dea740d9f079777c36c17a19c19589e84d2b8e4d1bc3107cbd2781422483548446c8993147744aa9ec1c593ec2d5baac86a0af64a85e909df8e2816605d20b4e382b30bbb61bf3a5f821a0b5dba9ad3e7e5bd1b37a75e0f092974e846e8c37c45487d60739f99351719a5394723262b3b0000000000000000000000000000000000000000000000000000000000000000", |
| "c": "6bc50400277abb7e6bf9fb56820175ebb7b9f4f2822c6d0ae080a349920f6d008eba35b542b9d7ed89cbfd38d79f553bf08e638095cf0d4f5040ac1d1bdc24843b18c2779f241181a6ccd8f4e800dc266136d1b65d9c126df5e793c86dacaf3c783fa9c1006f08294f1a4d3bb44b6fc209004bc1f0e67f48480940f20a8618bfc64eb2b0abfe1bea91588c186e30e833872926efe90c3b8b0c994053b930ba17b38a74595d4c761ad33fe4f7a30f3a2c85c146f0a491a312b2a44b888d1c85b1e4411f9db7912f6098fdfc2989117d16099e76f19cb350b9d002d2a20dddee90470db94a5311a24f135a40dcc6fed72836eca05eabc17d193359e2e4ea26672fe505d8346e3cab638b2416c71b2a9be50478986c6c1e94e37f8652c017568d017a2881073d612acdc8b67e5bada890bd0c95b5099d7c348c748f8e7c286ce22fa2877f8043461cb21c5ad2ecadf955e36b195408841a3482f49cec3d65f9787f3747cff1cb15f2acff3b8fa08c25885c38239a27166adfa3981d16334b4ffb8385667603b9b54621b9f3f4f13a85ec9e566ab61dcccafb11ae477d93a5bc9032dea1a51e5d5217980a8bc41a287c9c223e33064077e5224986f93cc5c1b9772553665a18835a2bbfac047026e82bb60ce80095bb0875f337312eef288d5892d4fdd702ce8f118317531944d7d56d44043a0a0146f2d2a50588a0d90de1a07af2202e5b05e42b113db382643befc153ba9f7f2959873952da7bffd7dda1a99fa1e23874b094dcc5b5f361df9262e196876db42cc7f038e95efcff4c01c75939e59bfbf52b1be5f8250607c782462a99d0a96781d7a229961a948e7d517699ad61ecb6c0588ed09dff58571b2ead65d8dea5fa814b2c061bfe49204d5e1bb74096aa8125eb84dbea5d0baff98e41a6dd913a6854b72eb174fff50da73cc7305b55c62dc84cb4adccd0a11b41c723e8daffb73a12c2dc397cf4b950005388c87749fd703de0aa0c28d4a2ec825ddae8052fe89c21393a222f0a5c6d01dfc89f46f71502ad1935635558f57a46c97ae63384482bf0e7c57298436a99ba00574faa", |
| "ek": "df17848677416e954d66f9b09e1281532a2e8f0c6abe0037e7e8119097c9ec845aa06985c088552c41b615173642c10251c06e91a25c243c0263b675c7207d58701d13a52eab92565ef1a1defbaefe4c0b03f50444a3be20b171310ba3f20852f3a2a18e7229407015646052d2e73abee318d755899c784a6fb5aab17c902cb68afa3657b9012e1bb8b6aac2689aa48c2d4262bb2963b06a242282541cf61419d90e2bd366bee7a4369b7241a66bf2645d8e904c3f7b300c041d5687393d2ca92975cbfdc018ddc60af562009eb0888e5a0576246ace745bb163408b5a9ae3c194a85c21907b37b1628ecd9a15ec20248730273444b0a2f454f9b4730f339150476ee07098f6bc1b97cc1bd3b8c1a2eb0e50a782f2115df617496f6c6f8c09b05f888d9e933d287746c631b3108726b0c4a7c88b09c860acd7523570c802bd387243162d128ca2294c834318cc21fb14d2ab373f224e3fd49843859509f4ca1a1a566c056788a3aa484aaabdf1a08f1b44c756ab2a0c8bc5851ee2eb23034c2eaa5ac15f89751bd5cae1d59089d5002bb1b3bfca4ade0982ad6783e9d37fb3e320ac9855df666bfd7c6b87a9a46e259712561161507e173598f988acb6f9ab3a109263244688c70878758ff4d4313b7664f0f510e913ca01c52b3a1b46535144e2db0cace8a6466600cf2a87835007e16aa507801d86b7385e669bfaf6ba1df5683163c2d570532fd7439054640f244c52871359d2842fc337a060033af05eaa001c34fc7bd8f91029e46c29433627645d67866421d661af257480532b887850dc499ffed5b14098a033725e820a5be1400a0cb703741ca74b478673aacf85166ee8a184db2c58549c2240b8308c27beba40c3b9d729edb18cc2068ecdb27da22b2cd3e7a0baa530c5193cd3c86bf86a44f0799e5155b09be250988523b3a731dd891bc2006011a065c0ab57f1a6c1788955e0135fa5ca8f3e52c75d3716973a2fb22c0eb17c1b328529d9fa7656d74dea740d9f079777c36c17a19c19589e84d2b8e4d1bc3107cbd2781422483548446c8993147744aa9ec1c593ec2d5baac86a0af64a85e909df8e2816605d20b4e382b30bbb61bf3a5f821a0b5dba9ad3e7", |
| "result": "invalid", |
| "flags": [ |
| "IncorrectCiphertextLength" |
| ] |
| }, |
| { |
| "tcId": 3, |
| "comment": "Ciphertext too long (769 bytes instead of 768)", |
| "dk": "87ca1993b64d8932ae3b225282a1b3c13765dcc1224c4377330a04ecec0b250540075382be37525312877d7769fd594fbd164282589dee5c0f2c147fc62a9542103c08bccca00582e9c52681fab879785b3e79496844b37bf526627a8a3cd8821f161d9299acc4a9b930326b6b673d16131df09894429068fc65a3e516220964c07d54034789beae614b13a1cdadbc205e363634411d5b3a26918075e0639dd635c92881a46efb9501118fcc18b39a9166a6376ceb714229ec71a4996d92979d94646ec3f05da5498f66a50a9ab9cf8520a728e1c21008725871563e7b4746817d74fab2b6f2a0e34a0a5e952b32f1072c305e818458f34234dbaac406cb6372fa0186e8cad7731dacd8646066b119b159ac7821ab9a62bfe81bd1dc7508a49e2254a836684bb722a3bc0409e2e94dcef546691a4780b2a5a024cf0d60959933ad6a587a56538644a83c1f92553f3a3b5f81aa0cc44b1ae3618ad05d2987b67d1c85a514b0de1c8d5cc15c04fc77ad035596e0a743b5959ad522ef135f149c0e7e56893733c900547eea324f0285cde59c25003badc2723a386695f9f4221f5019206a3103f89791f042bbc086de5693f2789bc9981647836755924e5afa5d88f9c8efa82134585fcabb5298bc5cf5a7aec5fc78f9a53016689d6217417a95cf27b66dae58a7288c8fc328ac06799d94c49dedb261f44486ec12c31397a78b9a632ef166088432f6153b91cacef74053a9281163a0232ec4442805010274cf9c3a1abc938a2ce89acae174620388c71220963c4d1079286f7ba81bfb5e5717cc6dd0728ab270a30a88035b885d35128eacc181cab72bb196f635cebb75ad0dd0ba4e435b31089332726358c5a27095128ff2c161eb22e94a65a5485d4c1178690b1f392b7f6377ad966b67809070572bbc689caab2d83cbfd64fc42865745484439a1c96500297c6cfb0b11d989a3294738894782d5f25055fa6967ac83adfa819b2535305f931dc586cd13a9b473b7d87e5b4b2d9962a59903cccaddca2578771c67e5a4998c89429307b0e019753183250739e144797bdcc22ab0295d7c532df17848677416e954d66f9b09e1281532a2e8f0c6abe0037e7e8119097c9ec845aa06985c088552c41b615173642c10251c06e91a25c243c0263b675c7207d58701d13a52eab92565ef1a1defbaefe4c0b03f50444a3be20b171310ba3f20852f3a2a18e7229407015646052d2e73abee318d755899c784a6fb5aab17c902cb68afa3657b9012e1bb8b6aac2689aa48c2d4262bb2963b06a242282541cf61419d90e2bd366bee7a4369b7241a66bf2645d8e904c3f7b300c041d5687393d2ca92975cbfdc018ddc60af562009eb0888e5a0576246ace745bb163408b5a9ae3c194a85c21907b37b1628ecd9a15ec20248730273444b0a2f454f9b4730f339150476ee07098f6bc1b97cc1bd3b8c1a2eb0e50a782f2115df617496f6c6f8c09b05f888d9e933d287746c631b3108726b0c4a7c88b09c860acd7523570c802bd387243162d128ca2294c834318cc21fb14d2ab373f224e3fd49843859509f4ca1a1a566c056788a3aa484aaabdf1a08f1b44c756ab2a0c8bc5851ee2eb23034c2eaa5ac15f89751bd5cae1d59089d5002bb1b3bfca4ade0982ad6783e9d37fb3e320ac9855df666bfd7c6b87a9a46e259712561161507e173598f988acb6f9ab3a109263244688c70878758ff4d4313b7664f0f510e913ca01c52b3a1b46535144e2db0cace8a6466600cf2a87835007e16aa507801d86b7385e669bfaf6ba1df5683163c2d570532fd7439054640f244c52871359d2842fc337a060033af05eaa001c34fc7bd8f91029e46c29433627645d67866421d661af257480532b887850dc499ffed5b14098a033725e820a5be1400a0cb703741ca74b478673aacf85166ee8a184db2c58549c2240b8308c27beba40c3b9d729edb18cc2068ecdb27da22b2cd3e7a0baa530c5193cd3c86bf86a44f0799e5155b09be250988523b3a731dd891bc2006011a065c0ab57f1a6c1788955e0135fa5ca8f3e52c75d3716973a2fb22c0eb17c1b328529d9fa7656d74dea740d9f079777c36c17a19c19589e84d2b8e4d1bc3107cbd2781422483548446c8993147744aa9ec1c593ec2d5baac86a0af64a85e909df8e2816605d20b4e382b30bbb61bf3a5f821a0b5dba9ad3e7e5bd1b37a75e0f092974e846e8c37c45487d60739f99351719a5394723262b3b0000000000000000000000000000000000000000000000000000000000000000", |
| "c": "6bc50400277abb7e6bf9fb56820175ebb7b9f4f2822c6d0ae080a349920f6d008eba35b542b9d7ed89cbfd38d79f553bf08e638095cf0d4f5040ac1d1bdc24843b18c2779f241181a6ccd8f4e800dc266136d1b65d9c126df5e793c86dacaf3c783fa9c1006f08294f1a4d3bb44b6fc209004bc1f0e67f48480940f20a8618bfc64eb2b0abfe1bea91588c186e30e833872926efe90c3b8b0c994053b930ba17b38a74595d4c761ad33fe4f7a30f3a2c85c146f0a491a312b2a44b888d1c85b1e4411f9db7912f6098fdfc2989117d16099e76f19cb350b9d002d2a20dddee90470db94a5311a24f135a40dcc6fed72836eca05eabc17d193359e2e4ea26672fe505d8346e3cab638b2416c71b2a9be50478986c6c1e94e37f8652c017568d017a2881073d612acdc8b67e5bada890bd0c95b5099d7c348c748f8e7c286ce22fa2877f8043461cb21c5ad2ecadf955e36b195408841a3482f49cec3d65f9787f3747cff1cb15f2acff3b8fa08c25885c38239a27166adfa3981d16334b4ffb8385667603b9b54621b9f3f4f13a85ec9e566ab61dcccafb11ae477d93a5bc9032dea1a51e5d5217980a8bc41a287c9c223e33064077e5224986f93cc5c1b9772553665a18835a2bbfac047026e82bb60ce80095bb0875f337312eef288d5892d4fdd702ce8f118317531944d7d56d44043a0a0146f2d2a50588a0d90de1a07af2202e5b05e42b113db382643befc153ba9f7f2959873952da7bffd7dda1a99fa1e23874b094dcc5b5f361df9262e196876db42cc7f038e95efcff4c01c75939e59bfbf52b1be5f8250607c782462a99d0a96781d7a229961a948e7d517699ad61ecb6c0588ed09dff58571b2ead65d8dea5fa814b2c061bfe49204d5e1bb74096aa8125eb84dbea5d0baff98e41a6dd913a6854b72eb174fff50da73cc7305b55c62dc84cb4adccd0a11b41c723e8daffb73a12c2dc397cf4b950005388c87749fd703de0aa0c28d4a2ec825ddae8052fe89c21393a222f0a5c6d01dfc89f46f71502ad1935635558f57a46c97ae63384482bf0e7c57298436a99ba00574faa0a00", |
| "ek": "df17848677416e954d66f9b09e1281532a2e8f0c6abe0037e7e8119097c9ec845aa06985c088552c41b615173642c10251c06e91a25c243c0263b675c7207d58701d13a52eab92565ef1a1defbaefe4c0b03f50444a3be20b171310ba3f20852f3a2a18e7229407015646052d2e73abee318d755899c784a6fb5aab17c902cb68afa3657b9012e1bb8b6aac2689aa48c2d4262bb2963b06a242282541cf61419d90e2bd366bee7a4369b7241a66bf2645d8e904c3f7b300c041d5687393d2ca92975cbfdc018ddc60af562009eb0888e5a0576246ace745bb163408b5a9ae3c194a85c21907b37b1628ecd9a15ec20248730273444b0a2f454f9b4730f339150476ee07098f6bc1b97cc1bd3b8c1a2eb0e50a782f2115df617496f6c6f8c09b05f888d9e933d287746c631b3108726b0c4a7c88b09c860acd7523570c802bd387243162d128ca2294c834318cc21fb14d2ab373f224e3fd49843859509f4ca1a1a566c056788a3aa484aaabdf1a08f1b44c756ab2a0c8bc5851ee2eb23034c2eaa5ac15f89751bd5cae1d59089d5002bb1b3bfca4ade0982ad6783e9d37fb3e320ac9855df666bfd7c6b87a9a46e259712561161507e173598f988acb6f9ab3a109263244688c70878758ff4d4313b7664f0f510e913ca01c52b3a1b46535144e2db0cace8a6466600cf2a87835007e16aa507801d86b7385e669bfaf6ba1df5683163c2d570532fd7439054640f244c52871359d2842fc337a060033af05eaa001c34fc7bd8f91029e46c29433627645d67866421d661af257480532b887850dc499ffed5b14098a033725e820a5be1400a0cb703741ca74b478673aacf85166ee8a184db2c58549c2240b8308c27beba40c3b9d729edb18cc2068ecdb27da22b2cd3e7a0baa530c5193cd3c86bf86a44f0799e5155b09be250988523b3a731dd891bc2006011a065c0ab57f1a6c1788955e0135fa5ca8f3e52c75d3716973a2fb22c0eb17c1b328529d9fa7656d74dea740d9f079777c36c17a19c19589e84d2b8e4d1bc3107cbd2781422483548446c8993147744aa9ec1c593ec2d5baac86a0af64a85e909df8e2816605d20b4e382b30bbb61bf3a5f821a0b5dba9ad3e7", |
| "result": "invalid", |
| "flags": [ |
| "IncorrectCiphertextLength" |
| ] |
| }, |
| { |
| "tcId": 4, |
| "comment": "Decapsulation key too short (1631 bytes instead of 1632)", |
| "dk": "87ca1993b64d8932ae3b225282a1b3c13765dcc1224c4377330a04ecec0b250540075382be37525312877d7769fd594fbd164282589dee5c0f2c147fc62a9542103c08bccca00582e9c52681fab879785b3e79496844b37bf526627a8a3cd8821f161d9299acc4a9b930326b6b673d16131df09894429068fc65a3e516220964c07d54034789beae614b13a1cdadbc205e363634411d5b3a26918075e0639dd635c92881a46efb9501118fcc18b39a9166a6376ceb714229ec71a4996d92979d94646ec3f05da5498f66a50a9ab9cf8520a728e1c21008725871563e7b4746817d74fab2b6f2a0e34a0a5e952b32f1072c305e818458f34234dbaac406cb6372fa0186e8cad7731dacd8646066b119b159ac7821ab9a62bfe81bd1dc7508a49e2254a836684bb722a3bc0409e2e94dcef546691a4780b2a5a024cf0d60959933ad6a587a56538644a83c1f92553f3a3b5f81aa0cc44b1ae3618ad05d2987b67d1c85a514b0de1c8d5cc15c04fc77ad035596e0a743b5959ad522ef135f149c0e7e56893733c900547eea324f0285cde59c25003badc2723a386695f9f4221f5019206a3103f89791f042bbc086de5693f2789bc9981647836755924e5afa5d88f9c8efa82134585fcabb5298bc5cf5a7aec5fc78f9a53016689d6217417a95cf27b66dae58a7288c8fc328ac06799d94c49dedb261f44486ec12c31397a78b9a632ef166088432f6153b91cacef74053a9281163a0232ec4442805010274cf9c3a1abc938a2ce89acae174620388c71220963c4d1079286f7ba81bfb5e5717cc6dd0728ab270a30a88035b885d35128eacc181cab72bb196f635cebb75ad0dd0ba4e435b31089332726358c5a27095128ff2c161eb22e94a65a5485d4c1178690b1f392b7f6377ad966b67809070572bbc689caab2d83cbfd64fc42865745484439a1c96500297c6cfb0b11d989a3294738894782d5f25055fa6967ac83adfa819b2535305f931dc586cd13a9b473b7d87e5b4b2d9962a59903cccaddca2578771c67e5a4998c89429307b0e019753183250739e144797bdcc22ab0295d7c532df17848677416e954d66f9b09e1281532a2e8f0c6abe0037e7e8119097c9ec845aa06985c088552c41b615173642c10251c06e91a25c243c0263b675c7207d58701d13a52eab92565ef1a1defbaefe4c0b03f50444a3be20b171310ba3f20852f3a2a18e7229407015646052d2e73abee318d755899c784a6fb5aab17c902cb68afa3657b9012e1bb8b6aac2689aa48c2d4262bb2963b06a242282541cf61419d90e2bd366bee7a4369b7241a66bf2645d8e904c3f7b300c041d5687393d2ca92975cbfdc018ddc60af562009eb0888e5a0576246ace745bb163408b5a9ae3c194a85c21907b37b1628ecd9a15ec20248730273444b0a2f454f9b4730f339150476ee07098f6bc1b97cc1bd3b8c1a2eb0e50a782f2115df617496f6c6f8c09b05f888d9e933d287746c631b3108726b0c4a7c88b09c860acd7523570c802bd387243162d128ca2294c834318cc21fb14d2ab373f224e3fd49843859509f4ca1a1a566c056788a3aa484aaabdf1a08f1b44c756ab2a0c8bc5851ee2eb23034c2eaa5ac15f89751bd5cae1d59089d5002bb1b3bfca4ade0982ad6783e9d37fb3e320ac9855df666bfd7c6b87a9a46e259712561161507e173598f988acb6f9ab3a109263244688c70878758ff4d4313b7664f0f510e913ca01c52b3a1b46535144e2db0cace8a6466600cf2a87835007e16aa507801d86b7385e669bfaf6ba1df5683163c2d570532fd7439054640f244c52871359d2842fc337a060033af05eaa001c34fc7bd8f91029e46c29433627645d67866421d661af257480532b887850dc499ffed5b14098a033725e820a5be1400a0cb703741ca74b478673aacf85166ee8a184db2c58549c2240b8308c27beba40c3b9d729edb18cc2068ecdb27da22b2cd3e7a0baa530c5193cd3c86bf86a44f0799e5155b09be250988523b3a731dd891bc2006011a065c0ab57f1a6c1788955e0135fa5ca8f3e52c75d3716973a2fb22c0eb17c1b328529d9fa7656d74dea740d9f079777c36c17a19c19589e84d2b8e4d1bc3107cbd2781422483548446c8993147744aa9ec1c593ec2d5baac86a0af64a85e909df8e2816605d20b4e382b30bbb61bf3a5f821a0b5dba9ad3e7e5bd1b37a75e0f092974e846e8c37c45487d60739f99351719a5394723262b3b00000000000000000000000000000000000000000000000000000000000000", |
| "c": "6bc50400277abb7e6bf9fb56820175ebb7b9f4f2822c6d0ae080a349920f6d008eba35b542b9d7ed89cbfd38d79f553bf08e638095cf0d4f5040ac1d1bdc24843b18c2779f241181a6ccd8f4e800dc266136d1b65d9c126df5e793c86dacaf3c783fa9c1006f08294f1a4d3bb44b6fc209004bc1f0e67f48480940f20a8618bfc64eb2b0abfe1bea91588c186e30e833872926efe90c3b8b0c994053b930ba17b38a74595d4c761ad33fe4f7a30f3a2c85c146f0a491a312b2a44b888d1c85b1e4411f9db7912f6098fdfc2989117d16099e76f19cb350b9d002d2a20dddee90470db94a5311a24f135a40dcc6fed72836eca05eabc17d193359e2e4ea26672fe505d8346e3cab638b2416c71b2a9be50478986c6c1e94e37f8652c017568d017a2881073d612acdc8b67e5bada890bd0c95b5099d7c348c748f8e7c286ce22fa2877f8043461cb21c5ad2ecadf955e36b195408841a3482f49cec3d65f9787f3747cff1cb15f2acff3b8fa08c25885c38239a27166adfa3981d16334b4ffb8385667603b9b54621b9f3f4f13a85ec9e566ab61dcccafb11ae477d93a5bc9032dea1a51e5d5217980a8bc41a287c9c223e33064077e5224986f93cc5c1b9772553665a18835a2bbfac047026e82bb60ce80095bb0875f337312eef288d5892d4fdd702ce8f118317531944d7d56d44043a0a0146f2d2a50588a0d90de1a07af2202e5b05e42b113db382643befc153ba9f7f2959873952da7bffd7dda1a99fa1e23874b094dcc5b5f361df9262e196876db42cc7f038e95efcff4c01c75939e59bfbf52b1be5f8250607c782462a99d0a96781d7a229961a948e7d517699ad61ecb6c0588ed09dff58571b2ead65d8dea5fa814b2c061bfe49204d5e1bb74096aa8125eb84dbea5d0baff98e41a6dd913a6854b72eb174fff50da73cc7305b55c62dc84cb4adccd0a11b41c723e8daffb73a12c2dc397cf4b950005388c87749fd703de0aa0c28d4a2ec825ddae8052fe89c21393a222f0a5c6d01dfc89f46f71502ad1935635558f57a46c97ae63384482bf0e7c57298436a99ba00574faa0a", |
| "ek": "df17848677416e954d66f9b09e1281532a2e8f0c6abe0037e7e8119097c9ec845aa06985c088552c41b615173642c10251c06e91a25c243c0263b675c7207d58701d13a52eab92565ef1a1defbaefe4c0b03f50444a3be20b171310ba3f20852f3a2a18e7229407015646052d2e73abee318d755899c784a6fb5aab17c902cb68afa3657b9012e1bb8b6aac2689aa48c2d4262bb2963b06a242282541cf61419d90e2bd366bee7a4369b7241a66bf2645d8e904c3f7b300c041d5687393d2ca92975cbfdc018ddc60af562009eb0888e5a0576246ace745bb163408b5a9ae3c194a85c21907b37b1628ecd9a15ec20248730273444b0a2f454f9b4730f339150476ee07098f6bc1b97cc1bd3b8c1a2eb0e50a782f2115df617496f6c6f8c09b05f888d9e933d287746c631b3108726b0c4a7c88b09c860acd7523570c802bd387243162d128ca2294c834318cc21fb14d2ab373f224e3fd49843859509f4ca1a1a566c056788a3aa484aaabdf1a08f1b44c756ab2a0c8bc5851ee2eb23034c2eaa5ac15f89751bd5cae1d59089d5002bb1b3bfca4ade0982ad6783e9d37fb3e320ac9855df666bfd7c6b87a9a46e259712561161507e173598f988acb6f9ab3a109263244688c70878758ff4d4313b7664f0f510e913ca01c52b3a1b46535144e2db0cace8a6466600cf2a87835007e16aa507801d86b7385e669bfaf6ba1df5683163c2d570532fd7439054640f244c52871359d2842fc337a060033af05eaa001c34fc7bd8f91029e46c29433627645d67866421d661af257480532b887850dc499ffed5b14098a033725e820a5be1400a0cb703741ca74b478673aacf85166ee8a184db2c58549c2240b8308c27beba40c3b9d729edb18cc2068ecdb27da22b2cd3e7a0baa530c5193cd3c86bf86a44f0799e5155b09be250988523b3a731dd891bc2006011a065c0ab57f1a6c1788955e0135fa5ca8f3e52c75d3716973a2fb22c0eb17c1b328529d9fa7656d74dea740d9f079777c36c17a19c19589e84d2b8e4d1bc3107cbd2781422483548446c8993147744aa9ec1c593ec2d5baac86a0af64a85e909df8e2816605d20b4e382b30bbb61bf3a5f821a0b5dba9ad3e7", |
| "result": "invalid", |
| "flags": [ |
| "IncorrectDecapsulationKeyLength" |
| ] |
| }, |
| { |
| "tcId": 5, |
| "comment": "Decapsulation key too long (1633 bytes instead of 1632)", |
| "dk": "87ca1993b64d8932ae3b225282a1b3c13765dcc1224c4377330a04ecec0b250540075382be37525312877d7769fd594fbd164282589dee5c0f2c147fc62a9542103c08bccca00582e9c52681fab879785b3e79496844b37bf526627a8a3cd8821f161d9299acc4a9b930326b6b673d16131df09894429068fc65a3e516220964c07d54034789beae614b13a1cdadbc205e363634411d5b3a26918075e0639dd635c92881a46efb9501118fcc18b39a9166a6376ceb714229ec71a4996d92979d94646ec3f05da5498f66a50a9ab9cf8520a728e1c21008725871563e7b4746817d74fab2b6f2a0e34a0a5e952b32f1072c305e818458f34234dbaac406cb6372fa0186e8cad7731dacd8646066b119b159ac7821ab9a62bfe81bd1dc7508a49e2254a836684bb722a3bc0409e2e94dcef546691a4780b2a5a024cf0d60959933ad6a587a56538644a83c1f92553f3a3b5f81aa0cc44b1ae3618ad05d2987b67d1c85a514b0de1c8d5cc15c04fc77ad035596e0a743b5959ad522ef135f149c0e7e56893733c900547eea324f0285cde59c25003badc2723a386695f9f4221f5019206a3103f89791f042bbc086de5693f2789bc9981647836755924e5afa5d88f9c8efa82134585fcabb5298bc5cf5a7aec5fc78f9a53016689d6217417a95cf27b66dae58a7288c8fc328ac06799d94c49dedb261f44486ec12c31397a78b9a632ef166088432f6153b91cacef74053a9281163a0232ec4442805010274cf9c3a1abc938a2ce89acae174620388c71220963c4d1079286f7ba81bfb5e5717cc6dd0728ab270a30a88035b885d35128eacc181cab72bb196f635cebb75ad0dd0ba4e435b31089332726358c5a27095128ff2c161eb22e94a65a5485d4c1178690b1f392b7f6377ad966b67809070572bbc689caab2d83cbfd64fc42865745484439a1c96500297c6cfb0b11d989a3294738894782d5f25055fa6967ac83adfa819b2535305f931dc586cd13a9b473b7d87e5b4b2d9962a59903cccaddca2578771c67e5a4998c89429307b0e019753183250739e144797bdcc22ab0295d7c532df17848677416e954d66f9b09e1281532a2e8f0c6abe0037e7e8119097c9ec845aa06985c088552c41b615173642c10251c06e91a25c243c0263b675c7207d58701d13a52eab92565ef1a1defbaefe4c0b03f50444a3be20b171310ba3f20852f3a2a18e7229407015646052d2e73abee318d755899c784a6fb5aab17c902cb68afa3657b9012e1bb8b6aac2689aa48c2d4262bb2963b06a242282541cf61419d90e2bd366bee7a4369b7241a66bf2645d8e904c3f7b300c041d5687393d2ca92975cbfdc018ddc60af562009eb0888e5a0576246ace745bb163408b5a9ae3c194a85c21907b37b1628ecd9a15ec20248730273444b0a2f454f9b4730f339150476ee07098f6bc1b97cc1bd3b8c1a2eb0e50a782f2115df617496f6c6f8c09b05f888d9e933d287746c631b3108726b0c4a7c88b09c860acd7523570c802bd387243162d128ca2294c834318cc21fb14d2ab373f224e3fd49843859509f4ca1a1a566c056788a3aa484aaabdf1a08f1b44c756ab2a0c8bc5851ee2eb23034c2eaa5ac15f89751bd5cae1d59089d5002bb1b3bfca4ade0982ad6783e9d37fb3e320ac9855df666bfd7c6b87a9a46e259712561161507e173598f988acb6f9ab3a109263244688c70878758ff4d4313b7664f0f510e913ca01c52b3a1b46535144e2db0cace8a6466600cf2a87835007e16aa507801d86b7385e669bfaf6ba1df5683163c2d570532fd7439054640f244c52871359d2842fc337a060033af05eaa001c34fc7bd8f91029e46c29433627645d67866421d661af257480532b887850dc499ffed5b14098a033725e820a5be1400a0cb703741ca74b478673aacf85166ee8a184db2c58549c2240b8308c27beba40c3b9d729edb18cc2068ecdb27da22b2cd3e7a0baa530c5193cd3c86bf86a44f0799e5155b09be250988523b3a731dd891bc2006011a065c0ab57f1a6c1788955e0135fa5ca8f3e52c75d3716973a2fb22c0eb17c1b328529d9fa7656d74dea740d9f079777c36c17a19c19589e84d2b8e4d1bc3107cbd2781422483548446c8993147744aa9ec1c593ec2d5baac86a0af64a85e909df8e2816605d20b4e382b30bbb61bf3a5f821a0b5dba9ad3e7e5bd1b37a75e0f092974e846e8c37c45487d60739f99351719a5394723262b3b000000000000000000000000000000000000000000000000000000000000000000", |
| "c": "6bc50400277abb7e6bf9fb56820175ebb7b9f4f2822c6d0ae080a349920f6d008eba35b542b9d7ed89cbfd38d79f553bf08e638095cf0d4f5040ac1d1bdc24843b18c2779f241181a6ccd8f4e800dc266136d1b65d9c126df5e793c86dacaf3c783fa9c1006f08294f1a4d3bb44b6fc209004bc1f0e67f48480940f20a8618bfc64eb2b0abfe1bea91588c186e30e833872926efe90c3b8b0c994053b930ba17b38a74595d4c761ad33fe4f7a30f3a2c85c146f0a491a312b2a44b888d1c85b1e4411f9db7912f6098fdfc2989117d16099e76f19cb350b9d002d2a20dddee90470db94a5311a24f135a40dcc6fed72836eca05eabc17d193359e2e4ea26672fe505d8346e3cab638b2416c71b2a9be50478986c6c1e94e37f8652c017568d017a2881073d612acdc8b67e5bada890bd0c95b5099d7c348c748f8e7c286ce22fa2877f8043461cb21c5ad2ecadf955e36b195408841a3482f49cec3d65f9787f3747cff1cb15f2acff3b8fa08c25885c38239a27166adfa3981d16334b4ffb8385667603b9b54621b9f3f4f13a85ec9e566ab61dcccafb11ae477d93a5bc9032dea1a51e5d5217980a8bc41a287c9c223e33064077e5224986f93cc5c1b9772553665a18835a2bbfac047026e82bb60ce80095bb0875f337312eef288d5892d4fdd702ce8f118317531944d7d56d44043a0a0146f2d2a50588a0d90de1a07af2202e5b05e42b113db382643befc153ba9f7f2959873952da7bffd7dda1a99fa1e23874b094dcc5b5f361df9262e196876db42cc7f038e95efcff4c01c75939e59bfbf52b1be5f8250607c782462a99d0a96781d7a229961a948e7d517699ad61ecb6c0588ed09dff58571b2ead65d8dea5fa814b2c061bfe49204d5e1bb74096aa8125eb84dbea5d0baff98e41a6dd913a6854b72eb174fff50da73cc7305b55c62dc84cb4adccd0a11b41c723e8daffb73a12c2dc397cf4b950005388c87749fd703de0aa0c28d4a2ec825ddae8052fe89c21393a222f0a5c6d01dfc89f46f71502ad1935635558f57a46c97ae63384482bf0e7c57298436a99ba00574faa0a", |
| "ek": "df17848677416e954d66f9b09e1281532a2e8f0c6abe0037e7e8119097c9ec845aa06985c088552c41b615173642c10251c06e91a25c243c0263b675c7207d58701d13a52eab92565ef1a1defbaefe4c0b03f50444a3be20b171310ba3f20852f3a2a18e7229407015646052d2e73abee318d755899c784a6fb5aab17c902cb68afa3657b9012e1bb8b6aac2689aa48c2d4262bb2963b06a242282541cf61419d90e2bd366bee7a4369b7241a66bf2645d8e904c3f7b300c041d5687393d2ca92975cbfdc018ddc60af562009eb0888e5a0576246ace745bb163408b5a9ae3c194a85c21907b37b1628ecd9a15ec20248730273444b0a2f454f9b4730f339150476ee07098f6bc1b97cc1bd3b8c1a2eb0e50a782f2115df617496f6c6f8c09b05f888d9e933d287746c631b3108726b0c4a7c88b09c860acd7523570c802bd387243162d128ca2294c834318cc21fb14d2ab373f224e3fd49843859509f4ca1a1a566c056788a3aa484aaabdf1a08f1b44c756ab2a0c8bc5851ee2eb23034c2eaa5ac15f89751bd5cae1d59089d5002bb1b3bfca4ade0982ad6783e9d37fb3e320ac9855df666bfd7c6b87a9a46e259712561161507e173598f988acb6f9ab3a109263244688c70878758ff4d4313b7664f0f510e913ca01c52b3a1b46535144e2db0cace8a6466600cf2a87835007e16aa507801d86b7385e669bfaf6ba1df5683163c2d570532fd7439054640f244c52871359d2842fc337a060033af05eaa001c34fc7bd8f91029e46c29433627645d67866421d661af257480532b887850dc499ffed5b14098a033725e820a5be1400a0cb703741ca74b478673aacf85166ee8a184db2c58549c2240b8308c27beba40c3b9d729edb18cc2068ecdb27da22b2cd3e7a0baa530c5193cd3c86bf86a44f0799e5155b09be250988523b3a731dd891bc2006011a065c0ab57f1a6c1788955e0135fa5ca8f3e52c75d3716973a2fb22c0eb17c1b328529d9fa7656d74dea740d9f079777c36c17a19c19589e84d2b8e4d1bc3107cbd2781422483548446c8993147744aa9ec1c593ec2d5baac86a0af64a85e909df8e2816605d20b4e382b30bbb61bf3a5f821a0b5dba9ad3e7", |
| "result": "invalid", |
| "flags": [ |
| "IncorrectDecapsulationKeyLength" |
| ] |
| }, |
| { |
| "tcId": 6, |
| "comment": "Decapsulation key with corrupted hash", |
| "dk": "87ca1993b64d8932ae3b225282a1b3c13765dcc1224c4377330a04ecec0b250540075382be37525312877d7769fd594fbd164282589dee5c0f2c147fc62a9542103c08bccca00582e9c52681fab879785b3e79496844b37bf526627a8a3cd8821f161d9299acc4a9b930326b6b673d16131df09894429068fc65a3e516220964c07d54034789beae614b13a1cdadbc205e363634411d5b3a26918075e0639dd635c92881a46efb9501118fcc18b39a9166a6376ceb714229ec71a4996d92979d94646ec3f05da5498f66a50a9ab9cf8520a728e1c21008725871563e7b4746817d74fab2b6f2a0e34a0a5e952b32f1072c305e818458f34234dbaac406cb6372fa0186e8cad7731dacd8646066b119b159ac7821ab9a62bfe81bd1dc7508a49e2254a836684bb722a3bc0409e2e94dcef546691a4780b2a5a024cf0d60959933ad6a587a56538644a83c1f92553f3a3b5f81aa0cc44b1ae3618ad05d2987b67d1c85a514b0de1c8d5cc15c04fc77ad035596e0a743b5959ad522ef135f149c0e7e56893733c900547eea324f0285cde59c25003badc2723a386695f9f4221f5019206a3103f89791f042bbc086de5693f2789bc9981647836755924e5afa5d88f9c8efa82134585fcabb5298bc5cf5a7aec5fc78f9a53016689d6217417a95cf27b66dae58a7288c8fc328ac06799d94c49dedb261f44486ec12c31397a78b9a632ef166088432f6153b91cacef74053a9281163a0232ec4442805010274cf9c3a1abc938a2ce89acae174620388c71220963c4d1079286f7ba81bfb5e5717cc6dd0728ab270a30a88035b885d35128eacc181cab72bb196f635cebb75ad0dd0ba4e435b31089332726358c5a27095128ff2c161eb22e94a65a5485d4c1178690b1f392b7f6377ad966b67809070572bbc689caab2d83cbfd64fc42865745484439a1c96500297c6cfb0b11d989a3294738894782d5f25055fa6967ac83adfa819b2535305f931dc586cd13a9b473b7d87e5b4b2d9962a59903cccaddca2578771c67e5a4998c89429307b0e019753183250739e144797bdcc22ab0295d7c532df17848677416e954d66f9b09e1281532a2e8f0c6abe0037e7e8119097c9ec845aa06985c088552c41b615173642c10251c06e91a25c243c0263b675c7207d58701d13a52eab92565ef1a1defbaefe4c0b03f50444a3be20b171310ba3f20852f3a2a18e7229407015646052d2e73abee318d755899c784a6fb5aab17c902cb68afa3657b9012e1bb8b6aac2689aa48c2d4262bb2963b06a242282541cf61419d90e2bd366bee7a4369b7241a66bf2645d8e904c3f7b300c041d5687393d2ca92975cbfdc018ddc60af562009eb0888e5a0576246ace745bb163408b5a9ae3c194a85c21907b37b1628ecd9a15ec20248730273444b0a2f454f9b4730f339150476ee07098f6bc1b97cc1bd3b8c1a2eb0e50a782f2115df617496f6c6f8c09b05f888d9e933d287746c631b3108726b0c4a7c88b09c860acd7523570c802bd387243162d128ca2294c834318cc21fb14d2ab373f224e3fd49843859509f4ca1a1a566c056788a3aa484aaabdf1a08f1b44c756ab2a0c8bc5851ee2eb23034c2eaa5ac15f89751bd5cae1d59089d5002bb1b3bfca4ade0982ad6783e9d37fb3e320ac9855df666bfd7c6b87a9a46e259712561161507e173598f988acb6f9ab3a109263244688c70878758ff4d4313b7664f0f510e913ca01c52b3a1b46535144e2db0cace8a6466600cf2a87835007e16aa507801d86b7385e669bfaf6ba1df5683163c2d570532fd7439054640f244c52871359d2842fc337a060033af05eaa001c34fc7bd8f91029e46c29433627645d67866421d661af257480532b887850dc499ffed5b14098a033725e820a5be1400a0cb703741ca74b478673aacf85166ee8a184db2c58549c2240b8308c27beba40c3b9d729edb18cc2068ecdb27da22b2cd3e7a0baa530c5193cd3c86bf86a44f0799e5155b09be250988523b3a731dd891bc2006011a065c0ab57f1a6c1788955e0135fa5ca8f3e52c75d3716973a2fb22c0eb17c1b328529d9fa7656d74dea740d9f079777c36c17a19c19589e84d2b8e4d1bc3107cbd2781422483548446c8993147744aa9ec1c593ec2d5baac86a0af64a85e909df8e2816605d20b4e382b30bbb61bf3a5f821a0b5dba9ad3e7e4bd1b37a75e0f092974e846e8c37c45487d60739f99351719a5394723262b3b0000000000000000000000000000000000000000000000000000000000000000", |
| "c": "6bc50400277abb7e6bf9fb56820175ebb7b9f4f2822c6d0ae080a349920f6d008eba35b542b9d7ed89cbfd38d79f553bf08e638095cf0d4f5040ac1d1bdc24843b18c2779f241181a6ccd8f4e800dc266136d1b65d9c126df5e793c86dacaf3c783fa9c1006f08294f1a4d3bb44b6fc209004bc1f0e67f48480940f20a8618bfc64eb2b0abfe1bea91588c186e30e833872926efe90c3b8b0c994053b930ba17b38a74595d4c761ad33fe4f7a30f3a2c85c146f0a491a312b2a44b888d1c85b1e4411f9db7912f6098fdfc2989117d16099e76f19cb350b9d002d2a20dddee90470db94a5311a24f135a40dcc6fed72836eca05eabc17d193359e2e4ea26672fe505d8346e3cab638b2416c71b2a9be50478986c6c1e94e37f8652c017568d017a2881073d612acdc8b67e5bada890bd0c95b5099d7c348c748f8e7c286ce22fa2877f8043461cb21c5ad2ecadf955e36b195408841a3482f49cec3d65f9787f3747cff1cb15f2acff3b8fa08c25885c38239a27166adfa3981d16334b4ffb8385667603b9b54621b9f3f4f13a85ec9e566ab61dcccafb11ae477d93a5bc9032dea1a51e5d5217980a8bc41a287c9c223e33064077e5224986f93cc5c1b9772553665a18835a2bbfac047026e82bb60ce80095bb0875f337312eef288d5892d4fdd702ce8f118317531944d7d56d44043a0a0146f2d2a50588a0d90de1a07af2202e5b05e42b113db382643befc153ba9f7f2959873952da7bffd7dda1a99fa1e23874b094dcc5b5f361df9262e196876db42cc7f038e95efcff4c01c75939e59bfbf52b1be5f8250607c782462a99d0a96781d7a229961a948e7d517699ad61ecb6c0588ed09dff58571b2ead65d8dea5fa814b2c061bfe49204d5e1bb74096aa8125eb84dbea5d0baff98e41a6dd913a6854b72eb174fff50da73cc7305b55c62dc84cb4adccd0a11b41c723e8daffb73a12c2dc397cf4b950005388c87749fd703de0aa0c28d4a2ec825ddae8052fe89c21393a222f0a5c6d01dfc89f46f71502ad1935635558f57a46c97ae63384482bf0e7c57298436a99ba00574faa0a", |
| "ek": "df17848677416e954d66f9b09e1281532a2e8f0c6abe0037e7e8119097c9ec845aa06985c088552c41b615173642c10251c06e91a25c243c0263b675c7207d58701d13a52eab92565ef1a1defbaefe4c0b03f50444a3be20b171310ba3f20852f3a2a18e7229407015646052d2e73abee318d755899c784a6fb5aab17c902cb68afa3657b9012e1bb8b6aac2689aa48c2d4262bb2963b06a242282541cf61419d90e2bd366bee7a4369b7241a66bf2645d8e904c3f7b300c041d5687393d2ca92975cbfdc018ddc60af562009eb0888e5a0576246ace745bb163408b5a9ae3c194a85c21907b37b1628ecd9a15ec20248730273444b0a2f454f9b4730f339150476ee07098f6bc1b97cc1bd3b8c1a2eb0e50a782f2115df617496f6c6f8c09b05f888d9e933d287746c631b3108726b0c4a7c88b09c860acd7523570c802bd387243162d128ca2294c834318cc21fb14d2ab373f224e3fd49843859509f4ca1a1a566c056788a3aa484aaabdf1a08f1b44c756ab2a0c8bc5851ee2eb23034c2eaa5ac15f89751bd5cae1d59089d5002bb1b3bfca4ade0982ad6783e9d37fb3e320ac9855df666bfd7c6b87a9a46e259712561161507e173598f988acb6f9ab3a109263244688c70878758ff4d4313b7664f0f510e913ca01c52b3a1b46535144e2db0cace8a6466600cf2a87835007e16aa507801d86b7385e669bfaf6ba1df5683163c2d570532fd7439054640f244c52871359d2842fc337a060033af05eaa001c34fc7bd8f91029e46c29433627645d67866421d661af257480532b887850dc499ffed5b14098a033725e820a5be1400a0cb703741ca74b478673aacf85166ee8a184db2c58549c2240b8308c27beba40c3b9d729edb18cc2068ecdb27da22b2cd3e7a0baa530c5193cd3c86bf86a44f0799e5155b09be250988523b3a731dd891bc2006011a065c0ab57f1a6c1788955e0135fa5ca8f3e52c75d3716973a2fb22c0eb17c1b328529d9fa7656d74dea740d9f079777c36c17a19c19589e84d2b8e4d1bc3107cbd2781422483548446c8993147744aa9ec1c593ec2d5baac86a0af64a85e909df8e2816605d20b4e382b30bbb61bf3a5f821a0b5dba9ad3e7", |
| "result": "invalid", |
| "flags": [ |
| "InvalidDecapsulationKey" |
| ] |
| }, |
| { |
| "tcId": 7, |
| "comment": "Decapsulation key with corrupted embedded encapsulation key", |
| "dk": "87ca1993b64d8932ae3b225282a1b3c13765dcc1224c4377330a04ecec0b250540075382be37525312877d7769fd594fbd164282589dee5c0f2c147fc62a9542103c08bccca00582e9c52681fab879785b3e79496844b37bf526627a8a3cd8821f161d9299acc4a9b930326b6b673d16131df09894429068fc65a3e516220964c07d54034789beae614b13a1cdadbc205e363634411d5b3a26918075e0639dd635c92881a46efb9501118fcc18b39a9166a6376ceb714229ec71a4996d92979d94646ec3f05da5498f66a50a9ab9cf8520a728e1c21008725871563e7b4746817d74fab2b6f2a0e34a0a5e952b32f1072c305e818458f34234dbaac406cb6372fa0186e8cad7731dacd8646066b119b159ac7821ab9a62bfe81bd1dc7508a49e2254a836684bb722a3bc0409e2e94dcef546691a4780b2a5a024cf0d60959933ad6a587a56538644a83c1f92553f3a3b5f81aa0cc44b1ae3618ad05d2987b67d1c85a514b0de1c8d5cc15c04fc77ad035596e0a743b5959ad522ef135f149c0e7e56893733c900547eea324f0285cde59c25003badc2723a386695f9f4221f5019206a3103f89791f042bbc086de5693f2789bc9981647836755924e5afa5d88f9c8efa82134585fcabb5298bc5cf5a7aec5fc78f9a53016689d6217417a95cf27b66dae58a7288c8fc328ac06799d94c49dedb261f44486ec12c31397a78b9a632ef166088432f6153b91cacef74053a9281163a0232ec4442805010274cf9c3a1abc938a2ce89acae174620388c71220963c4d1079286f7ba81bfb5e5717cc6dd0728ab270a30a88035b885d35128eacc181cab72bb196f635cebb75ad0dd0ba4e435b31089332726358c5a27095128ff2c161eb22e94a65a5485d4c1178690b1f392b7f6377ad966b67809070572bbc689caab2d83cbfd64fc42865745484439a1c96500297c6cfb0b11d989a3294738894782d5f25055fa6967ac83adfa819b2535305f931dc586cd13a9b473b7d87e5b4b2d9962a59903cccaddca2578771c67e5a4998c89429307b0e019753183250739e144797bdcc22ab0295d7c5322017848677416e954d66f9b09e1281532a2e8f0c6abe0037e7e8119097c9ec845aa06985c088552c41b615173642c10251c06e91a25c243c0263b675c7207d58701d13a52eab92565ef1a1defbaefe4c0b03f50444a3be20b171310ba3f20852f3a2a18e7229407015646052d2e73abee318d755899c784a6fb5aab17c902cb68afa3657b9012e1bb8b6aac2689aa48c2d4262bb2963b06a242282541cf61419d90e2bd366bee7a4369b7241a66bf2645d8e904c3f7b300c041d5687393d2ca92975cbfdc018ddc60af562009eb0888e5a0576246ace745bb163408b5a9ae3c194a85c21907b37b1628ecd9a15ec20248730273444b0a2f454f9b4730f339150476ee07098f6bc1b97cc1bd3b8c1a2eb0e50a782f2115df617496f6c6f8c09b05f888d9e933d287746c631b3108726b0c4a7c88b09c860acd7523570c802bd387243162d128ca2294c834318cc21fb14d2ab373f224e3fd49843859509f4ca1a1a566c056788a3aa484aaabdf1a08f1b44c756ab2a0c8bc5851ee2eb23034c2eaa5ac15f89751bd5cae1d59089d5002bb1b3bfca4ade0982ad6783e9d37fb3e320ac9855df666bfd7c6b87a9a46e259712561161507e173598f988acb6f9ab3a109263244688c70878758ff4d4313b7664f0f510e913ca01c52b3a1b46535144e2db0cace8a6466600cf2a87835007e16aa507801d86b7385e669bfaf6ba1df5683163c2d570532fd7439054640f244c52871359d2842fc337a060033af05eaa001c34fc7bd8f91029e46c29433627645d67866421d661af257480532b887850dc499ffed5b14098a033725e820a5be1400a0cb703741ca74b478673aacf85166ee8a184db2c58549c2240b8308c27beba40c3b9d729edb18cc2068ecdb27da22b2cd3e7a0baa530c5193cd3c86bf86a44f0799e5155b09be250988523b3a731dd891bc2006011a065c0ab57f1a6c1788955e0135fa5ca8f3e52c75d3716973a2fb22c0eb17c1b328529d9fa7656d74dea740d9f079777c36c17a19c19589e84d2b8e4d1bc3107cbd2781422483548446c8993147744aa9ec1c593ec2d5baac86a0af64a85e909df8e2816605d20b4e382b30bbb61bf3a5f821a0b5dba9ad3e7e5bd1b37a75e0f092974e846e8c37c45487d60739f99351719a5394723262b3b0000000000000000000000000000000000000000000000000000000000000000", |
| "c": "6bc50400277abb7e6bf9fb56820175ebb7b9f4f2822c6d0ae080a349920f6d008eba35b542b9d7ed89cbfd38d79f553bf08e638095cf0d4f5040ac1d1bdc24843b18c2779f241181a6ccd8f4e800dc266136d1b65d9c126df5e793c86dacaf3c783fa9c1006f08294f1a4d3bb44b6fc209004bc1f0e67f48480940f20a8618bfc64eb2b0abfe1bea91588c186e30e833872926efe90c3b8b0c994053b930ba17b38a74595d4c761ad33fe4f7a30f3a2c85c146f0a491a312b2a44b888d1c85b1e4411f9db7912f6098fdfc2989117d16099e76f19cb350b9d002d2a20dddee90470db94a5311a24f135a40dcc6fed72836eca05eabc17d193359e2e4ea26672fe505d8346e3cab638b2416c71b2a9be50478986c6c1e94e37f8652c017568d017a2881073d612acdc8b67e5bada890bd0c95b5099d7c348c748f8e7c286ce22fa2877f8043461cb21c5ad2ecadf955e36b195408841a3482f49cec3d65f9787f3747cff1cb15f2acff3b8fa08c25885c38239a27166adfa3981d16334b4ffb8385667603b9b54621b9f3f4f13a85ec9e566ab61dcccafb11ae477d93a5bc9032dea1a51e5d5217980a8bc41a287c9c223e33064077e5224986f93cc5c1b9772553665a18835a2bbfac047026e82bb60ce80095bb0875f337312eef288d5892d4fdd702ce8f118317531944d7d56d44043a0a0146f2d2a50588a0d90de1a07af2202e5b05e42b113db382643befc153ba9f7f2959873952da7bffd7dda1a99fa1e23874b094dcc5b5f361df9262e196876db42cc7f038e95efcff4c01c75939e59bfbf52b1be5f8250607c782462a99d0a96781d7a229961a948e7d517699ad61ecb6c0588ed09dff58571b2ead65d8dea5fa814b2c061bfe49204d5e1bb74096aa8125eb84dbea5d0baff98e41a6dd913a6854b72eb174fff50da73cc7305b55c62dc84cb4adccd0a11b41c723e8daffb73a12c2dc397cf4b950005388c87749fd703de0aa0c28d4a2ec825ddae8052fe89c21393a222f0a5c6d01dfc89f46f71502ad1935635558f57a46c97ae63384482bf0e7c57298436a99ba00574faa0a", |
| "ek": "2017848677416e954d66f9b09e1281532a2e8f0c6abe0037e7e8119097c9ec845aa06985c088552c41b615173642c10251c06e91a25c243c0263b675c7207d58701d13a52eab92565ef1a1defbaefe4c0b03f50444a3be20b171310ba3f20852f3a2a18e7229407015646052d2e73abee318d755899c784a6fb5aab17c902cb68afa3657b9012e1bb8b6aac2689aa48c2d4262bb2963b06a242282541cf61419d90e2bd366bee7a4369b7241a66bf2645d8e904c3f7b300c041d5687393d2ca92975cbfdc018ddc60af562009eb0888e5a0576246ace745bb163408b5a9ae3c194a85c21907b37b1628ecd9a15ec20248730273444b0a2f454f9b4730f339150476ee07098f6bc1b97cc1bd3b8c1a2eb0e50a782f2115df617496f6c6f8c09b05f888d9e933d287746c631b3108726b0c4a7c88b09c860acd7523570c802bd387243162d128ca2294c834318cc21fb14d2ab373f224e3fd49843859509f4ca1a1a566c056788a3aa484aaabdf1a08f1b44c756ab2a0c8bc5851ee2eb23034c2eaa5ac15f89751bd5cae1d59089d5002bb1b3bfca4ade0982ad6783e9d37fb3e320ac9855df666bfd7c6b87a9a46e259712561161507e173598f988acb6f9ab3a109263244688c70878758ff4d4313b7664f0f510e913ca01c52b3a1b46535144e2db0cace8a6466600cf2a87835007e16aa507801d86b7385e669bfaf6ba1df5683163c2d570532fd7439054640f244c52871359d2842fc337a060033af05eaa001c34fc7bd8f91029e46c29433627645d67866421d661af257480532b887850dc499ffed5b14098a033725e820a5be1400a0cb703741ca74b478673aacf85166ee8a184db2c58549c2240b8308c27beba40c3b9d729edb18cc2068ecdb27da22b2cd3e7a0baa530c5193cd3c86bf86a44f0799e5155b09be250988523b3a731dd891bc2006011a065c0ab57f1a6c1788955e0135fa5ca8f3e52c75d3716973a2fb22c0eb17c1b328529d9fa7656d74dea740d9f079777c36c17a19c19589e84d2b8e4d1bc3107cbd2781422483548446c8993147744aa9ec1c593ec2d5baac86a0af64a85e909df8e2816605d20b4e382b30bbb61bf3a5f821a0b5dba9ad3e7", |
| "result": "invalid", |
| "flags": [ |
| "InvalidDecapsulationKey" |
| ] |
| } |
| ] |
| }, |
| { |
| "type": "MLKEMDecapsValidationTest", |
| "source": { |
| "name": "github/lukaszobernig/reenc", |
| "version": "1.0" |
| }, |
| "parameterSet": "ML-KEM-512", |
| "tests": [ |
| { |
| "tcId": 8, |
| "comment": "Decapsulation key with last byte of c1 zeroed that makes decapsulation succeed on faulty c1 re-encryption comparison", |
| "dk": "af18a4967387aee027618855ab8777d1a24fd3a98aea64cbe5d9c4a6164a15ab18f8f9b3f26811d7c1c069c551f8748bc906cd67e28ed4372d638b94bdb21897d267b743199f351883939c65504cbb1871cc880fc285a73d0c7bef8445ac698f4f216feab954f0f27da2e0a51742cadc4a5ace5522c956a4acb36f3648c761e92f98204438d13ff85432e9160b6350b66e9c9a2ad28a12f32c7a357fab495f29327ccca700f8688c4aea45b9e69e872b21137b12aa3815c650aedd9174467045abb4bbefe38f8e425a45081f4280aada2049fbe9749d7c9549409ceae88594bbbcb27c42f84b0745cb511e743162f7a94a7aa9d06809deb64c22b695e09000e281b38810b4276765d3e3042be847f800308b8cc509cccbf1769b914256d8ca2c5b1acbfdb0a414b8a164db5d9ea5c9b6d49ee5db83bfe2c1132897314caad67b8a48d679aa376a652a500a741c93bb2a074cc3c6d1994db68e390099892594646385c173c07398b9a3481faf96866185213e3202e0d99659c4708591a5fe85778ff04d37d873ccc06f04abcb46897ee83b99b53b07651729c4f120022b4d48a0581d1acb4e7b8d7f73ccb8e8a8dd3412faa7cfbb71aa4caa5902d31f225c71329950747082cac7b62b5c0a222449a8153a455779e10439e29350db4729c1270d3b7891ed870086959cb7fc8f7421303d633faab084d1db4c6cc7738614ce98fc4d2508a568b820912ca02219aeb4193f70b80695e9a82ab43c84686bb36c65375552904233944388808c42f2372fb1551abe39a68488bb5056a5dbe91009200ac12703331ac2652498895848dd380b2a410f946b3a7690b9ba801c18b629dcd45949d4445d2cce2192229f96cd7f7449d4baa1693005801080101006b7b3a5d8224ec04153f073b1698b360a4cb095c570ca030bd0dc2c82652762ba9ac78b1baec18f8c3c886718657d0a3646ec070ec381a5cbc6c70263e7ba3847f487afa74f3bc831343207a6b3cf41bc77a6e30e97098ca5fb27fd80cf8ad08bbc63973f51c91e4985ef4b5cb4525a52b79f56d651c17c35b756cc88f312dd403b26f369a57981044b6fd3243b8bf1a42fc71b17e49c76b2a1390490c056122dcc44fbf165152c83dc6713df163b1cb3adc252437d1b9d62d040daa32ac3da235175207318a57edca6c6a52c47369e0e70110a42470d408d0ac325b7aa9212549d97555f37f06cd8f122fa75ce5539c80ddb34ad6011e61a6d70262715fb6070d5ce0d27c107e0065ec2b6b44941913788ffc396375291a450546cd315de2a774679cbc172380671c349056314545f2e75a69012859332225df313386940aaa719999c8029e9974b36563e4b5a7bc0b145d0751995a8e3e70026c7a4ab645015958a35fcaf36025cafd4128c22a2e3902521430e296189987288080955e5fb64bfe844d2376b89f46d83927f222b9abebc100c2735a0023c8552702180cc8fc583b1193d71647eb3ac58f11cc5a461cea5d4c15d918203b085afe844d37804fc66cad844c86a832af5f4b4e9151cb5497bd868771a75bdc34044ed4c6bc88c4775b0a47937af53326150f1c67329aceb972f5b915d204306b1c71d7e5752ca5c4d5a21464407ba3cc41e69094885f3a3a9424a22751884c150a55805694b4fba23386b147fe3039567692aae8728bbe3972c05ab7ba5c6fd3a71cc78b279639d1a46153b26317051652864bbe412c9ef6ccd9ba88be3e86789759c68c93eefe0025fb43a69b224f95b3a90e1c23c159ba5757e5f10b00a604d7b777bccc895e2b78f67833df9267f65552e4f052bfbd1650a017b38e0290d5b349b515df05c9923f076bf2832cf900f538b7277f48106293c00b8541f476ba02725bc50741505a3efe173370c6e904091daa335c15942fa557ccd7b9adb75b42eb296cbe391676048e861c4c16291fdc301d5d529b6c40600c66a23b20291b13052a3a5b8d1c12230ad31cbb8cf06a9668c5ee73b9ca3002e0ff9bee1b33de4e7b0a5da249433b31ddbbec3a181596b46fea9b8c0e0035f64c53b58c9f12603e2555264774d3f9905f1e632a9783396c3cb01da494406cc65467901d237ff2132b4d1036b0707bcd8b4223b33c3bb9b02a355cba04cd7f6523f1aab0cd52d5b60353f671bcbf55044c817b082d4a557ab3b7740c882b9170f73430f460d79d5d595f184fc888881f377c2605e0b82b373c16046b4380e210e0edc894ff398236801075a52805303b1bc7fa8638358058d4801ab68bb118df5f40f5775b5a63c298d4d6be979e4bb1839eb", |
| "c": "9c699f8fd84c8842fe714aa19ddc408eeecdc5410c2962e26e424407f0f8e18c0de1a94008c25d4588c53f3702fd0ad0bfb14bb8ba30bcb12c13687f8774e5645da92aa28b246237a52d8451185b97a57ff61fcafcdb5188fb7b19d7e7316e33924341d264b9147656723fc919f0b69036b553901566e7d2c84a5518e2c0847c5c84d6a3e66a8ea3209ed7457dd04ae3e7b83a32bd19581ae1c45f944172a95a2eec7b3b3b7e1fbad555d0fff5665150a63fa2a73191285ca1f43fac2c0ea029db725c3f24d71cf02bd6b34dd94d21f72da0d00b64c4df69fc18544623edba65c715264a66abfb3f4c9ed215d6695cad90860d2d5a2f02384270cec9ef41a89ab740f65f71b51399acb65de2ac15afdd5c0767146a0094cbafd92cf6a6ae204983f483ae8aadbffb4fd31bbe80fa86c9b4951dab02ecd38314c0aba4acfacae91812782cd39081d9b34103d60df814589775cbf750f6126c2b7598896d3758f601aad953af9dcba95af9550cdf2a35cb10835126bd3c2831994d0f3efff46a1b6f26b39f760a709861d1be41d845056fe684aec781e48192a3e18843de45e9d4e505867fcdfc155de624d26379cd54b44d9640c35d514b29e7a12ee5817a88053125df8a3e772e297336ca7f6526c10cafc1b2ff888c44afc8e745f2ad2867949a4c8a8009bf254dd1947b1b30db1c7c8285525eed0c94339ed6371e1800b167e2b629bf958f462eed730029c8c604cb2950a29426b81f989d42377df91683eed0d5d34fd6108abc97aa05d1febbbff07861676e6884553f51f1b12fc2e11404380464b48fca9e49d61105b70faa54305509f50706344dc4efe948e9458b2a10c1b15d200ede27b979d6d0ac400ff3c5d2dcc29fc786046c134c9c79b97f4c00e57dc3b659769d0a916d74d2587d1f45a6e13d8fe35f839b6d63bbf53eb481b0c2c69876b0c5c007c5cd3d35738e976dc1e5ade78997568675916cf4f2dcb4a919dbff6ee99845de900248a6b6c97bd786f522966079c7062a114a5c5ed5b5788c9e7a91d0fd1f0bf20cf4be636d24871d234fd859589062f2e62ce0afc331b9", |
| "ek": "a57981044b6fd3243b8bf1a42fc71b17e49c76b2a1390490c056122dcc44fbf165152c83dc6713df163b1cb3adc252437d1b9d62d040daa32ac3da235175207318a57edca6c6a52c47369e0e70110a42470d408d0ac325b7aa9212549d97555f37f06cd8f122fa75ce5539c80ddb34ad6011e61a6d70262715fb6070d5ce0d27c107e0065ec2b6b44941913788ffc396375291a450546cd315de2a774679cbc172380671c349056314545f2e75a69012859332225df313386940aaa719999c8029e9974b36563e4b5a7bc0b145d0751995a8e3e70026c7a4ab645015958a35fcaf36025cafd4128c22a2e3902521430e296189987288080955e5fb64bfe844d2376b89f46d83927f222b9abebc100c2735a0023c8552702180cc8fc583b1193d71647eb3ac58f11cc5a461cea5d4c15d918203b085afe844d37804fc66cad844c86a832af5f4b4e9151cb5497bd868771a75bdc34044ed4c6bc88c4775b0a47937af53326150f1c67329aceb972f5b915d204306b1c71d7e5752ca5c4d5a21464407ba3cc41e69094885f3a3a9424a22751884c150a55805694b4fba23386b147fe3039567692aae8728bbe3972c05ab7ba5c6fd3a71cc78b279639d1a46153b26317051652864bbe412c9ef6ccd9ba88be3e86789759c68c93eefe0025fb43a69b224f95b3a90e1c23c159ba5757e5f10b00a604d7b777bccc895e2b78f67833df9267f65552e4f052bfbd1650a017b38e0290d5b349b515df05c9923f076bf2832cf900f538b7277f48106293c00b8541f476ba02725bc50741505a3efe173370c6e904091daa335c15942fa557ccd7b9adb75b42eb296cbe391676048e861c4c16291fdc301d5d529b6c40600c66a23b20291b13052a3a5b8d1c12230ad31cbb8cf06a9668c5ee73b9ca3002e0ff9bee1b33de4e7b0a5da249433b31ddbbec3a181596b46fea9b8c0e0035f64c53b58c9f12603e2555264774d3f9905f1e632a9783396c3cb01da494406cc65467901d237ff2132b4d1036b0707bcd8b4223b33c3bb9b02a355cba04cd7f6523f1aab0cd52d5b60353f671bcbf55044c817b082d4a557ab3b7740c882b9170f73430f460d79d5d595f184fc888881f377c2", |
| "K": "90b25fffced216fa5db514a835c2709df9539ce861ce5a33e5454b30e8816632", |
| "result": "valid", |
| "flags": [ |
| "MalleableCiphertext" |
| ] |
| }, |
| { |
| "tcId": 9, |
| "comment": "Decapsulation key with last byte of c2 zeroed that makes decapsulation succeed on faulty c2 re-encryption comparison", |
| "dk": "7edc5c26b70e1df9af3398c732e48d4e96780333201de975f6967a771a0ba5c11c5417899d50b8afccc5c92c2bef2ba34a391b1d9092a6a9167926c67556527bb89dfd2b0100501ba322325209117ec460ebb2442b113101a5300058c9679b3887e0b81db8c58e085e1975c242b644ef27197e9b8644b443a1c68a31e069b6c30fdc71285e3250f3e404c780863cd1c43e5a618e10c9737b6a6832ab4ab3003a10925cf7638a173f4223ca6fc46be4807b0a94b1cfa14ca6409baaa53a961228bdebcbfca1019115992364cbe8a608423643d69c88c546a27ff32743cb2128c2185d18b7e9d53c79ebc27d0844524a92f6e256ac518882b2587959482618c50630454d16cc50c2c5066a90979a41a0c14c934c778531999d34a44ac81b9a80c654f07c337b66acbc77ba05260f77a7ce0b44cc84085c450082313c702077928696a8053364b858325829c430ce21790ec70084c4c63d696119f255b97107c2065bc3fa405d9523414365b5aa6b5ffb07a8bdc640376808e118af30abbda61855049635f2a137e9d16891d210423bc52b826d2b775d75e7af3b12b23870a8ef413751647058b20a0b63b72764813521350f50a24b838c7cf25edb2554a15a5724204a01ea4b3939398217cae709612eea8db392bc5527aebf6bab09ba007072089f4c04c178a60363b40ca3b67fe5c2e3960e2153854c8a679ef92318902aec91b835393ef9b9abf91b2dce1762c2243cc6239df49a1da764c72b248603574d17ea5136b004f2a481edf507ebe5cc4898461a3705ed788e679a107dc257d8c60cbb19454f83554e95782a922d5a6782d43a7b5aa2c149f307d7256b8c97a5cc6c38956cc97b033eee19a508067eac2789651c6177ab6888c67972a31fe1e031e98cc8f7152b53275ed0546e893787d435b423b2213a985fdc82a5943767e86a2d56840c44bc36bedc7025808a26a74525eac14e44123009bb5871a93c622b205a04e628b4b3807e56125508a04dd6e32bd3c64119644f320574f3037621ca4a15132d9f14278a82b7fd7879f2b05fdc808bfe49acdc11bc59894babc4531dc5542954154d3306b8b3961c06373bf1c75d83cf7fe30425a1710301939bd8b55b5660775c31a7c2b32454a2a17346f7fac798750249f406e87b352e51a78268b4e0063702389d18b13b9b095cd6c7194c24b326818047a108b793a7aa146256fb324cbc4ad1521020266eaa9b9739b343e4598b6c09cc80f82561152139985da0457216054098cc81b114373a251d5c35b4aa917128f68edfdc31af8c0914021efec63d75018221889a4ba651b65b6bcec88204e6972c41ce3eb3695079b2a7176e3aa6a32c6c5bb4537cdb232a2063c2ff739dd48b27f6dccf8a00a6c83c327dc6cd9b298598fc617ef3c007627ee43b02ca118283c8088e7881490561318b7fbe8154f41861aabb49db0c9735f636a1a97da6acbb7ee76a27395786dbbe7a89a3bbb14d4c5582bc91ac1706c0f7468112003b85f940304c51cc9a0f51c14cdec35943376f83739c2286cf679407190628ed4a826d970ab65539bbcc9fd6267383401f14f4bd0533c72df62da2abcece7974d9c6ca606cc50dd4ca1b500a7ad54480146d025a52c6c17d0382a4517ccdb2151658c1b804806c82ec70b3bbccb0c6432b44952db6a27f7a78f4380536b937605aaca5d67967d72c78e5c50eb8922ec9bce7096b437b222b82a10b92189a426fcb25ae72318df350c3f6ab16c07a25ab352f26c6cae3531260fc09a2d07239a1acbd694a29a186191c1c254991312972373769d9da1d981ccc8a88be05b00db1ea3725a175bb8338761c715f363a97c68e219b3b21d89ccc97090013c1f78779f278b704d10b3484375149a96228aa1dd819b040b836c9c3e21534e2f7810a049259b0718abc5f20ac0d640454786795d0878d06983445a800ae61980f3b0e5ab3657ec5c9f7fb98269c9f1b977dc47382d858cbbcb6550ae985bf1c20445139e2241546163eab68a04e713e82865c00f75b5e1496972096d2dc4a5b752c92eac1dc56c7074525d3282a57e2b40573735142b3e990241203a356036bb850a6fb3948c4cb431d7a515a7a1edfd82ef944b6a93a8f72d5a03de7a96da26ef731c308db391311bae578323075a62373bcde4db0ac12eb9dafd0508072151ab6ffadeb0895b7592bd7414406dd0adfb872be8c1f24ec05bfd791ddfce8b2b07d19b2f47f7c2c9d3b21a34e38bca0da092388d00da771a45978482af848ab8bede73a02771172daad640a0f10dcdef680aa", |
| "c": "9d89c11e7e03b60afa688903b9304b65ec58d891036e28263ff20a51d4d4544eedc545dec9e1fc03d9f0ff0cc25b03b3356ce761dfeae5558e75683c92ff411379fe487230c4a04377082d374f6b71b801a7a368ff7ba0862280587c0af5bed66ba0c57c0a6ebc12544b36e8d2e408ddf4a47feb508ba6b46a106d5740987dc4fc330b5a83bcbe5e254032bd6b7d0b6b76d3be357d177ef2e8472f147ede6e39253da40480cdf1f4dc4c5cb61a60851b0b14ecce1f333cfaa39bfa27371635887036d9004f99f0cf84d1de96d25031370fab0c9020c0e6737d00d3ba6f0e0666ad3ecb894975b3f657b56f40f0f535b76ab114ba8a9fd20524ae68e77a0d3c32f5620344468c4e4441e77a36b5e83bd713cbc4f91605b48e179c527ec48979162710da2201d916653fed249f8e747563bca8af2c2a28f73646a65ce27495a3bbaec9ca6bc3e0ce7d04404a4442c5d86ab903acb59b570be1da14c0e28d0f3c2eab4563818453eebf6239fd955426514c41fa5d8eb6f82ea26d77fa89295a76dab1ec89f01d2d8257d00361fac673672cabb955d68d3de425f021a908fbc9edc4b116d53cd5fe64f6c5c3aa64e795995ea16a404a90cd929fe650ed278e4343f56e39811ed4a423b5f5e40e7488df7d44acdfb05e75794cecced0a1f8b5dd438857ad0ca7cedf4fd4dcc653f977ad038c5458e34073e06d4712e5ee98a1db03172074a5ad24eb88e66a1727e8ab064c36bd93e50723351cc0b9d5d5e545a15e009f3e80d1b50731f22032eccc699e406804fb941d649058d00cb22cddeafd8ebe2db9332c8ebcc49a8c5178d9bfb5d01820a58be1159a3c4eccf85405945048e2e4cdc1c2a578e9d5d82a7f498e0da7a2388796cc0ef8eeb21d8f08bdf71141e04efec0fe40c8117a4f3ea5f1c904db42d21de1a67e513201d0663b3818c292af3d6deda6e6001b9818f1958932c71fad5029487fc5a342f858c8ef80900ce314ee6706c555b8e54c4c7f76fa844ca18c0ba47d97245b0944b3d6b85f24e28ed0cb78a9b863eae029dbd9aa00bfccca02c1112d86a44e8ee8fdceb14edcb52e00", |
| "ek": "2954154d3306b8b3961c06373bf1c75d83cf7fe30425a1710301939bd8b55b5660775c31a7c2b32454a2a17346f7fac798750249f406e87b352e51a78268b4e0063702389d18b13b9b095cd6c7194c24b326818047a108b793a7aa146256fb324cbc4ad1521020266eaa9b9739b343e4598b6c09cc80f82561152139985da0457216054098cc81b114373a251d5c35b4aa917128f68edfdc31af8c0914021efec63d75018221889a4ba651b65b6bcec88204e6972c41ce3eb3695079b2a7176e3aa6a32c6c5bb4537cdb232a2063c2ff739dd48b27f6dccf8a00a6c83c327dc6cd9b298598fc617ef3c007627ee43b02ca118283c8088e7881490561318b7fbe8154f41861aabb49db0c9735f636a1a97da6acbb7ee76a27395786dbbe7a89a3bbb14d4c5582bc91ac1706c0f7468112003b85f940304c51cc9a0f51c14cdec35943376f83739c2286cf679407190628ed4a826d970ab65539bbcc9fd6267383401f14f4bd0533c72df62da2abcece7974d9c6ca606cc50dd4ca1b500a7ad54480146d025a52c6c17d0382a4517ccdb2151658c1b804806c82ec70b3bbccb0c6432b44952db6a27f7a78f4380536b937605aaca5d67967d72c78e5c50eb8922ec9bce7096b437b222b82a10b92189a426fcb25ae72318df350c3f6ab16c07a25ab352f26c6cae3531260fc09a2d07239a1acbd694a29a186191c1c254991312972373769d9da1d981ccc8a88be05b00db1ea3725a175bb8338761c715f363a97c68e219b3b21d89ccc97090013c1f78779f278b704d10b3484375149a96228aa1dd819b040b836c9c3e21534e2f7810a049259b0718abc5f20ac0d640454786795d0878d06983445a800ae61980f3b0e5ab3657ec5c9f7fb98269c9f1b977dc47382d858cbbcb6550ae985bf1c20445139e2241546163eab68a04e713e82865c00f75b5e1496972096d2dc4a5b752c92eac1dc56c7074525d3282a57e2b40573735142b3e990241203a356036bb850a6fb3948c4cb431d7a515a7a1edfd82ef944b6a93a8f72d5a03de7a96da26ef731c308db391311bae578323075a62373bcde4db0ac12eb9dafd0508072151ab6ffadeb0895b7592bd7414406dd0adfb872", |
| "K": "c96bca0ae376069d104f2d1609d87568bc0fa859bf9759e5a75ec6e86500ef43", |
| "result": "valid", |
| "flags": [ |
| "MalleableCiphertext" |
| ] |
| } |
| ] |
| } |
| ] |
| } |
