implement ntt.zig: Montgomery + Barrett reduction, FIPS 203 Algorithm 9/10 NTT, BaseCaseMultiply, CCTV s[0] vector verified (v0.1.1)

dev · 6 weeks ago · 2026-04-26 · 132.0 KB

$ koh steal kepr.uk/zig-mlkem@87f0cd334319
·
← 0fa7d6ded209 b22b84ae82f0 →
⇓ download .face