crypto/internal/fips140/mldsa — validation proof
Go’s own crypto/internal/fips140/mldsa 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/mldsa row in
Validated Test Packages.
Validated 2026-10-25 · converter b5fc1294d
46 matched · 0 disclosed — Go 1.26.10, windows/amd64, converted package
src/core/crypto/internal/fips140/mldsa.
Measured at Release (tiered JIT off), oracle go version go1.26.10 windows/amd64.
Verdicts
| Test | go test |
go2cs |
|---|---|---|
TestACVPRejectionKATs |
pass | pass |
TestACVPRejectionKATs/Count/ML-DSA-44/100 |
pass | pass |
TestACVPRejectionKATs/Count/ML-DSA-44/77 |
pass | pass |
TestACVPRejectionKATs/Count/ML-DSA-65/64 |
pass | pass |
TestACVPRejectionKATs/Count/ML-DSA-65/64#01 |
pass | pass |
TestACVPRejectionKATs/Count/ML-DSA-65/65 |
pass | pass |
TestACVPRejectionKATs/Count/ML-DSA-65/66 |
pass | pass |
TestACVPRejectionKATs/Count/ML-DSA-65/73 |
pass | pass |
TestACVPRejectionKATs/Count/ML-DSA-87/64 |
pass | pass |
TestACVPRejectionKATs/Count/ML-DSA-87/64#01 |
pass | pass |
TestACVPRejectionKATs/Count/ML-DSA-87/64#02 |
pass | pass |
TestACVPRejectionKATs/Count/ML-DSA-87/65 |
pass | pass |
TestACVPRejectionKATs/Count/ML-DSA-87/69 |
pass | pass |
TestACVPRejectionKATs/Path/ML-DSA-44/1 |
pass | pass |
TestACVPRejectionKATs/Path/ML-DSA-44/2 |
pass | pass |
TestACVPRejectionKATs/Path/ML-DSA-44/3 |
pass | pass |
TestACVPRejectionKATs/Path/ML-DSA-44/4 |
pass | pass |
TestACVPRejectionKATs/Path/ML-DSA-44/5 |
pass | pass |
TestACVPRejectionKATs/Path/ML-DSA-65/1 |
pass | pass |
TestACVPRejectionKATs/Path/ML-DSA-65/2 |
pass | pass |
TestACVPRejectionKATs/Path/ML-DSA-65/3 |
pass | pass |
TestACVPRejectionKATs/Path/ML-DSA-65/4 |
pass | pass |
TestACVPRejectionKATs/Path/ML-DSA-65/5 |
pass | pass |
TestACVPRejectionKATs/Path/ML-DSA-87/1 |
pass | pass |
TestACVPRejectionKATs/Path/ML-DSA-87/2 |
pass | pass |
TestACVPRejectionKATs/Path/ML-DSA-87/3 |
pass | pass |
TestACVPRejectionKATs/Path/ML-DSA-87/4 |
pass | pass |
TestACVPRejectionKATs/Path/ML-DSA-87/5 |
pass | pass |
TestCASTRejectionPaths |
pass | pass |
TestCenteredMod |
pass | pass |
TestConstants |
pass | pass |
TestDecompose |
pass | pass |
TestDecompose/ML-DSA-44 |
pass | pass |
TestDecompose/ML-DSA-65,87 |
pass | pass |
TestFieldAdd |
pass | pass |
TestFieldAddMul |
pass | pass |
TestFieldMul |
pass | pass |
TestFieldMulSub |
pass | pass |
TestFieldReduceOnce |
pass | pass |
TestFieldSub |
pass | pass |
TestFieldSubToMontgomery |
pass | pass |
TestFieldToMontgomeryOverflow |
pass | pass |
TestInfinityNorm |
pass | pass |
TestPower2Round |
pass | pass |
TestToFromMontgomery |
pass | pass |
TestZetas |
pass | pass |
Excluded declarations
Declarations filtered from both sides of the comparison, and therefore not claimed above:
Benchmark, Fuzz and Example declarations the converted host does not execute, plus any
test requiring a capability the managed runtime does not provide — a testing member the host
has not implemented, or a platform behavior it provably cannot reproduce. Each is named with
the capability it needs.
- BenchmarkCAST (benchmark): benchmark execution is deferred to Phase 4D