@@ -77,59 +77,75 @@ int32_t asn1_writer_encode_public_key(asn1_ctx *ctx, key_spec *key_spec, size_t
7777}
7878
7979static uint8_t mldsa44 [] = {
80- 48 , 52 , 2 , 1 , 0 , 48 , 11 , 6 , 9 , 96 , -122 , 72 , 1 , 101 ,
81- 3 , 4 , 3 , 17 , 4 , 34 , -128 , 32 , 0 , 0 , 0 , 24 , -114 ,
82- -53 , -113 , 95 , -119 , -16 , 39 , 21 , 113 , 55 , -26 , 114 ,
83- -74 , -30 , -20 , -39 , 107 , 62 , 87 , 20 , 41 , 34 , 90 , -18 ,
84- -39 , -100 , -91 , -10
80+ 0x30 , 0x34 , 0x02 , 0x01 , 0x00 , 0x30 , 0x0b , 0x06 , 0x09 ,
81+ 0x60 , 0x86 , 0x48 , 0x01 , 0x65 , 0x03 , 0x04 , 0x03 , 0x11 ,
82+ 0x04 , 0x22 , 0x80 , 0x20 , 0xbf , 0x4a , 0xea , 0x44 , 0x28 ,
83+ 0xe8 , 0x70 , 0xa4 , 0x30 , 0x3e , 0x86 , 0xb9 , 0x91 , 0x71 ,
84+ 0x57 , 0x2b , 0x39 , 0xe3 , 0x2c , 0x5a , 0x52 , 0x14 , 0x26 ,
85+ 0x46 , 0xbd , 0xaf , 0x35 , 0xd7 , 0xaa , 0x6d , 0x78 , 0x0c
86+
8587}; // Seed at byte 22 for 32
8688
8789static uint8_t mldsa65 [] = {
88- 48 , 52 , 2 , 1 , 0 , 48 , 11 , 6 , 9 , 96 , -122 , 72 , 1 , 101 ,
89- 3 , 4 , 3 , 18 , 4 , 34 , -128 , 32 , 8 , -114 , 106 , -34 , 33 ,
90- -98 , 52 , 82 , -49 , 38 , 83 , 64 , 94 , -40 , -4 , 34 , -102 ,
91- 114 , -44 , 79 , 63 , -108 , 20 , 90 , 127 , 120 , -99 , -103 ,
92- -60 , -128 , -41 , 87
90+ 0x30 , 0x34 , 0x02 , 0x01 , 0x00 , 0x30 , 0x0b , 0x06 , 0x09 ,
91+ 0x60 , 0x86 , 0x48 , 0x01 , 0x65 , 0x03 , 0x04 , 0x03 , 0x12 ,
92+ 0x04 , 0x22 , 0x80 , 0x20 , 0x4a , 0xe7 , 0xbe , 0x75 , 0x55 ,
93+ 0x37 , 0xfc , 0x5c , 0xdf , 0xde , 0x52 , 0xa6 , 0x71 , 0xc7 ,
94+ 0x07 , 0xdb , 0xc1 , 0x84 , 0x98 , 0xc9 , 0xb4 , 0x41 , 0xa3 ,
95+ 0xe4 , 0x3c , 0x92 , 0x9a , 0xc6 , 0x3e , 0x51 , 0x5f , 0x13
9396};
9497
9598static uint8_t mldsa87 [] = {
96- 48 , 52 , 2 , 1 , 0 , 48 , 11 , 6 , 9 , 96 , -122 , 72 , 1 , 101 ,
97- 3 , 4 , 3 , 19 , 4 , 34 , -128 , 32 , -53 , 1 , -80 , -43 , -69 ,
98- -53 , -31 , -23 , 13 , 107 , 112 , 73 , -105 , -65 , 120 , 123 ,
99- 87 , 81 , 58 , 107 , 18 , 65 , -62 , -8 , 92 , 36 , 126 , -97 ,
100- -4 , 64 , 93 , -86
99+ 0x30 , 0x34 , 0x02 , 0x01 , 0x00 , 0x30 , 0x0b , 0x06 , 0x09 ,
100+ 0x60 , 0x86 , 0x48 , 0x01 , 0x65 , 0x03 , 0x04 , 0x03 , 0x13 ,
101+ 0x04 , 0x22 , 0x80 , 0x20 , 0x5b , 0x6a , 0x6d , 0x59 , 0xaf ,
102+ 0x8b , 0x09 , 0x18 , 0xf6 , 0x73 , 0x9c , 0x86 , 0xb3 , 0x57 ,
103+ 0x78 , 0x1f , 0x90 , 0x4f , 0x91 , 0x71 , 0x0a , 0x00 , 0x70 ,
104+ 0x0e , 0xa7 , 0xf1 , 0x34 , 0xba , 0xb3 , 0xd4 , 0x3e , 0xec
105+
101106};
102107
103108
104109static uint8_t mlkem512 [] = {
105- 48 , 84 , 2 , 1 , 0 , 48 , 11 , 6 , 9 , 96 , -122 , 72 , 1 , 101 , 3 ,
106- 4 , 4 , 1 , 4 , 66 , -128 , 64 , -21 , -50 , 86 , -11 , -120 , -111 ,
107- 60 , 38 , 98 , 62 , 7 , 9 , 64 , 49 , -67 , -88 , -37 , 65 , 3 , -70 ,
108- -119 , -109 , -22 , 120 , -69 , 95 , 89 , 72 , -79 , -53 , -100 ,
109- -112 , -103 , 49 , -118 , 107 , -10 , 52 , -4 , 35 , -69 , 17 , 67 ,
110- 58 , -24 , -123 , -77 , -70 , 74 , 125 , -83 , -33 , -126 , 34 , 32 ,
111- 24 , 28 , -99 , -53 , 31 , 23 , 97 , -59 , -111
110+ 0x30 , 0x54 , 0x02 , 0x01 , 0x00 , 0x30 , 0x0b , 0x06 , 0x09 ,
111+ 0x60 , 0x86 , 0x48 , 0x01 , 0x65 , 0x03 , 0x04 , 0x04 , 0x01 ,
112+ 0x04 , 0x42 , 0x80 , 0x40 , 0xa9 , 0x9f , 0xb4 , 0xeb , 0x19 ,
113+ 0xf0 , 0x71 , 0x74 , 0x2e , 0x77 , 0x93 , 0xc3 , 0xdf , 0xf3 ,
114+ 0x36 , 0x3d , 0x76 , 0x64 , 0x41 , 0x47 , 0x55 , 0x53 , 0x26 ,
115+ 0xf9 , 0x0b , 0x33 , 0x2b , 0x6a , 0x0b , 0x1e , 0x08 , 0xca ,
116+ 0x60 , 0x5e , 0x10 , 0x87 , 0x42 , 0xa9 , 0xa4 , 0x16 , 0xeb ,
117+ 0xec , 0x8f , 0xd2 , 0x07 , 0x4c , 0x63 , 0xe6 , 0xc1 , 0x59 ,
118+ 0x02 , 0xbd , 0xf7 , 0x03 , 0x18 , 0x81 , 0xd0 , 0x86 , 0x18 ,
119+ 0x5f , 0xaf , 0xa4 , 0x53 , 0x65
120+
112121};
113122
114123static uint8_t mlkem768 [] = {
115- 48 , 84 , 2 , 1 , 0 , 48 , 11 , 6 , 9 , 96 , -122 , 72 , 1 , 101 , 3 ,
116- 4 , 4 , 2 , 4 , 66 , -128 , 64 , -70 , -57 , -85 , 79 , -37 , -43 ,
117- 102 , 66 , 26 , -118 , -59 , 37 , 104 , 86 , -89 , -108 , 45 , -25 ,
118- 13 , 61 , -80 , 10 , -55 , 30 , 47 , -57 , 117 , -72 , -44 , -66 ,
119- 61 , 88 , -128 , 21 , -88 , 9 , -1 , 26 , -103 , 33 , -26 , 72 , -32 ,
120- -33 , -72 , 26 , -101 , 64 , 28 , -21 , 94 , 113 , 22 , -70 , -20 ,
121- -78 , 23 , 40 , 16 , 12 , 60 , 6 , -109 , -89
124+ 0x30 , 0x54 , 0x02 , 0x01 , 0x00 , 0x30 , 0x0b , 0x06 , 0x09 ,
125+ 0x60 , 0x86 , 0x48 , 0x01 , 0x65 , 0x03 , 0x04 , 0x04 , 0x02 ,
126+ 0x04 , 0x42 , 0x80 , 0x40 , 0xad , 0x8e , 0x66 , 0x26 , 0xf3 ,
127+ 0x0e , 0xbb , 0x64 , 0x5d , 0x46 , 0x4f , 0x27 , 0xe5 , 0xd9 ,
128+ 0x35 , 0x5a , 0xc0 , 0x33 , 0x67 , 0xfc , 0xc7 , 0xaf , 0x7e ,
129+ 0x0b , 0xd8 , 0x9e , 0x3d , 0xfb , 0x0a , 0xeb , 0x81 , 0x25 ,
130+ 0x04 , 0xee , 0xef , 0x65 , 0x16 , 0xae , 0x75 , 0xc4 , 0x26 ,
131+ 0xe4 , 0x1b , 0xab , 0xb7 , 0x15 , 0x4f , 0xcd , 0x2a , 0xb4 ,
132+ 0xce , 0x44 , 0x90 , 0xd1 , 0x4a , 0x1c , 0xa7 , 0x16 , 0xed ,
133+ 0x59 , 0x3e , 0x06 , 0x84 , 0x70
122134}; // Seed at byte 22 for 64
123135
124136
125137static uint8_t mlkem1024 [] = {
126- 48 , 84 , 2 , 1 , 0 , 48 , 11 , 6 , 9 , 96 , -122 , 72 , 1 , 101 , 3 , 4 ,
127- 4 , 3 , 4 , 66 , -128 , 64 , -26 , -73 , 52 , -19 , 111 , 116 , 81 , 6 ,
128- 72 , -100 , 120 , -75 , -90 , -118 , 44 , -100 , 59 , 41 , -35 , 81 ,
129- -109 , -121 , -42 , -37 , -102 , 11 , -9 , 3 , -50 , -59 , 30 , -15 ,
130- 9 , 46 , -71 , 106 , -45 , 2 , -126 , 64 , 108 , 114 , -67 , -91 , -68 ,
131- 38 , -77 , 97 , -56 , 126 , -8 , -43 , 127 , -30 , 2 , -60 , 95 , -74 ,
132- 125 , -101 , 88 , 35 , -17 , 89
138+ 0x30 , 0x54 , 0x02 , 0x01 , 0x00 , 0x30 , 0x0b , 0x06 , 0x09 ,
139+ 0x60 , 0x86 , 0x48 , 0x01 , 0x65 , 0x03 , 0x04 , 0x04 , 0x03 ,
140+ 0x04 , 0x42 , 0x80 , 0x40 , 0x63 , 0xd5 , 0x5c , 0xcf , 0x87 ,
141+ 0x5f , 0x42 , 0xd0 , 0xf2 , 0x5c , 0xee , 0xb5 , 0x3e , 0x76 ,
142+ 0x38 , 0xef , 0x65 , 0xb2 , 0x32 , 0x8b , 0xaf , 0x45 , 0x27 ,
143+ 0x10 , 0x4d , 0x6d , 0x61 , 0xb9 , 0xe2 , 0x7d , 0xeb , 0x4f ,
144+ 0x99 , 0x3a , 0x0f , 0x33 , 0xe9 , 0x79 , 0x15 , 0x37 , 0x11 ,
145+ 0xa0 , 0xdb , 0x9e , 0x5c , 0x3b , 0xf1 , 0x9e , 0xb2 , 0xcc ,
146+ 0xd0 , 0x83 , 0xbd , 0x4b , 0x5a , 0xa8 , 0x16 , 0x84 , 0xb0 ,
147+ 0x8e , 0xae , 0x48 , 0xde , 0xe3
148+
133149};
134150
135151
0 commit comments