crypto/elliptic — validation proof
Go’s own crypto/elliptic 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/elliptic row in
Validated Test Packages.
Validated 2026-08-09 · converter ff310fcd6
82 matched · 0 disclosed — Go 1.23.1, windows/amd64, converted package
src/core/crypto/elliptic.
Verdicts
| Test | go test |
go2cs |
|---|---|---|
TestInfinity |
pass | pass |
TestInfinity/P224 |
pass | pass |
TestInfinity/P224/Params |
pass | pass |
TestInfinity/P256 |
pass | pass |
TestInfinity/P256/Params |
pass | pass |
TestInfinity/P384 |
pass | pass |
TestInfinity/P384/Params |
pass | pass |
TestInfinity/P521 |
pass | pass |
TestInfinity/P521/Params |
pass | pass |
TestInvalidCoordinates |
pass | pass |
TestInvalidCoordinates/P224 |
pass | pass |
TestInvalidCoordinates/P224/Params |
pass | pass |
TestInvalidCoordinates/P256 |
pass | pass |
TestInvalidCoordinates/P256/Params |
pass | pass |
TestInvalidCoordinates/P384 |
pass | pass |
TestInvalidCoordinates/P384/Params |
pass | pass |
TestInvalidCoordinates/P521 |
pass | pass |
TestInvalidCoordinates/P521/Params |
pass | pass |
TestIssue52075 |
pass | pass |
TestLargeIsOnCurve |
pass | pass |
TestLargeIsOnCurve/P224 |
pass | pass |
TestLargeIsOnCurve/P224/Params |
pass | pass |
TestLargeIsOnCurve/P256 |
pass | pass |
TestLargeIsOnCurve/P256/Params |
pass | pass |
TestLargeIsOnCurve/P384 |
pass | pass |
TestLargeIsOnCurve/P384/Params |
pass | pass |
TestLargeIsOnCurve/P521 |
pass | pass |
TestLargeIsOnCurve/P521/Params |
pass | pass |
TestMarshal |
pass | pass |
TestMarshal/P224 |
pass | pass |
TestMarshal/P224/Params |
pass | pass |
TestMarshal/P256 |
pass | pass |
TestMarshal/P256/Params |
pass | pass |
TestMarshal/P384 |
pass | pass |
TestMarshal/P384/Params |
pass | pass |
TestMarshal/P521 |
pass | pass |
TestMarshal/P521/Params |
pass | pass |
TestMarshalCompressed |
pass | pass |
TestMarshalCompressed/Invalid |
pass | pass |
TestMarshalCompressed/P-256/02 |
pass | pass |
TestMarshalCompressed/P-256/03 |
pass | pass |
TestMarshalCompressed/P224 |
pass | pass |
TestMarshalCompressed/P224/Params |
pass | pass |
TestMarshalCompressed/P256 |
pass | pass |
TestMarshalCompressed/P256/Params |
pass | pass |
TestMarshalCompressed/P384 |
pass | pass |
TestMarshalCompressed/P384/Params |
pass | pass |
TestMarshalCompressed/P521 |
pass | pass |
TestMarshalCompressed/P521/Params |
pass | pass |
TestOffCurve |
pass | pass |
TestOffCurve/P224 |
pass | pass |
TestOffCurve/P224/Params |
pass | pass |
TestOffCurve/P256 |
pass | pass |
TestOffCurve/P256/Params |
pass | pass |
TestOffCurve/P384 |
pass | pass |
TestOffCurve/P384/Params |
pass | pass |
TestOffCurve/P521 |
pass | pass |
TestOffCurve/P521/Params |
pass | pass |
TestOnCurve |
pass | pass |
TestOnCurve/P224 |
pass | pass |
TestOnCurve/P224/Params |
pass | pass |
TestOnCurve/P256 |
pass | pass |
TestOnCurve/P256/Params |
pass | pass |
TestOnCurve/P384 |
pass | pass |
TestOnCurve/P384/Params |
pass | pass |
TestOnCurve/P521 |
pass | pass |
TestOnCurve/P521/Params |
pass | pass |
TestP224BaseMult |
pass | pass |
TestP224GenericBaseMult |
pass | pass |
TestP224Overflow |
pass | pass |
TestP256BaseMult |
pass | pass |
TestP256CombinedMult |
pass | pass |
TestP256Mult |
pass | pass |
TestUnmarshalToLargeCoordinates |
pass | pass |
TestUnmarshalToLargeCoordinates/P224 |
pass | pass |
TestUnmarshalToLargeCoordinates/P224/Params |
pass | pass |
TestUnmarshalToLargeCoordinates/P256 |
pass | pass |
TestUnmarshalToLargeCoordinates/P256/Params |
pass | pass |
TestUnmarshalToLargeCoordinates/P384 |
pass | pass |
TestUnmarshalToLargeCoordinates/P384/Params |
pass | pass |
TestUnmarshalToLargeCoordinates/P521 |
pass | pass |
TestUnmarshalToLargeCoordinates/P521/Params |
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.
- BenchmarkMarshalUnmarshal (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkScalarBaseMult (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkScalarMult (benchmark): benchmark execution is deferred to Phase 4D