Files
mlkem-sync/sync_rtl/top/TB/vectors/kat_c2_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

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