crypto/internal/fips140/nistec — validation proof
Go’s own crypto/internal/fips140/nistec 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/nistec row in
Validated Test Packages.
Validated 2026-09-22 · converter c6fdbe73c
44 matched · 0 disclosed — Go 1.24.13, windows/amd64, converted package
src/core/crypto/internal/fips140/nistec.
Measured at Release (tiered JIT off), oracle go version go1.24.13 windows/amd64.
Verdicts
| Test | go test |
go2cs |
|---|---|---|
TestP256PrecomputedTable |
pass | pass |
TestP256PrecomputedTable/table[0] |
pass | pass |
TestP256PrecomputedTable/table[10] |
pass | pass |
TestP256PrecomputedTable/table[11] |
pass | pass |
TestP256PrecomputedTable/table[12] |
pass | pass |
TestP256PrecomputedTable/table[13] |
pass | pass |
TestP256PrecomputedTable/table[14] |
pass | pass |
TestP256PrecomputedTable/table[15] |
pass | pass |
TestP256PrecomputedTable/table[16] |
pass | pass |
TestP256PrecomputedTable/table[17] |
pass | pass |
TestP256PrecomputedTable/table[18] |
pass | pass |
TestP256PrecomputedTable/table[19] |
pass | pass |
TestP256PrecomputedTable/table[1] |
pass | pass |
TestP256PrecomputedTable/table[20] |
pass | pass |
TestP256PrecomputedTable/table[21] |
pass | pass |
TestP256PrecomputedTable/table[22] |
pass | pass |
TestP256PrecomputedTable/table[23] |
pass | pass |
TestP256PrecomputedTable/table[24] |
pass | pass |
TestP256PrecomputedTable/table[25] |
pass | pass |
TestP256PrecomputedTable/table[26] |
pass | pass |
TestP256PrecomputedTable/table[27] |
pass | pass |
TestP256PrecomputedTable/table[28] |
pass | pass |
TestP256PrecomputedTable/table[29] |
pass | pass |
TestP256PrecomputedTable/table[2] |
pass | pass |
TestP256PrecomputedTable/table[30] |
pass | pass |
TestP256PrecomputedTable/table[31] |
pass | pass |
TestP256PrecomputedTable/table[32] |
pass | pass |
TestP256PrecomputedTable/table[33] |
pass | pass |
TestP256PrecomputedTable/table[34] |
pass | pass |
TestP256PrecomputedTable/table[35] |
pass | pass |
TestP256PrecomputedTable/table[36] |
pass | pass |
TestP256PrecomputedTable/table[37] |
pass | pass |
TestP256PrecomputedTable/table[38] |
pass | pass |
TestP256PrecomputedTable/table[39] |
pass | pass |
TestP256PrecomputedTable/table[3] |
pass | pass |
TestP256PrecomputedTable/table[40] |
pass | pass |
TestP256PrecomputedTable/table[41] |
pass | pass |
TestP256PrecomputedTable/table[42] |
pass | pass |
TestP256PrecomputedTable/table[4] |
pass | pass |
TestP256PrecomputedTable/table[5] |
pass | pass |
TestP256PrecomputedTable/table[6] |
pass | pass |
TestP256PrecomputedTable/table[7] |
pass | pass |
TestP256PrecomputedTable/table[8] |
pass | pass |
TestP256PrecomputedTable/table[9] |
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.
- BenchmarkScalarBaseMult (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkScalarMult (benchmark): benchmark execution is deferred to Phase 4D