implement sampling.zig: SHAKE128-driven sampleNTT, eta-CBD samplePolyCBD, PRF helper; CCTV A[0,0] and s[0] vectors verified (v0.1.4)

dev · 4 weeks ago · 2026-04-26 · 155.4 KB

$ koh steal kepr.uk/zig-mlkem@b38ae7161ab9