crypto/internal/fips140/rsa — validation proof
Go’s own crypto/internal/fips140/rsa 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/rsa row in
Validated Test Packages.
Validated 2026-09-22 · converter c6fdbe73c
123 matched · 0 disclosed — Go 1.24.13, windows/amd64, converted package
src/core/crypto/internal/fips140/rsa.
Measured at Release (tiered JIT off), oracle go version go1.24.13 windows/amd64.
Both runtimes skip 31 of the matched tests identically.
Verdicts
| Test | go test |
go2cs |
|---|---|---|
TestEMSAPSS |
pass | pass |
TestHashPrefixes |
pass | pass |
TestMillerRabin |
pass | pass |
TestMillerRabin/line_100 |
pass | pass |
TestMillerRabin/line_105 |
pass | pass |
TestMillerRabin/line_11 |
pass | pass |
TestMillerRabin/line_110 |
pass | pass |
TestMillerRabin/line_115 |
pass | pass |
TestMillerRabin/line_120 |
pass | pass |
TestMillerRabin/line_125 |
pass | pass |
TestMillerRabin/line_133 |
pass | pass |
TestMillerRabin/line_138 |
pass | pass |
TestMillerRabin/line_143 |
pass | pass |
TestMillerRabin/line_148 |
pass | pass |
TestMillerRabin/line_15 |
pass | pass |
TestMillerRabin/line_153 |
pass | pass |
TestMillerRabin/line_158 |
pass | pass |
TestMillerRabin/line_163 |
pass | pass |
TestMillerRabin/line_173 |
pass | pass |
TestMillerRabin/line_178 |
pass | pass |
TestMillerRabin/line_183 |
pass | pass |
TestMillerRabin/line_188 |
pass | pass |
TestMillerRabin/line_19 |
pass | pass |
TestMillerRabin/line_193 |
pass | pass |
TestMillerRabin/line_198 |
pass | pass |
TestMillerRabin/line_203 |
pass | pass |
TestMillerRabin/line_208 |
pass | pass |
TestMillerRabin/line_215 |
pass | pass |
TestMillerRabin/line_220 |
pass | pass |
TestMillerRabin/line_225 |
pass | pass |
TestMillerRabin/line_23 |
pass | pass |
TestMillerRabin/line_230 |
pass | pass |
TestMillerRabin/line_235 |
pass | pass |
TestMillerRabin/line_240 |
pass | pass |
TestMillerRabin/line_245 |
pass | pass |
TestMillerRabin/line_250 |
pass | pass |
TestMillerRabin/line_255 |
pass | pass |
TestMillerRabin/line_260 |
pass | pass |
TestMillerRabin/line_269 |
pass | pass |
TestMillerRabin/line_274 |
pass | pass |
TestMillerRabin/line_279 |
pass | pass |
TestMillerRabin/line_284 |
pass | pass |
TestMillerRabin/line_289 |
pass | pass |
TestMillerRabin/line_294 |
pass | pass |
TestMillerRabin/line_299 |
pass | pass |
TestMillerRabin/line_304 |
pass | pass |
TestMillerRabin/line_309 |
pass | pass |
TestMillerRabin/line_314 |
pass | pass |
TestMillerRabin/line_319 |
pass | pass |
TestMillerRabin/line_32 |
pass | pass |
TestMillerRabin/line_324 |
pass | pass |
TestMillerRabin/line_329 |
pass | pass |
TestMillerRabin/line_334 |
pass | pass |
TestMillerRabin/line_339 |
pass | pass |
TestMillerRabin/line_344 |
pass | pass |
TestMillerRabin/line_37 |
pass | pass |
TestMillerRabin/line_42 |
pass | pass |
TestMillerRabin/line_47 |
pass | pass |
TestMillerRabin/line_52 |
pass | pass |
TestMillerRabin/line_57 |
pass | pass |
TestMillerRabin/line_62 |
pass | pass |
TestMillerRabin/line_67 |
pass | pass |
TestMillerRabin/line_72 |
pass | pass |
TestMillerRabin/line_77 |
pass | pass |
TestMillerRabin/line_82 |
pass | pass |
TestMillerRabin/line_87 |
pass | pass |
TestMillerRabin/line_95 |
pass | pass |
TestTotient |
pass | pass |
TestTotient/line_104 |
skip | skip |
TestTotient/line_109 |
skip | skip |
TestTotient/line_114 |
pass | pass |
TestTotient/line_119 |
pass | pass |
TestTotient/line_124 |
pass | pass |
TestTotient/line_129 |
pass | pass |
TestTotient/line_134 |
pass | pass |
TestTotient/line_139 |
skip | skip |
TestTotient/line_14 |
pass | pass |
TestTotient/line_144 |
skip | skip |
TestTotient/line_149 |
pass | pass |
TestTotient/line_154 |
skip | skip |
TestTotient/line_159 |
skip | skip |
TestTotient/line_164 |
skip | skip |
TestTotient/line_169 |
skip | skip |
TestTotient/line_174 |
skip | skip |
TestTotient/line_179 |
skip | skip |
TestTotient/line_184 |
skip | skip |
TestTotient/line_189 |
skip | skip |
TestTotient/line_19 |
pass | pass |
TestTotient/line_194 |
skip | skip |
TestTotient/line_199 |
skip | skip |
TestTotient/line_204 |
skip | skip |
TestTotient/line_209 |
skip | skip |
TestTotient/line_214 |
skip | skip |
TestTotient/line_219 |
skip | skip |
TestTotient/line_224 |
skip | skip |
TestTotient/line_229 |
skip | skip |
TestTotient/line_234 |
skip | skip |
TestTotient/line_239 |
skip | skip |
TestTotient/line_24 |
pass | pass |
TestTotient/line_244 |
skip | skip |
TestTotient/line_249 |
skip | skip |
TestTotient/line_254 |
skip | skip |
TestTotient/line_259 |
pass | pass |
TestTotient/line_264 |
pass | pass |
TestTotient/line_269 |
pass | pass |
TestTotient/line_274 |
pass | pass |
TestTotient/line_279 |
pass | pass |
TestTotient/line_29 |
pass | pass |
TestTotient/line_34 |
skip | skip |
TestTotient/line_39 |
skip | skip |
TestTotient/line_44 |
skip | skip |
TestTotient/line_49 |
pass | pass |
TestTotient/line_54 |
pass | pass |
TestTotient/line_59 |
pass | pass |
TestTotient/line_64 |
pass | pass |
TestTotient/line_69 |
skip | skip |
TestTotient/line_74 |
skip | skip |
TestTotient/line_79 |
pass | pass |
TestTotient/line_84 |
pass | pass |
TestTotient/line_89 |
pass | pass |
TestTotient/line_9 |
skip | skip |
TestTotient/line_94 |
pass | pass |
TestTotient/line_99 |
pass | pass |