Files
mlkem-sync/sync_rtl/top/TB/vectors/kat_c1_dk.hex
FallenSigh 42d3748ab6 test(mlkem_top): KeyGen verified vs NIST KAT count=0..4
Parameterized end-to-end TB (tb_mlkem_kg_katN, +CASE=n) loads d/z/ek/dk from
per-case hex files. All 5 cases pass byte-exact:
  ek == KAT pk (800B), dk == KAT sk (1632B), ~21350 cyc each.
Five independent seeds exercise distinct rejection-sampling paths.
Vectors derived from kat_MLKEM_512.rsp with sk-layout sanity checks
(sk = dk_pke || ek || H(ek) || z).
2026-06-28 02:23:18 +08:00

1633 lines
4.8 KiB
Plaintext

9a
5c
36
88
a0
c2
e3
e6
b1
48
04
a9
04
47
c7
1e
c6
5f
bb
c9
c4
5a
1b
9e
58
ba
55
22
23
17
6f
36
87
c1
2a
b4
9a
f9
6a
82
90
32
6f
5c
1d
6e
9a
1c
83
eb
35
25
d8
1e
35
76
36
56
e4
88
df
f3
72
88
66
2a
3b
f7
99
dc
38
5b
8e
04
aa
35
46
c2
83
c2
0b
f8
c6
05
fa
f7
28
49
f6
49
fd
12
84
52
62
82
c7
8c
c6
7f
58
c9
a2
d1
4f
2d
29
48
12
20
6f
91
fa
93
b0
36
9e
54
c4
a3
8b
5a
4d
55
0b
95
e5
20
b7
d5
db
a9
04
a5
64
e3
79
37
cc
85
03
23
cc
bc
e0
d6
9a
2b
88
40
e4
c4
59
d9
7c
72
13
9a
2c
19
90
61
2f
90
ad
c2
d2
aa
7b
c8
4d
16
e9
42
71
57
4f
9c
17
36
b9
a3
55
16
57
5a
15
2a
02
e5
38
15
0d
6c
9d
48
c6
ad
02
f6
95
8e
1c
b9
22
70
a0
1f
a1
37
2e
f1
60
9f
92
80
39
71
29
25
fc
a6
9f
bc
83
5c
d2
40
a3
a1
8b
0c
bc
14
32
b1
cc
7b
d3
aa
15
13
94
c4
6a
0d
26
38
5a
a2
43
95
2d
93
57
c0
63
60
f5
b3
7a
94
5c
26
de
ec
91
98
62
aa
a8
f1
b5
02
41
62
59
41
1f
eb
2c
b2
75
61
7c
cf
b1
98
c3
15
17
0a
13
c5
23
02
20
3d
0b
a7
70
f5
c5
2f
31
39
4a
12
30
3f
14
9e
5b
45
92
9f
c3
3b
49
e2
77
ba
45
b1
ec
39
0c
d7
6a
96
40
44
39
83
65
58
d9
c7
00
7e
b4
2e
16
c5
3d
9c
77
ca
ad
6b
1e
71
cc
02
89
b4
4c
9b
da
c9
e5
41
56
e9
d7
44
73
d6
30
b7
1a
47
39
37
b6
c2
45
aa
ed
aa
42
36
fc
53
ac
91
9e
8a
89
5f
3a
83
9d
16
93
2b
26
a1
a7
68
8a
b2
47
11
8e
ea
16
a2
58
f3
67
da
10
1a
a5
c9
b6
17
e2
b7
cb
90
58
57
f7
33
d3
c3
be
ba
f9
bd
80
b8
c9
2e
06
ba
45
3b
c8
4a
d5
c6
2d
47
50
79
b9
56
91
24
ba
89
7b
61
1d
44
11
16
59
c8
eb
93
84
63
ca
89
65
69
12
3b
c3
2a
ed
d6
37
93
2b
49
56
27
a9
fb
d2
bf
15
e7
7b
9f
e2
ad
20
84
5f
db
04
ba
b1
87
8e
f7
c7
19
73
96
5a
42
d6
ba
16
75
52
74
49
3d
8c
99
c3
9f
aa
4b
a6
36
8f
c9
34
60
d7
34
a6
66
d3
74
c8
07
b1
7b
4b
b2
5f
d5
87
97
78
63
2b
94
68
ef
d1
13
9c
4a
37
a7
cb
0a
87
ca
89
3b
c9
14
a3
c4
a0
f3
46
b1
57
ab
33
1d
f3
0b
59
95
07
6a
50
3e
cb
58
6e
ac
f6
75
11
18
66
22
8a
14
64
45
18
a6
d1
03
c2
74
7f
18
d0
92
37
db
bb
51
5c
bc
48
51
8e
d0
82
71
0d
1a
6a
f9
71
4c
71
c1
64
bc
e6
1f
de
d3
19
56
80
6c
d9
41
ba
6d
6c
2a
59
44
00
1a
20
00
0f
d4
6f
85
89
44
3b
21
10
14
89
8b
c6
93
33
ad
f4
be
d3
b0
6f
43
53
8f
80
39
97
17
62
60
9f
d2
74
65
95
b5
f7
f3
48
e6
31
c7
6d
c1
c6
3c
14
75
40
42
51
94
98
1b
5a
fa
44
93
b4
17
6a
87
ae
f9
8a
0c
ce
84
3b
1d
b9
03
6f
d9
50
4d
60
89
3d
19
c1
34
71
b6
4f
60
95
c0
2c
52
2b
c4
a2
1a
9c
83
6f
f6
81
bd
50
79
95
b2
6f
4c
a9
0c
1e
18
8c
e8
cb
08
f1
26
03
69
98
92
de
e7
89
22
bb
8d
a2
f4
76
4d
ca
45
f8
ea
4c
1f
53
0a
1c
57
1d
3a
d1
92
4b
58
96
98
cb
27
19
e0
69
fd
94
3c
14
52
c5
d1
68
b2
b3
57
b2
65
83
1c
01
9c
b3
55
7a
0b
f7
18
7e
4d
10
8b
f7
70
c7
4d
b4
03
89
cc
71
8f
3b
c1
1c
e3
ab
a8
43
66
ab
24
51
94
b9
41
f8
1b
7a
e7
02
41
9b
b9
8d
73
ba
00
37
83
30
6c
7b
3a
36
77
a5
43
a0
10
0c
31
75
e8
c0
20
ca
26
65
12
90
9c
35
50
c4
f6
5c
0e
a3
e2
4a
47
23
7d
9a
4a
0b
5a
e5
88
f9
83
31
1f
aa
36
e8
91
af
8e
a1
b3
08
c8
31
79
24
61
54
c7
65
ac
5b
5a
15
45
6e
19
33
08
00
28
37
d1
43
54
e0
66
a3
4a
44
09
af
bb
15
08
5a
ad
c9
e2
2b
8d
b5
58
3d
45
b0
a4
ac
72
47
4a
2a
b9
4b
79
2e
53
1a
b0
cb
88
2c
13
a4
13
9a
71
ff
a3
78
3b
53
71
78
f3
4e
11
1b
6c
3f
12
0a
76
d4
cd
ce
c4
61
84
30
35
ac
d2
85
ed
62
7d
8b
d2
b0
b9
97
cc
ce
b4
ad
ae
36
15
a7
3b
ba
0a
7c
7b
b9
b1
33
58
bb
51
ff
8a
57
4d
86
b5
00
02
72
cd
27
0a
0a
1b
24
bb
91
75
06
70
1c
2f
44
1f
c5
b7
9d
d4
51
cb
3c
ac
c7
40
12
7b
d4
11
60
4b
da
c4
64
da
1a
2f
83
91
8c
5b
2f
b6
e5
28
4c
97
2b
93
35
7a
83
78
28
b1
13
26
32
bb
6f
7b
fb
be
c3
d9
47
bd
40
3d
86
99
00
66
db
65
53
72
24
34
c7
c0
e3
99
2f
00
9b
b2
38
f7
a6
b3
e5
25
1e
da
94
3a
77
03
fb
a2
89
aa
20
53
a8
57
79
6c
2c
b9
45
49
4c
0b
a7
91
a9
e3
cb
fa
80
0d
89
88
c8
12
19
97
d9
75
b3
d0
35
95
ad
d6
4a
3e
ac
b8
ba
36
a4
d8
b3
bf
dc
11
b7
d5
62
39
08
7c
90
f3
52
c0
ee
c4
08
57
f0
89
cc
fa
7c
9a
68
3a
1d
e3
cd
8f
f2
8b
22
15
3d
de
23
1e
5f
74
80
5d
68
3e
b8
c3
46
ba
16
c7
fe
68
06
4b
20
59
c8
73
8e
5a
c1
9b
64
d4
34
3f
5c
9d
8b
f9
78
03
02
b0
67
6c
20
2a
21
29
2c
c1
5f
c1
58
9a
69
83
8a
d1
ea
3d
0c
37
06
f8
e1
b0
11
f6
12
99
a5
6e
c2
51
50
51
fb
94
73
4b
30
8a
f3
c3
5e
45
ab
fa
dc
12
8f
e6
98
38
aa
37
08
05
14
d6
c3
74
8c
91
6b
d6
55
08
0a
10
35
ff
1a
76
3e
45
0b
56
86
4c
c2
32
af
ee
53
91
9f
f8
89
a8
20
a7
a6
55
86
31
b8
8f
73
18
c0
33
80
0f
30
7c
19
b2
d0
a8
b6
58
82
d8
77
09
79
a5
70
1a
c6
02
f7
1b
72
a2
6b
82
52
5a
a6
7d
77
c7
5e
b6
87
1d
c0
19
b4
65
58
3a
25
0d
b4
70
49
06
18
7e
8d
fb
3b
70
72
69
88
f9
c5
2c
12
26
6c
63
91
d4
92
6c
b7
99
78
00
7c
a4
6e
f6
08
82
80
6f
fd
59
c6
4e
d7
03
33
98
9a
ac
51
86
99
04
40
b8
9c
3c
d1
36
3b
e4
04
70
6d
bb
63
a5
a0
07
a0
fa
c2
61
a0
28
8f
91
6f
af
0a
a4
e9
44
55
2f
10
80
1a
3a
5d
de
26
33
98
01
5c
c3
52
27
bd
17
11
35
62
51
aa
93
5a
89
bc
2e
3d
2c
08
e1
c9
a8
c1
e4
41
6f
30
3b
b7
3b
31
48
58
ca
4c
21
0c
95
92
83
fc
86
5b
02
77
68
c5
d6
04
7f
d3
6d
bc
bc
4e
df
3e
a5
cc
6a
50
cb
05
2b
cd
31
8d
a4
3b
ab
c9
ad
69
b0
45
58
3f
f6
80
04
7a
5b
48
9b
6f
8a
24
1f
74
8d
d0
6f
49
39
b1
9e
fe
ee
6d
e6
2e
34
65
a5
5c
9c
78
a0
7d
26
5b
e8
54
0b
3e
58
b0
80
1a
12
4d
07
ff
12
b4
38
d5
20
2e
a0