crypto/internal/edwards25519/field — validation proof
Go’s own crypto/internal/edwards25519/field 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/edwards25519/field row in
Validated Test Packages.
Validated 2026-08-14 · converter 759dd673d
16 matched · 0 disclosed — Go 1.23.1, windows/amd64, converted package
src/core/crypto/internal/edwards25519/field.
Verdicts
| Test | go test |
go2cs |
|---|---|---|
TestAliasing |
pass | pass |
TestBytesBigEquivalence |
pass | pass |
TestCarryPropagate |
pass | pass |
TestConsistency |
pass | pass |
TestDecimalConstants |
pass | pass |
TestEqual |
pass | pass |
TestFeMul |
pass | pass |
TestFeSquare |
pass | pass |
TestInvert |
pass | pass |
TestMul64to128 |
pass | pass |
TestMult32 |
pass | pass |
TestMultiplyDistributesOverAdd |
pass | pass |
TestSelectSwap |
pass | pass |
TestSetBytesRoundTrip |
pass | pass |
TestSetBytesRoundTripEdgeCases |
pass | pass |
TestSqrtRatio |
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.
- BenchmarkAdd (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkInvert (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkMult32 (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkMultiply (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkSquare (benchmark): benchmark execution is deferred to Phase 4D