crypto/internal/hpke — validation proof
Go’s own crypto/internal/hpke 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/hpke row in
Validated Test Packages.
Validated 2026-08-14 · converter 759dd673d
19 matched · 0 disclosed — Go 1.23.1, windows/amd64, converted package
src/core/crypto/internal/hpke.
Both runtimes skip 4 of the matched tests identically.
Verdicts
| Test | go test |
go2cs |
|---|---|---|
TestRFC9180Vectors |
pass | pass |
TestRFC9180Vectors/DHKEM(P-256,_HKDF-SHA256),_HKDF-SHA256,_AES-128-GCM |
skip | skip |
TestRFC9180Vectors/DHKEM(P-256,_HKDF-SHA256),_HKDF-SHA256,_ChaCha20Poly1305 |
skip | skip |
TestRFC9180Vectors/DHKEM(P-256,_HKDF-SHA256),_HKDF-SHA512,_AES-128-GCM |
skip | skip |
TestRFC9180Vectors/DHKEM(P-521,_HKDF-SHA512),_HKDF-SHA512,_AES-256-GCM |
skip | skip |
TestRFC9180Vectors/DHKEM(X25519,_HKDF-SHA256),_HKDF-SHA256,_AES-128-GCM |
pass | pass |
TestRFC9180Vectors/DHKEM(X25519,_HKDF-SHA256),_HKDF-SHA256,_AES-128-GCM/seq_num_0 |
pass | pass |
TestRFC9180Vectors/DHKEM(X25519,_HKDF-SHA256),_HKDF-SHA256,_AES-128-GCM/seq_num_1 |
pass | pass |
TestRFC9180Vectors/DHKEM(X25519,_HKDF-SHA256),_HKDF-SHA256,_AES-128-GCM/seq_num_2 |
pass | pass |
TestRFC9180Vectors/DHKEM(X25519,_HKDF-SHA256),_HKDF-SHA256,_AES-128-GCM/seq_num_255 |
pass | pass |
TestRFC9180Vectors/DHKEM(X25519,_HKDF-SHA256),_HKDF-SHA256,_AES-128-GCM/seq_num_256 |
pass | pass |
TestRFC9180Vectors/DHKEM(X25519,_HKDF-SHA256),_HKDF-SHA256,_AES-128-GCM/seq_num_4 |
pass | pass |
TestRFC9180Vectors/DHKEM(X25519,_HKDF-SHA256),_HKDF-SHA256,_ChaCha20Poly1305 |
pass | pass |
TestRFC9180Vectors/DHKEM(X25519,_HKDF-SHA256),_HKDF-SHA256,_ChaCha20Poly1305/seq_num_0 |
pass | pass |
TestRFC9180Vectors/DHKEM(X25519,_HKDF-SHA256),_HKDF-SHA256,_ChaCha20Poly1305/seq_num_1 |
pass | pass |
TestRFC9180Vectors/DHKEM(X25519,_HKDF-SHA256),_HKDF-SHA256,_ChaCha20Poly1305/seq_num_2 |
pass | pass |
TestRFC9180Vectors/DHKEM(X25519,_HKDF-SHA256),_HKDF-SHA256,_ChaCha20Poly1305/seq_num_255 |
pass | pass |
TestRFC9180Vectors/DHKEM(X25519,_HKDF-SHA256),_HKDF-SHA256,_ChaCha20Poly1305/seq_num_256 |
pass | pass |
TestRFC9180Vectors/DHKEM(X25519,_HKDF-SHA256),_HKDF-SHA256,_ChaCha20Poly1305/seq_num_4 |
pass | pass |