0xAA,0x2A,0x2C,0x99,0x57,0xE8,0x35,0xAD,0x55,0xB2,
0x2E,0x75,0xBF,0x57,0xBB,0x55,0x6A,0xC8),
},
-/** count = 0 NIST Round 3 liboqs-0.5.0 KAT */
+/** count = 0 NIST Round 4 liboqs-0.8.0 KAT */
{
.type = KEY_FALCON_512,
.seed = chunk_from_chars(
0x17,0x0D,0xEC,0xDA,0x06,0xE7,0xCE,0xD5,0x00,0x03,
0x1E),
.sm = chunk_from_chars(
- 0x02,0x6B,0x33,0xB3,0xC0,0x75,0x07,0xE4,0x20,0x17,
+ 0x02,0x68,0x33,0xB3,0xC0,0x75,0x07,0xE4,0x20,0x17,
0x48,0x49,0x4D,0x83,0x2B,0x6E,0xE2,0xA6,0xC9,0x3B,
0xFF,0x9B,0x0E,0xE3,0x43,0xB5,0x50,0xD1,0xF8,0x5A,
0x3D,0x0D,0xE0,0xD7,0x04,0xC6,0xD1,0x78,0x42,0x95,
0x13,0x09,0xD8,0x1C,0x4D,0x8D,0x73,0x4F,0xCB,0xFB,
0xEA,0xDE,0x3D,0x3F,0x8A,0x03,0x9F,0xAA,0x2A,0x2C,
0x99,0x57,0xE8,0x35,0xAD,0x55,0xB2,0x2E,0x75,0xBF,
- 0x57,0xBB,0x55,0x6A,0xC8,0x29,0x0D,0xD7,0x1D,0x25,
- 0x66,0x3D,0x3C,0x43,0x6F,0x41,0x12,0x46,0x1E,0xB7,
- 0x92,0x47,0x97,0xE7,0x25,0x4C,0x1C,0x1B,0xBB,0x9F, /* 100 */
-
- 0x81,0xA5,0xEC,0x1E,0x8A,0xA1,0x00,0x32,0xDA,0xF1,
- 0xEA,0xCC,0xF6,0x5A,0x46,0x09,0xD8,0x2B,0x54,0x6E,
- 0xE4,0x8B,0x6A,0xDD,0x91,0xD7,0x14,0xC6,0xBC,0x99,
- 0x23,0x9A,0x8F,0xFE,0x3D,0x95,0x93,0x08,0xEE,0xE4,
- 0xD9,0xF5,0xE2,0x36,0x98,0xA1,0x29,0x79,0xB6,0x36,
- 0x4D,0x76,0xC5,0xB2,0x8C,0x97,0xC8,0xE3,0x69,0xD1,
- 0xDF,0xCD,0x14,0x8E,0x1A,0x0F,0x8B,0xD1,0x22,0xB0,
- 0x62,0x4D,0x8E,0x77,0xF2,0x70,0xDE,0x94,0x9D,0xBC,
- 0x9B,0xF3,0xA5,0xCB,0xCF,0x0F,0xEC,0xC1,0xBD,0x09,
- 0x2E,0x4F,0x4A,0x8F,0xE5,0xD0,0x98,0x7E,0x99,0x97, /* 200 */
-
- 0x53,0xA2,0x43,0x3E,0x82,0x06,0x19,0xCB,0x80,0xC0,
- 0x3F,0x53,0x04,0x00,0xEA,0x46,0xC8,0xEB,0x85,0xF1,
- 0x65,0x49,0x19,0xCD,0x74,0xB4,0x44,0x7D,0x17,0x61,
- 0xD9,0x1F,0x11,0x21,0x50,0xB5,0x28,0x9B,0xEF,0x42,
- 0x44,0x10,0x95,0xAD,0x21,0x5E,0xB5,0x12,0x4C,0x89,
- 0x5C,0xAF,0xA6,0xAD,0xF3,0x47,0xA8,0x2F,0x71,0x43,
- 0xC5,0x94,0x44,0x1C,0x37,0x1E,0xE9,0xB9,0x30,0xE4,
- 0x9B,0x50,0xCB,0x61,0x13,0x9A,0x69,0x02,0xCC,0x28,
- 0x09,0x15,0xDD,0x68,0x4D,0x22,0x4B,0x72,0xDD,0xF5,
- 0x23,0x70,0x3A,0xEF,0xCB,0x1E,0x9D,0xC7,0x4E,0xA4, /* 300 */
-
- 0x5F,0x7A,0xA7,0x6D,0x58,0x9C,0xD8,0xA7,0x45,0x9B,
- 0x52,0x24,0xB3,0x93,0x49,0xED,0x81,0x82,0x44,0x5D,
- 0x09,0x20,0xEE,0x1D,0x16,0x72,0x78,0xD7,0x1D,0x48,
- 0x3E,0xA6,0x54,0x9E,0x77,0x63,0xED,0xDE,0x5A,0x93,
- 0xA9,0x8A,0x48,0x74,0x51,0x65,0x2D,0xBE,0x6C,0xE7,
- 0x6C,0x84,0xEE,0x45,0x6C,0x45,0xE8,0xFF,0xAE,0xBB,
- 0x1F,0x1A,0x62,0x8E,0xBD,0xD1,0x14,0xC9,0x4A,0x5A,
- 0x7E,0xC3,0x54,0x8E,0x31,0x38,0x24,0x5D,0x94,0x23,
- 0xAF,0x13,0xFE,0xB5,0xB4,0x0C,0x4B,0xB7,0xF3,0x59,
- 0x57,0xD9,0x5B,0xE2,0xDE,0x61,0x22,0xF7,0x46,0x78, /* 400 */
-
- 0xE4,0x3A,0xF0,0xCB,0x8B,0xC1,0x30,0x68,0x4E,0x52,
- 0x8E,0xFE,0x68,0x6B,0x0F,0xE4,0x17,0x41,0xEE,0xE6,
- 0xA2,0xEC,0x42,0xA5,0x2C,0x45,0xBF,0xBB,0x93,0x41,
- 0xED,0x84,0xB4,0x7E,0xDD,0x89,0x22,0x4C,0x91,0x36,
- 0x60,0x42,0xDA,0xB4,0xA9,0x7A,0x40,0x90,0xC9,0x6A,
- 0x42,0xA1,0x66,0xBD,0x32,0xCA,0x85,0xEA,0x51,0x08,
- 0x5A,0x59,0xEA,0xCB,0xF1,0x7B,0x99,0xF0,0x2B,0x0C,
- 0xF6,0x93,0x55,0x4F,0xB2,0x39,0x71,0xCF,0x52,0x50,
- 0xE9,0xC8,0x60,0x3A,0xD4,0xAE,0x2E,0x87,0x29,0xB9,
- 0x23,0xFE,0xF0,0x67,0x9E,0xF2,0x1B,0xEE,0x4E,0xE9, /* 500 */
-
- 0x99,0x27,0xBB,0xD7,0x6D,0xE3,0x1A,0x58,0xB8,0xA3,
- 0x34,0x84,0x17,0x5B,0x66,0xD2,0x57,0x8C,0x86,0xC1,
- 0xFD,0x61,0x45,0xD6,0xC7,0x0B,0x88,0xD0,0xC8,0x93,
- 0x66,0xE4,0x61,0xF8,0x6D,0x11,0x7F,0x79,0x7C,0x12,
- 0x6C,0x0B,0x6A,0xE2,0xC5,0x71,0x69,0x61,0x86,0x91,
- 0x27,0x94,0xF3,0x74,0xC2,0xAF,0xF3,0xFA,0xA2,0x35,
- 0xCA,0xAA,0xB1,0x3A,0xE8,0xC5,0x96,0x37,0x96,0xCD,
- 0xA7,0xAC,0x31,0xB9,0xA2,0xC3,0xA3,0xC8,0xAD,0x4D,
- 0x5F,0xB0,0x64,0x21,0xE2,0x80,0xA3,0x91,0xC8,0xAA,
- 0x2E,0xD2,0x3B,0x4D,0x00,0xCA,0x3B,0x88,0x3F,0x99, /* 600 */
-
- 0x27,0x50,0xF0,0xB2,0x14,0xA5,0xCF,0x73,0xB9,0x17,
- 0xED,0x6A,0xAD,0x3D,0x40,0xCA,0x16,0x48,0xDC,0x7B,
- 0x27,0x53,0x65,0x52,0x95,0xA0,0xA8,0x77,0xB1,0xA6,
- 0x9D,0x1B,0x76,0x98,0x26,0x7D,0xF0,0x8D,0x50,0x18,
- 0x1A,0x2C,0x64,0xD3,0x71,0xAF,0xF8,0xD9,0x26,0x2E,
- 0x27,0xCF,0xFD,0x74,0x56,0x99,0xAA,0x2C,0xC9,0x77,
- 0xB1,0xF2,0xDB,0x55,0x0F,0x4B,0x51,0x95,0x60,0xDF,
- 0xDE,0x67,0xDD,0x1B,0x93,0xF4,0xE4,0xED,0xEC,0xD3,
- 0x02,0x46,0xD6,0x78,0x11,0x24,0x8B,0x9B,0x87,0x11,
- 0x34,0xAF,0x3D,0x90),
+ 0x57,0xBB,0x55,0x6A,0xC8,0x29,0x07,0x65,0x84,0x3D,
+ 0x1E,0x46,0x0D,0x17,0xA5,0x27,0xD2,0xBC,0xA4,0x05,
+ 0xBD,0x55,0xBB,0xC7,0xDA,0x09,0xA8,0xC6,0x20,0xBE, /* 100 */
+
+ 0x0A,0xF4,0xA7,0x67,0xD9,0xDB,0x96,0xB8,0x0F,0x55,
+ 0xE4,0x66,0x67,0x67,0x51,0xEA,0xAB,0xA7,0xB9,0x3B,
+ 0x86,0xD7,0x11,0x32,0xDA,0xA0,0xEB,0x37,0x67,0x82,
+ 0xB9,0xEE,0xE3,0x75,0x19,0xCE,0x10,0xFD,0xD3,0x3F,
+ 0xE9,0xF2,0x93,0x12,0xC3,0x1D,0x87,0x36,0x20,0x6D,
+ 0x16,0x5C,0xF4,0xC5,0x28,0xAA,0x3D,0xDC,0x01,0x78,
+ 0x45,0xE1,0xF0,0xDD,0x5B,0x0A,0x44,0xFF,0x96,0x1C,
+ 0x42,0xD8,0x74,0xA9,0x55,0x33,0xE5,0xB4,0x38,0x98,
+ 0x2F,0x52,0x4C,0xA9,0x54,0xD8,0x75,0x33,0xBF,0xBE,
+ 0x42,0xC6,0x3F,0xF2,0xAB,0xC7,0x7A,0x34,0xC7,0x9D, /* 200 */
+
+ 0xB5,0x5A,0x99,0x17,0x1B,0xBC,0xB7,0x2C,0x84,0x2A,
+ 0x65,0x30,0xAF,0x2F,0x75,0x3F,0x0C,0x34,0xAC,0x63,
+ 0x2F,0x9F,0x1E,0x79,0x49,0xF0,0xBF,0x6C,0x67,0x66,
+ 0x5B,0x27,0x72,0x2A,0x88,0x57,0xD6,0x26,0xB6,0xFF,
+ 0x1A,0x13,0x6D,0x92,0x3A,0x39,0xF4,0x06,0x9B,0x74,
+ 0x77,0xFF,0x94,0x6E,0x52,0x47,0xA6,0x62,0x77,0x91,
+ 0xD4,0x9B,0x59,0xED,0xC9,0xE2,0x52,0x5A,0x86,0x0E,
+ 0x6E,0x98,0x28,0xD1,0x8F,0x64,0xA9,0xF1,0x72,0x22,
+ 0xE8,0x16,0x6A,0x02,0x45,0x38,0x59,0xBB,0xDA,0x0B,
+ 0x81,0x86,0xD8,0xC9,0x92,0x8B,0xB5,0x71,0xE4,0x14, /* 300 */
+
+ 0x64,0x01,0xD7,0x43,0x0E,0x22,0x59,0x04,0x67,0x3A,
+ 0xD2,0x1C,0xCA,0xC5,0x4C,0x14,0x6C,0x24,0x8A,0x1D,
+ 0xD6,0x9A,0xB6,0x49,0x1E,0x90,0x1D,0x6D,0x71,0xB1,
+ 0x52,0x15,0x5B,0xE9,0x7D,0xE0,0x57,0xF3,0x91,0x6A,
+ 0x3F,0x1B,0x42,0x73,0x30,0x8C,0x29,0xB2,0xF4,0xD9,
+ 0x69,0x71,0x67,0xB9,0x06,0x81,0xB1,0x58,0x3E,0xD9,
+ 0x30,0xA7,0x1E,0x99,0x04,0x67,0xDE,0xA3,0x68,0x13,
+ 0x4B,0xEC,0xEE,0xBD,0x59,0x7F,0x9B,0xEC,0x92,0x2E,
+ 0x81,0x6F,0x1B,0x05,0x70,0xD7,0x28,0xF4,0xAE,0x04,
+ 0x64,0xC1,0xF7,0x97,0x65,0x7F,0x87,0xA4,0xE5,0x2D, /* 400 */
+
+ 0xCD,0xCA,0xEB,0x92,0x72,0x66,0x2E,0xA6,0x6D,0x7C,
+ 0x6C,0xD8,0x78,0x1B,0x31,0xAF,0x55,0x5A,0xD9,0x3F,
+ 0x5F,0x65,0xE7,0x58,0x16,0xCB,0x8D,0xC3,0x06,0xBB,
+ 0x67,0xE5,0x92,0xB5,0x26,0x1B,0xAC,0xA7,0xC5,0x09,
+ 0x62,0x9E,0xA2,0xAF,0x8A,0xBB,0x80,0xCB,0xA8,0x9E,
+ 0xE5,0x35,0xB7,0x6D,0xFD,0x9C,0xCB,0xBE,0x3B,0xF4,
+ 0x8F,0x2B,0xC8,0xAA,0x34,0xB2,0x6E,0x11,0x03,0x29,
+ 0x10,0x53,0xF5,0xCB,0x8D,0xE3,0xA4,0x5A,0xFA,0x5A,
+ 0x76,0xDF,0x8B,0x21,0x22,0xED,0x2C,0x82,0xFB,0xCF,
+ 0x22,0x59,0x29,0x0D,0x41,0xA1,0x4F,0x86,0xB1,0x2F, /* 500 */
+
+ 0x35,0xF5,0xD4,0x97,0x62,0xB3,0x4C,0xFF,0x13,0xEE,
+ 0x7E,0x42,0xED,0xEC,0x70,0x20,0x1D,0x7F,0x37,0xC3,
+ 0x33,0x16,0x28,0x8F,0xA3,0x07,0x8E,0x36,0xE5,0x81,
+ 0x08,0x86,0x5C,0x3C,0xFE,0x26,0x3D,0x56,0x36,0x92,
+ 0x04,0x3D,0xEC,0xC6,0x2F,0x34,0x26,0xF8,0x60,0x61,
+ 0x28,0x5B,0x7B,0x1B,0x33,0x6F,0x56,0xFF,0x41,0xBB,
+ 0x65,0xE9,0xCD,0x6D,0x9B,0x92,0xFD,0x90,0xF8,0x64,
+ 0xAA,0x1C,0x92,0x3C,0xB8,0xC7,0x55,0xF5,0xCD,0xE1,
+ 0x77,0x0D,0x86,0x25,0x95,0x42,0x71,0x49,0xD7,0x72,
+ 0x1A,0xAA,0xB5,0xD1,0x94,0xAE,0xA9,0xAC,0xDE,0xCA, /* 600 */
+
+ 0x15,0xBE,0x43,0xCB,0xA6,0xA6,0x2B,0x5A,0x33,0x90,
+ 0x9E,0x9F,0xC4,0xDA,0x1C,0x58,0x14,0xFB,0xD7,0xCD,
+ 0x6A,0x2F,0xA5,0x72,0xE3,0x18,0xB4,0x2C,0x6C,0x31,
+ 0x91,0x40,0xB8,0x6E,0x66,0x39,0x25,0x80,0xA1,0x1A,
+ 0x2B,0x43,0x1F,0x44,0xC1,0xF9,0x27,0x0E,0x4F,0x7B,
+ 0x24,0x90,0xF3,0xB3,0x25,0xA9,0x97,0x7A,0x71,0xA5,
+ 0x75,0x91,0x56,0x36,0x63,0x5B,0x99,0x69,0xDB,0xD6,
+ 0xD2,0x20,0xB2,0x4C,0x3D,0x99,0xCE,0xBB,0xBD,0x83,
+ 0x4B,0x88,0x22,0x2B,0xD0,0x8C,0x3A,0xBE,0x12,0x4E,
+ 0x80),
},
-/** count = 0 NIST Round 3 liboqs-0.5.0 KAT */
+/** count = 0 NIST Round 4 liboqs-0.8.0 KAT */
{
.type = KEY_FALCON_1024,
.seed = chunk_from_chars(
0x13,0x09,0xD8,0x1C,0x4D,0x8D,0x73,0x4F,0xCB,0xFB,
0xEA,0xDE,0x3D,0x3F,0x8A,0x03,0x9F,0xAA,0x2A,0x2C,
0x99,0x57,0xE8,0x35,0xAD,0x55,0xB2,0x2E,0x75,0xBF,
- 0x57,0xBB,0x55,0x6A,0xC8,0x2A,0x9B,0x72,0x99,0xAC,
- 0x39,0x03,0x89,0x2A,0xF0,0xF5,0x3D,0xE4,0xE3,0xC8,
- 0x9B,0x4A,0x2E,0xE6,0x5E,0x9E,0x42,0x9D,0x73,0x12, /* 100 */
-
- 0xA5,0xB2,0x0E,0xB5,0xC7,0x94,0x97,0x72,0x2A,0x19,
- 0xCA,0xA5,0xBD,0xA4,0x5D,0x3B,0xB8,0x7E,0xE7,0x17,
- 0x40,0xE4,0x6F,0x16,0x0C,0x6E,0xAC,0x63,0x1E,0x5D,
- 0x51,0x04,0xE9,0x68,0x8B,0xFB,0xF0,0xF6,0xAA,0x90,
- 0x4D,0xFC,0xA3,0x25,0x46,0x7E,0xEE,0x15,0xA6,0x5C,
- 0x58,0x6A,0x30,0xE8,0xC3,0x6D,0x08,0x4D,0x16,0x77,
- 0x6A,0x71,0x35,0xA1,0xD3,0xEF,0xF9,0xBE,0x94,0x0B,
- 0x65,0x81,0x72,0xAF,0x9F,0x3E,0x5B,0xD2,0x76,0xE5,
- 0x37,0x5F,0x72,0x6F,0xDE,0xA8,0xD4,0xE3,0x4B,0x65,
- 0x81,0xED,0xFC,0xFF,0x28,0x7E,0x67,0x45,0x9C,0xE0, /* 200 */
-
- 0x6B,0xBC,0x3B,0x48,0xA1,0x48,0x96,0xFB,0xE2,0xB3,
- 0x24,0x81,0x87,0x99,0x3C,0xCF,0x7B,0x74,0xD4,0xFC,
- 0xDD,0x0F,0xD5,0x24,0x9A,0x19,0x5D,0xCE,0x26,0x75,
- 0x3D,0x6C,0xE0,0x84,0x57,0xB1,0xB3,0xA4,0x33,0x51,
- 0xE6,0x9C,0x59,0xF8,0x1A,0xC1,0x41,0xC1,0x42,0x7D,
- 0xD5,0xC5,0x69,0x34,0x6C,0x1C,0x8C,0x34,0x94,0xAD,
- 0x45,0xA9,0xB8,0x56,0x23,0x65,0x41,0x54,0x70,0xB2,
- 0x5E,0x59,0x19,0x60,0x19,0xE5,0x19,0xA9,0x45,0xE8,
- 0xE8,0x49,0x13,0x80,0x7A,0xD0,0x25,0xEA,0x6F,0x25,
- 0xA0,0x40,0x91,0x70,0xE7,0xC7,0x34,0x79,0x04,0xC6, /* 300 */
-
- 0x7E,0xA2,0x40,0x66,0x90,0xD7,0xF7,0x6D,0xC9,0x39,
- 0xCB,0x1B,0xFD,0xBE,0x66,0x56,0x07,0x43,0x08,0xE9,
- 0xFC,0x5B,0xE2,0xE5,0x2A,0xA8,0x4A,0xBF,0x67,0x46,
- 0x8D,0x79,0x44,0xA0,0x9E,0x8E,0x74,0xC4,0x81,0x1B,
- 0x17,0x93,0x9D,0x08,0x08,0xE6,0xA1,0xAD,0xE9,0xAD,
- 0x5A,0x6C,0x5C,0x90,0xA7,0xD7,0x27,0x95,0x66,0x69,
- 0x99,0xF3,0x15,0x97,0x11,0xDF,0xAE,0x32,0xF8,0xF4,
- 0xE9,0x2B,0x6B,0xB2,0xB3,0x0A,0xF1,0xEB,0x64,0xAC,
- 0x27,0x5C,0xCD,0x69,0x69,0x8A,0x8E,0x61,0xF6,0xD6,
- 0xF0,0x20,0x15,0x47,0x65,0x2E,0x4F,0x25,0xF0,0x88, /* 400 */
-
- 0xD4,0x07,0x78,0xC7,0x33,0x04,0x77,0x31,0x1B,0xD6,
- 0x23,0x8D,0xF5,0xB2,0x1A,0x46,0xC4,0x2C,0xA1,0xD5,
- 0x29,0x85,0x06,0x78,0xE4,0xB4,0xF7,0x19,0xCA,0x10,
- 0x81,0xB0,0x92,0x58,0xAD,0xFB,0x7F,0xE0,0x63,0xE1,
- 0x36,0x8F,0xBF,0x04,0xA5,0x4F,0x25,0x7D,0x6D,0x61,
- 0xBA,0x82,0x14,0x2E,0x3F,0x0E,0x27,0x8B,0x95,0x12,
- 0xF7,0x17,0x8F,0x94,0xF2,0xF4,0xD9,0x94,0x85,0x85,
- 0x8F,0xA7,0xF1,0x72,0x72,0x44,0x99,0x6C,0xE8,0x86,
- 0xBF,0x5B,0x0D,0xA9,0x38,0x6B,0xAB,0x89,0x6E,0x92,
- 0xA4,0x61,0x19,0x44,0xD7,0x5C,0x59,0xFB,0x0F,0x42, /* 500 */
-
- 0xF7,0xB3,0xAF,0x1D,0xCE,0x3E,0x00,0xAE,0xC1,0x1B,
- 0x6E,0x6D,0x29,0xCA,0x5F,0xCC,0x3B,0xB6,0xA7,0x66,
- 0x59,0x25,0xE9,0x59,0x5E,0xF8,0x9B,0xF8,0x38,0x95,
- 0xC6,0x48,0x6A,0xB5,0x25,0xA7,0xB0,0xF3,0x7C,0xD6,
- 0x08,0xFF,0xA4,0x08,0x31,0xBA,0xAA,0xE2,0x13,0xAA,
- 0xBE,0x53,0x47,0xA8,0xB2,0x25,0x1C,0x26,0x4B,0xE4,
- 0x58,0xE3,0x83,0x34,0x56,0x3B,0xDC,0x5B,0x45,0xF6,
- 0x97,0x73,0xD0,0x29,0x49,0x43,0x6A,0xC0,0x1E,0x0D,
- 0x2D,0xF2,0x43,0x05,0xFA,0x42,0xCB,0xFC,0xA7,0x06,
- 0x60,0x73,0xDD,0x89,0x23,0xA4,0xC1,0x92,0x13,0x6F, /* 600 */
-
- 0x3E,0x53,0x8D,0xFD,0xCB,0x0D,0xCE,0x58,0x1E,0x65,
- 0x09,0x2B,0xF8,0x30,0xAA,0x06,0x31,0xCC,0xC0,0xC7,
- 0x4F,0x86,0x8F,0xC9,0xEE,0xDA,0xD4,0x4A,0x55,0x41,
- 0xE7,0x4C,0x8F,0x8B,0xC5,0x2B,0x72,0x26,0xD3,0xC3,
- 0xFB,0x00,0xF0,0xBC,0x11,0x0B,0xA6,0x26,0xFF,0x82,
- 0xE7,0x44,0x1B,0xDA,0x81,0x2C,0x71,0xBA,0xBC,0x26,
- 0x13,0x02,0x96,0x63,0xAC,0xF6,0xFF,0x9E,0xA3,0xDB,
- 0x88,0xA9,0xE6,0xD1,0x8C,0x64,0x49,0x5C,0xEE,0xE3,
- 0x3A,0x30,0x67,0x91,0x72,0x9A,0xAC,0x50,0x31,0x9D,
- 0xAB,0x38,0x0F,0xCC,0xB7,0xA1,0xCC,0xF7,0x58,0xD4, /* 700 */
-
- 0x72,0x27,0x83,0x8B,0x5E,0xDD,0x27,0xE9,0x4F,0x89,
- 0xC4,0x0A,0x26,0x78,0xFC,0xE3,0xFA,0x19,0x9F,0x7A,
- 0x2B,0x8C,0x94,0x6A,0x5D,0xF3,0x7F,0xFD,0xC9,0xE4,
- 0x21,0x7C,0xD4,0xA7,0xFF,0x48,0xD2,0x89,0x1D,0x82,
- 0x1A,0xF8,0xA5,0x4B,0x1D,0x56,0xBD,0x01,0xC3,0xBF,
- 0x8B,0x7F,0x40,0xB6,0x2A,0xDF,0xD7,0x85,0x92,0xAB,
- 0x5A,0xB9,0x64,0x81,0xCD,0x76,0x31,0xED,0xF0,0x9A,
- 0xC5,0x93,0x78,0x2A,0xC8,0x81,0x54,0x50,0x07,0xF1,
- 0x6B,0x9F,0x57,0xA9,0xCE,0xF3,0xA2,0xEA,0xF1,0x73,
- 0xEF,0x5D,0x0E,0xB0,0xCF,0x98,0xBC,0x6B,0x6E,0xF1, /* 800 */
-
- 0x29,0xF0,0xB7,0x8D,0x57,0xDB,0x71,0xC8,0xD4,0x01,
- 0x32,0xD6,0xA7,0x4D,0xC0,0xCB,0xF0,0xB3,0xE4,0x2D,
- 0xFE,0x49,0x77,0x29,0x29,0xD4,0x41,0xFA,0xD9,0x85,
- 0xD9,0x94,0x3D,0x8A,0x10,0xAD,0x6A,0x2B,0xEC,0x4B,
- 0x8A,0xEA,0x7C,0xF4,0x3E,0x1C,0x8C,0x72,0x17,0xDF,
- 0x5B,0x91,0x25,0x51,0xAD,0x15,0x6C,0x01,0x55,0x92,
- 0x8D,0xBC,0x8B,0x48,0xB8,0xDF,0x19,0x6A,0x2A,0x64,
- 0x53,0x08,0x67,0x79,0x20,0xA3,0xE5,0xD0,0x07,0x4F,
- 0xC5,0xEC,0x47,0x84,0x03,0x7F,0x1F,0xD4,0xA4,0xF6,
- 0x8A,0x1C,0x0A,0xBF,0xC5,0x43,0xCC,0x36,0x4A,0x07, /* 900 */
-
- 0x92,0x29,0x51,0x68,0x0E,0xCA,0x95,0x68,0x50,0xA8,
- 0x5B,0x94,0x96,0x52,0x6E,0xE7,0x18,0x1A,0x2E,0x91,
- 0x81,0x4E,0x97,0x9D,0xDF,0x65,0xFA,0xD1,0x68,0x25,
- 0xC9,0x66,0x9B,0xD3,0x5D,0xB6,0xD1,0x19,0x9D,0x1A,
- 0x33,0xF9,0x8B,0x4E,0x27,0xD1,0xAB,0x67,0xAD,0xF7,
- 0x1C,0x0D,0x99,0x91,0x67,0x5D,0xB7,0x8B,0x73,0x9A,
- 0xA1,0xE3,0xE9,0x93,0x6C,0x5D,0x72,0x2D,0xA4,0x9E,
- 0x62,0x2B,0x9F,0xD9,0x22,0x9B,0x99,0xAF,0xC4,0x67,
- 0x12,0x5A,0x1A,0xC0,0xF9,0x21,0xE9,0x6E,0x4A,0x5F,
- 0xB8,0x70,0xA2,0xC6,0x33,0xA0,0x48,0x2C,0xB3,0x96, /* 1000 */
-
- 0xE6,0x68,0xA5,0x4A,0x65,0xDE,0xDA,0x96,0x1D,0xDC,
- 0xD2,0xCA,0xE2,0x42,0x4E,0xF1,0x30,0xBE,0x64,0x12,
- 0x85,0x93,0x52,0xB5,0x30,0x41,0x37,0x36,0x0A,0x73,
- 0x68,0x6E,0x10,0xAF,0x66,0xBA,0x8B,0xFD,0xED,0xFD,
- 0xAC,0xF7,0x86,0x58,0x90,0x1B,0x41,0x78,0x62,0x4C,
- 0x36,0x67,0xB9,0x37,0xA0,0xD9,0x5E,0x07,0x81,0x03,
- 0x5B,0xBC,0x53,0x9A,0x3A,0xAA,0x93,0xAA,0xD5,0x78,
- 0x03,0x00,0xC0,0xF7,0xA6,0x09,0xAB,0x29,0x66,0x39,
- 0xEC,0x32,0xDD,0x44,0x31,0xEE,0x85,0x29,0x36,0x2B,
- 0x13,0xB7,0x35,0x88,0x2F,0xD2,0x4A,0x23,0x2E,0xE9, /* 1100 */
-
- 0x63,0x60,0x69,0x02,0x88,0x81,0xB6,0x28,0xE3,0x02,
- 0xDE,0x4B,0x75,0xC5,0x09,0xB8,0x43,0x91,0x54,0xDE,
- 0xAE,0x26,0xE8,0x79,0xE2,0x71,0x73,0xB0,0x4B,0x42,
- 0x26,0xCC,0xE3,0x9C,0xBC,0x37,0x1F,0x0C,0x92,0x55,
- 0xF9,0x9B,0x8C,0xE7,0x7E,0x4E,0xBF,0x4B,0xC5,0xA0,
- 0xEC,0xD2,0x9F,0x96,0x9B,0x06,0x2D,0x95,0xD4,0x62,
- 0xBD,0x89,0x3C,0x71,0x35,0x47,0x9D,0x5C,0xBD,0xA7,
- 0xCC,0xC2,0x32,0xAA,0xC0,0xA8,0x15,0x67,0xD7,0xB6,
- 0xD2,0x2B,0xD9,0xBE,0x8E,0xAB,0x15,0x50,0xC3,0xAD,
- 0xB1,0x78,0x90,0xD2,0xE8,0x63,0x06,0x05,0xB7,0xD2, /* 1200 */
-
- 0xF3,0x9C,0x2E,0x26,0xE5,0xEF,0xBF,0x40,0x26,0x34,
- 0xC7,0x09,0x5A,0xB5,0x24,0x24,0x2D,0x70,0x35,0x48,
- 0x04,0x5D,0x13,0xF2,0x70,0x76,0x45,0x2B,0xBA,0x45,
- 0x3B,0x8D,0x9B,0xB5,0xC4,0xCC,0x1F,0xF3,0xBE,0xC8,
- 0x2E,0xEC,0xAD,0x01,0xAD,0x7E,0x53,0x09,0x17,0x87,
- 0xAA,0x2D,0x4F,0x47,0xD3,0x2A,0xC1,0xB8,0x3E,0x1B,
- 0x67,0x59,0x3B,0x76,0x64,0x2B,0x9C,0x03,0xDB,0xE7,
- 0xC9,0x33,0x94,0xA8,0x6C,0x31,0x9B,0x6C,0x98,0x41,
- 0x07,0x26,0xDB,0x14,0x7D,0x73,0xE3,0xC6,0xD8,0x26,
- 0x81,0x54,0x57,0xBA,0x2B,0x2E,0x53,0x08,0xC7,0x46, /* 1300 */
-
- 0xFB,0x6F,0x8B,0x7C,0x80),
-},
-};
+ 0x57,0xBB,0x55,0x6A,0xC8,0x2A,0xB4,0x9A,0x5B,0x21,
+ 0x69,0x6C,0x89,0x54,0x63,0xEA,0xDC,0x68,0xBE,0x13,
+ 0x29,0x3E,0xF2,0xBB,0x36,0x36,0x8D,0x1F,0x91,0x6E, /* 100 */
+
+ 0xDD,0x6D,0xED,0xDD,0x17,0xED,0x7F,0x27,0x06,0x1E,
+ 0x61,0xE5,0x4A,0x91,0x92,0x8D,0x34,0xD8,0xFD,0xDB,
+ 0x65,0xAF,0x42,0x2C,0xD3,0x6C,0x2C,0x91,0x2C,0x51,
+ 0x91,0x9D,0x27,0x8D,0x39,0xC3,0x59,0x6D,0xC6,0x19,
+ 0x47,0x40,0x32,0x10,0xA9,0xEB,0x97,0x45,0x69,0xB3,
+ 0x5A,0xBE,0xD1,0x94,0x88,0x98,0x44,0xA3,0x67,0x05,
+ 0xE7,0xE7,0x3F,0x97,0x9F,0x9E,0x6F,0xFB,0xB2,0xE2,
+ 0x11,0xBF,0x52,0x42,0xA9,0xA3,0x1E,0x26,0xD5,0x01,
+ 0x1B,0xC2,0xD6,0xC9,0x19,0xEE,0x34,0xAE,0x04,0x8C,
+ 0xAC,0x9A,0xED,0x4D,0x26,0x61,0x68,0x8F,0x42,0x6D, /* 200 */
+
+ 0x16,0x7F,0x1B,0x6C,0x60,0x88,0x76,0x15,0x8C,0x96,
+ 0xA5,0x53,0x8B,0xCE,0x7E,0x7A,0x46,0xAA,0xA9,0x0A,
+ 0x28,0xC1,0xCD,0xA4,0x18,0xCE,0x8F,0xD2,0x5E,0x6A,
+ 0x2C,0x34,0x8F,0xDE,0x25,0x84,0x19,0x9F,0x77,0x35,
+ 0x5C,0x4D,0xEF,0xDB,0xA4,0xA1,0xBD,0xF4,0xEC,0xB9,
+ 0xDA,0xF6,0x32,0x52,0x7E,0x62,0x97,0x18,0xDD,0xCB,
+ 0x71,0x73,0x48,0x0A,0x05,0x43,0x35,0x9C,0xEE,0xE8,
+ 0xE4,0x0F,0x99,0x19,0x12,0x28,0x59,0xB8,0x89,0xA6,
+ 0x0A,0x3E,0xBE,0x91,0x27,0x61,0x49,0x0B,0x8A,0x5E,
+ 0xF9,0x52,0xEA,0x09,0x32,0x52,0xAC,0xF2,0xA9,0x02, /* 300 */
+
+ 0x82,0xE9,0x61,0x86,0xDD,0xCD,0x28,0x3C,0x8B,0x66,
+ 0x39,0xCA,0x66,0x59,0x02,0x59,0x81,0x26,0x72,0x0E,
+ 0x38,0xD1,0xD9,0xA9,0xE2,0x20,0x26,0xD0,0x2E,0x64,
+ 0x22,0x16,0x97,0x40,0xB5,0x75,0x74,0x69,0x1D,0x2F,
+ 0x34,0x9F,0x46,0xE5,0xA0,0x62,0xF2,0xAF,0x0D,0x7B,
+ 0x5F,0x36,0x6F,0x70,0xB9,0x5E,0x2B,0x21,0x52,0x7B,
+ 0x25,0x11,0x7E,0x44,0x86,0xD7,0x9C,0x20,0xA5,0x08,
+ 0xA0,0x29,0x59,0x4A,0xE1,0x06,0x43,0xA8,0xD7,0xCD,
+ 0x6C,0x60,0xCB,0xC9,0x98,0x83,0x6E,0x8D,0x4A,0x85,
+ 0x0F,0x35,0x8E,0xFD,0xA4,0xC4,0xE9,0x02,0xEF,0x7C, /* 400 */
+
+ 0xA7,0xD4,0xC4,0xBA,0x9E,0x44,0xF6,0xD5,0xAF,0xD7,
+ 0x8A,0xDA,0x91,0x0F,0x51,0x84,0x9A,0x98,0xF6,0xCB,
+ 0x4F,0x02,0x51,0x0C,0xBA,0xB3,0xD1,0x57,0x36,0x56,
+ 0xFD,0x15,0x09,0x84,0xDC,0x14,0xE9,0xB3,0x3F,0xBF,
+ 0xDA,0xFE,0x4C,0x39,0xA5,0x8B,0xC3,0xBF,0xD9,0xAF,
+ 0x7E,0x8F,0xA6,0xDD,0xF4,0x7C,0x5E,0xB9,0xEC,0x5E,
+ 0xFC,0x99,0xBA,0xD9,0xE5,0xF2,0x08,0x6B,0x6C,0x59,
+ 0x3B,0x3E,0x24,0x9D,0x6D,0x63,0xA8,0x86,0x81,0x6E,
+ 0x33,0xF6,0x69,0x1E,0x63,0x1C,0xE2,0x53,0xCB,0xCA,
+ 0xAC,0xCE,0xAD,0xCA,0xFE,0x6F,0xA7,0x3A,0xD9,0xE8, /* 500 */
+
+ 0x4D,0x89,0xC7,0x21,0x99,0x44,0x8E,0xA2,0xD0,0x92,
+ 0xB4,0xAE,0x31,0x86,0xCF,0xED,0x4A,0xE7,0x63,0x45,
+ 0x08,0x51,0xB1,0x4E,0xB4,0x48,0xC9,0x10,0x34,0x68,
+ 0xBD,0x50,0xA4,0x2E,0x56,0x69,0x22,0x74,0xAA,0xDC,
+ 0xD1,0x12,0x49,0x54,0x14,0x71,0x3E,0x77,0xC9,0xD3,
+ 0xE5,0x10,0x29,0x0D,0xD1,0x3D,0x8C,0x6F,0x39,0xEB,
+ 0xD6,0xF1,0x2A,0xC4,0xB6,0x1C,0xD8,0x14,0x1D,0x04,
+ 0x67,0xEE,0x8D,0x2A,0xBE,0x5B,0x70,0x6C,0xAB,0x1A,
+ 0xC7,0xE5,0x98,0xBC,0x56,0xFC,0xE4,0x45,0xB6,0xDE,
+ 0x7A,0x4C,0xF3,0x29,0xA4,0xAD,0x2E,0x6A,0xA6,0x7F, /* 600 */
+
+ 0xD1,0xC9,0xF4,0xBB,0xCF,0xFC,0x6F,0x89,0x8F,0xE5,
+ 0x6D,0xCC,0xFC,0x43,0xE2,0xD0,0x27,0x9A,0xC7,0xCC,
+ 0x87,0x2F,0x19,0x61,0xFE,0x86,0xB7,0x6A,0x4A,0x82,
+ 0x97,0xB4,0xF2,0x96,0xDD,0x0A,0x42,0x58,0xB7,0x9B,
+ 0x47,0xB3,0x5F,0xCE,0xDA,0xF2,0xE2,0x41,0x1B,0x6C,
+ 0x01,0x20,0xA2,0xA4,0x79,0x16,0xB2,0x41,0x21,0xE3,
+ 0xD3,0x21,0xC4,0xFD,0x21,0x2E,0x54,0xCA,0xAF,0x2D,
+ 0xAA,0x4E,0x74,0x3D,0x13,0xBE,0xC4,0x76,0x9E,0xB4,
+ 0x89,0xAD,0x82,0xFC,0xA5,0x6C,0xDE,0x24,0x49,0xC9,
+ 0x1D,0xBB,0xD4,0xD8,0xCD,0x27,0x68,0x9D,0x2F,0x77, /* 700 */
+
+ 0x5B,0x26,0x29,0x14,0x29,0xE7,0x9E,0x1D,0xF4,0xF3,
+ 0x85,0xA9,0x4F,0xAF,0xD8,0x34,0xC8,0xB5,0x23,0x85,
+ 0x0B,0xF7,0xB7,0x70,0x54,0x2D,0x6E,0x21,0xAF,0x3B,
+ 0xC2,0x88,0x64,0x5C,0x39,0xDF,0xDB,0xCB,0x85,0x67,
+ 0x9B,0x2E,0x33,0x60,0x81,0x6D,0x5E,0xC2,0x46,0xE6,
+ 0xD0,0x0C,0xA3,0x96,0x5F,0x4A,0xFC,0xEE,0x8A,0x93,
+ 0xCD,0xD8,0x33,0x53,0x12,0x7D,0xE1,0x93,0x76,0xF8,
+ 0x64,0x90,0x54,0x2A,0x32,0x59,0x54,0xC9,0x21,0x8C,
+ 0xFC,0xDC,0x3E,0x3F,0x9C,0xE3,0x44,0x3B,0xDF,0xB3,
+ 0xCA,0xC8,0xAA,0x2C,0xDB,0xFE,0x97,0x66,0x38,0x47, /* 800 */
+
+ 0x8D,0x28,0x4C,0x5A,0xD6,0x7A,0xBB,0x3B,0x85,0x7F,
+ 0x99,0x4B,0x76,0x48,0xCF,0xA9,0xAD,0xFB,0x63,0x05,
+ 0xD9,0x4A,0x51,0x66,0x5A,0x98,0x9A,0x69,0xF2,0xDF,
+ 0x6A,0x46,0x04,0xFF,0xD5,0xA4,0x96,0x46,0xC2,0x2D,
+ 0xA9,0xE4,0x6A,0xC8,0x80,0xFF,0xD1,0xB7,0x58,0x7C,
+ 0xD9,0xA8,0x96,0xBA,0xE2,0xCA,0xA6,0x6A,0xA9,0xFB,
+ 0x24,0x66,0x56,0x31,0xAE,0x7B,0x48,0xC6,0xB1,0xCD,
+ 0x02,0xCF,0xC4,0xB1,0xF2,0x74,0xF0,0x07,0x45,0x21,
+ 0x9B,0x77,0x58,0x9B,0x16,0x5C,0x85,0x18,0x13,0x5B,
+ 0xED,0xA3,0xED,0x79,0x31,0xDE,0x7A,0x35,0x8C,0xFB, /* 900 */
+
+ 0x32,0x30,0x76,0x2B,0x82,0x7F,0xE5,0x25,0x87,0x15,
+ 0x48,0x82,0x38,0x33,0x8B,0x4A,0x3F,0x18,0x70,0xCC,
+ 0xE7,0x59,0x54,0x9C,0xC5,0x4A,0x74,0x36,0x50,0x93,
+ 0x6F,0xB0,0xF4,0x58,0xE2,0x0D,0xFB,0xE8,0x9A,0x2A,
+ 0x5D,0x67,0xC5,0x20,0x69,0x9D,0x3E,0x4A,0xD6,0xE2,
+ 0xCE,0x17,0x08,0xC4,0x91,0x09,0xD6,0x71,0xD9,0x99,
+ 0xA5,0x33,0x77,0x98,0xAE,0x5D,0xE5,0x30,0x33,0x95,
+ 0x6B,0x98,0x24,0x30,0x58,0x9D,0xCE,0xF3,0x0F,0xAD,
+ 0x98,0x61,0x8F,0x57,0x29,0x76,0xEA,0x41,0x66,0xCC,
+ 0x2A,0xDC,0x0B,0x16,0xF6,0x55,0x1C,0x6A,0x5C,0x37, /* 1000 */
+
+ 0x83,0x0B,0xE9,0x82,0x15,0xEA,0x8A,0x2E,0x97,0x25,
+ 0x3E,0x29,0x56,0x71,0x1D,0x4D,0xE1,0x3F,0xAF,0xD1,
+ 0x41,0x84,0x3B,0xBC,0x28,0xA8,0xD4,0x4B,0xCB,0xFD,
+ 0x52,0x3D,0x9A,0xA6,0x40,0x55,0x88,0xEC,0x09,0xCE,
+ 0x43,0x5A,0x68,0x44,0xDF,0x0B,0x82,0x68,0xB4,0x39,
+ 0x07,0xB5,0x78,0xB6,0x1F,0x4C,0x4C,0x65,0x62,0xA1,
+ 0xB5,0x6E,0x9A,0x1B,0x74,0xD3,0xD1,0x75,0x29,0x81,
+ 0x2B,0x94,0xF4,0x9D,0x98,0xB4,0x2D,0xD3,0x4B,0x9F,
+ 0x0E,0x9C,0x71,0x25,0x13,0x7D,0x3C,0xBD,0x32,0x6C,
+ 0xA3,0x53,0x85,0x31,0x3F,0x51,0x96,0xED,0xC6,0x97, /* 1100 */
+
+ 0xB9,0xBB,0x20,0x4A,0xE4,0x29,0x8D,0xDF,0x9F,0x28,
+ 0x61,0xB3,0xF4,0x45,0xFE,0xC6,0xA8,0xFB,0x6A,0x8C,
+ 0x2C,0xFC,0x71,0x11,0x78,0xB9,0x86,0x4F,0x32,0x0E,
+ 0x4E,0x10,0x89,0x64,0xED,0x1C,0xB6,0xEE,0x94,0xAE,
+ 0xF7,0x22,0xFA,0xAE,0x36,0xA6,0x8B,0xC4,0xBD,0xA3,
+ 0x04,0x39,0x51,0x57,0x94,0xF8,0x81,0xA3,0x97,0xBD,
+ 0x78,0x2A,0x54,0x32,0x21,0x8D,0x25,0x31,0x26,0x2E,
+ 0xC6,0xB5,0x61,0x0D,0xE3,0xD5,0x6B,0x47,0xDE,0x5F,
+ 0xCA,0x82,0xC1,0x25,0x1A,0x66,0x62,0x21,0xCD,0x74,
+ 0x7B,0xF9,0x0D,0x1E,0x57,0xFB,0xAE,0x49,0x20,0xDD, /* 1200 */
+
+ 0xEA,0x69,0xA8,0x43,0x20,0xBD,0xB9,0xCB,0x32,0x5F,
+ 0xE3,0xAB,0x12,0xF9,0x7D,0x90,0x30,0x85,0x07,0x0E,
+ 0x9F,0xC2,0xA0,0x54,0x89,0xF3,0x36,0xC4,0x33,0xCF,
+ 0x97,0x0D,0x93,0x72,0x35,0x15,0x2E,0xCA,0x89,0x54,
+ 0x8E,0xE5,0x51,0xAF,0x8F,0x42,0x19,0x48,0xC2,0x56,
+ 0x1F,0x07,0xF3,0xED,0xE6,0xBC,0xB9,0xDB,0x4A,0xAC,
+ 0x15,0x14,0x88,0x62,0xBB,0x66,0x59,0xF6,0xD7,0xA1,
+ 0x54,0x38,0xF3,0x98,0x81,0x24,0x8F,0x2B,0xC7,0xAD,
+ 0x39,0x78,0x01,0xB8,0x94,0x46,0xF6,0xCD,0xDD,0x62,
+ 0xFE,0x56,0x69,0x6C,0x7C,0xBC,0x64,0x73,0xE9,0x5A, /* 1300 */
+
+ 0x8D,0x03,0xC5,0x73,0xE0),
+}};
START_TEST(test_oqs_sig_good)
{