crypto/aes — validation proof

Go’s own crypto/aes 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/aes row in Validated Test Packages.

Validated 2026-09-22 · converter c6fdbe73c

57 matched · 0 disclosed — Go 1.24.13, windows/amd64, converted package src/core/crypto/aes.

Measured at Release (tiered JIT off), oracle go version go1.24.13 windows/amd64.

Verdicts

Test go test go2cs
TestAESBlock pass pass
TestAESBlock/AES-128 pass pass
TestAESBlock/AES-128/Decryption pass pass
TestAESBlock/AES-128/Decryption/Aliasing pass pass
TestAESBlock/AES-128/Decryption/AlterInput pass pass
TestAESBlock/AES-128/Decryption/BufferOverlap pass pass
TestAESBlock/AES-128/Decryption/NonZeroDst pass pass
TestAESBlock/AES-128/Decryption/OutOfBoundsRead pass pass
TestAESBlock/AES-128/Decryption/OutOfBoundsWrite pass pass
TestAESBlock/AES-128/Decryption/ShortBlock pass pass
TestAESBlock/AES-128/Encryption pass pass
TestAESBlock/AES-128/Encryption/Aliasing pass pass
TestAESBlock/AES-128/Encryption/AlterInput pass pass
TestAESBlock/AES-128/Encryption/BufferOverlap pass pass
TestAESBlock/AES-128/Encryption/NonZeroDst pass pass
TestAESBlock/AES-128/Encryption/OutOfBoundsRead pass pass
TestAESBlock/AES-128/Encryption/OutOfBoundsWrite pass pass
TestAESBlock/AES-128/Encryption/ShortBlock pass pass
TestAESBlock/AES-128/Roundtrip pass pass
TestAESBlock/AES-192 pass pass
TestAESBlock/AES-192/Decryption pass pass
TestAESBlock/AES-192/Decryption/Aliasing pass pass
TestAESBlock/AES-192/Decryption/AlterInput pass pass
TestAESBlock/AES-192/Decryption/BufferOverlap pass pass
TestAESBlock/AES-192/Decryption/NonZeroDst pass pass
TestAESBlock/AES-192/Decryption/OutOfBoundsRead pass pass
TestAESBlock/AES-192/Decryption/OutOfBoundsWrite pass pass
TestAESBlock/AES-192/Decryption/ShortBlock pass pass
TestAESBlock/AES-192/Encryption pass pass
TestAESBlock/AES-192/Encryption/Aliasing pass pass
TestAESBlock/AES-192/Encryption/AlterInput pass pass
TestAESBlock/AES-192/Encryption/BufferOverlap pass pass
TestAESBlock/AES-192/Encryption/NonZeroDst pass pass
TestAESBlock/AES-192/Encryption/OutOfBoundsRead pass pass
TestAESBlock/AES-192/Encryption/OutOfBoundsWrite pass pass
TestAESBlock/AES-192/Encryption/ShortBlock pass pass
TestAESBlock/AES-192/Roundtrip pass pass
TestAESBlock/AES-256 pass pass
TestAESBlock/AES-256/Decryption pass pass
TestAESBlock/AES-256/Decryption/Aliasing pass pass
TestAESBlock/AES-256/Decryption/AlterInput pass pass
TestAESBlock/AES-256/Decryption/BufferOverlap pass pass
TestAESBlock/AES-256/Decryption/NonZeroDst pass pass
TestAESBlock/AES-256/Decryption/OutOfBoundsRead pass pass
TestAESBlock/AES-256/Decryption/OutOfBoundsWrite pass pass
TestAESBlock/AES-256/Decryption/ShortBlock pass pass
TestAESBlock/AES-256/Encryption pass pass
TestAESBlock/AES-256/Encryption/Aliasing pass pass
TestAESBlock/AES-256/Encryption/AlterInput pass pass
TestAESBlock/AES-256/Encryption/BufferOverlap pass pass
TestAESBlock/AES-256/Encryption/NonZeroDst pass pass
TestAESBlock/AES-256/Encryption/OutOfBoundsRead pass pass
TestAESBlock/AES-256/Encryption/OutOfBoundsWrite pass pass
TestAESBlock/AES-256/Encryption/ShortBlock pass pass
TestAESBlock/AES-256/Roundtrip pass pass
TestCipherDecrypt pass pass
TestCipherEncrypt 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.