crypto/internal/fips140/mlkem — validation proof
Go’s own crypto/internal/fips140/mlkem test suite, converted to C# by go2cs, built against the converted standard
library, run under the Go-semantics test host, and compared verdict for verdict against a clean
go test -json baseline of the same sources. This page is generated by the converter from that
comparison — it is the evidence behind the crypto/internal/fips140/mlkem row in
Validated Test Packages.
Validated 2026-09-22 · converter c6fdbe73c
10 matched · 0 disclosed — Go 1.24.13, windows/amd64, converted package
src/core/crypto/internal/fips140/mlkem.
Measured at Release (tiered JIT off), oracle go version go1.24.13 windows/amd64.
Verdicts
| Test | go test |
go2cs |
|---|---|---|
TestCompress |
pass | pass |
TestDecompress |
pass | pass |
TestDecompressCompress |
pass | pass |
TestEncodeDecode |
pass | pass |
TestFieldAdd |
pass | pass |
TestFieldMul |
pass | pass |
TestFieldReduce |
pass | pass |
TestFieldSub |
pass | pass |
TestGammas |
pass | pass |
TestZetas |
pass | pass |