fallensigh/mlkem-sync
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

test(mlkem_top): KeyGen verified vs NIST KAT count=0..4

Browse Source 
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).
This commit is contained in:
FallenSigh
2026-06-28 02:23:18 +08:00
parent 9824ed8f2c
commit 42d3748ab6
21 changed files with 12242 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
sync_rtl/top/TB/vectors/kat_c0_z.hex Normal file
View File

@@ -0,0 +1 @@
687acf9406694974d383032f7579378f449c75d0560af56cf921ec48404896f6