crypto/rsa — validation proof

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

Validated 2026-08-10 · converter f65bd5553

559 matched · 1 disclosed — Go 1.23.1, windows/amd64, converted package src/core/crypto/rsa.

Verdicts

Test go test go2cs
Test2DecryptOAEP pass pass
Test3PrimeKeyGeneration pass pass
Test4PrimeKeyGeneration pass pass
TestAllocations pass fail (disclosed)
TestDecryptOAEP pass pass
TestDecryptPKCS1v15 pass pass
TestEMSAPSS pass pass
TestEncryptDecryptOAEP pass pass
TestEncryptOAEP pass pass
TestEncryptPKCS1v15 pass pass
TestEncryptPKCS1v15DecrypterSessionKey pass pass
TestEncryptPKCS1v15SessionKey pass pass
TestEqual pass pass
TestEverything pass pass
TestEverything/100 pass pass
TestEverything/101 pass pass
TestEverything/102 pass pass
TestEverything/103 pass pass
TestEverything/104 pass pass
TestEverything/105 pass pass
TestEverything/106 pass pass
TestEverything/107 pass pass
TestEverything/108 pass pass
TestEverything/109 pass pass
TestEverything/110 pass pass
TestEverything/111 pass pass
TestEverything/112 pass pass
TestEverything/113 pass pass
TestEverything/114 pass pass
TestEverything/115 pass pass
TestEverything/116 pass pass
TestEverything/117 pass pass
TestEverything/118 pass pass
TestEverything/119 pass pass
TestEverything/120 pass pass
TestEverything/121 pass pass
TestEverything/122 pass pass
TestEverything/123 pass pass
TestEverything/124 pass pass
TestEverything/125 pass pass
TestEverything/126 pass pass
TestEverything/127 pass pass
TestEverything/128 pass pass
TestEverything/129 pass pass
TestEverything/130 pass pass
TestEverything/131 pass pass
TestEverything/132 pass pass
TestEverything/133 pass pass
TestEverything/134 pass pass
TestEverything/135 pass pass
TestEverything/136 pass pass
TestEverything/137 pass pass
TestEverything/138 pass pass
TestEverything/139 pass pass
TestEverything/140 pass pass
TestEverything/141 pass pass
TestEverything/142 pass pass
TestEverything/143 pass pass
TestEverything/144 pass pass
TestEverything/145 pass pass
TestEverything/146 pass pass
TestEverything/147 pass pass
TestEverything/148 pass pass
TestEverything/149 pass pass
TestEverything/150 pass pass
TestEverything/151 pass pass
TestEverything/152 pass pass
TestEverything/153 pass pass
TestEverything/154 pass pass
TestEverything/155 pass pass
TestEverything/156 pass pass
TestEverything/157 pass pass
TestEverything/158 pass pass
TestEverything/159 pass pass
TestEverything/160 pass pass
TestEverything/161 pass pass
TestEverything/162 pass pass
TestEverything/163 pass pass
TestEverything/164 pass pass
TestEverything/165 pass pass
TestEverything/166 pass pass
TestEverything/167 pass pass
TestEverything/168 pass pass
TestEverything/169 pass pass
TestEverything/170 pass pass
TestEverything/171 pass pass
TestEverything/172 pass pass
TestEverything/173 pass pass
TestEverything/174 pass pass
TestEverything/175 pass pass
TestEverything/176 pass pass
TestEverything/177 pass pass
TestEverything/178 pass pass
TestEverything/179 pass pass
TestEverything/180 pass pass
TestEverything/181 pass pass
TestEverything/182 pass pass
TestEverything/183 pass pass
TestEverything/184 pass pass
TestEverything/185 pass pass
TestEverything/186 pass pass
TestEverything/187 pass pass
TestEverything/188 pass pass
TestEverything/189 pass pass
TestEverything/190 pass pass
TestEverything/191 pass pass
TestEverything/192 pass pass
TestEverything/193 pass pass
TestEverything/194 pass pass
TestEverything/195 pass pass
TestEverything/196 pass pass
TestEverything/197 pass pass
TestEverything/198 pass pass
TestEverything/199 pass pass
TestEverything/200 pass pass
TestEverything/201 pass pass
TestEverything/202 pass pass
TestEverything/203 pass pass
TestEverything/204 pass pass
TestEverything/205 pass pass
TestEverything/206 pass pass
TestEverything/207 pass pass
TestEverything/208 pass pass
TestEverything/209 pass pass
TestEverything/210 pass pass
TestEverything/211 pass pass
TestEverything/212 pass pass
TestEverything/213 pass pass
TestEverything/214 pass pass
TestEverything/215 pass pass
TestEverything/216 pass pass
TestEverything/217 pass pass
TestEverything/218 pass pass
TestEverything/219 pass pass
TestEverything/220 pass pass
TestEverything/221 pass pass
TestEverything/222 pass pass
TestEverything/223 pass pass
TestEverything/224 pass pass
TestEverything/225 pass pass
TestEverything/226 pass pass
TestEverything/227 pass pass
TestEverything/228 pass pass
TestEverything/229 pass pass
TestEverything/230 pass pass
TestEverything/231 pass pass
TestEverything/232 pass pass
TestEverything/233 pass pass
TestEverything/234 pass pass
TestEverything/235 pass pass
TestEverything/236 pass pass
TestEverything/237 pass pass
TestEverything/238 pass pass
TestEverything/239 pass pass
TestEverything/240 pass pass
TestEverything/241 pass pass
TestEverything/242 pass pass
TestEverything/243 pass pass
TestEverything/244 pass pass
TestEverything/245 pass pass
TestEverything/246 pass pass
TestEverything/247 pass pass
TestEverything/248 pass pass
TestEverything/249 pass pass
TestEverything/250 pass pass
TestEverything/251 pass pass
TestEverything/252 pass pass
TestEverything/253 pass pass
TestEverything/254 pass pass
TestEverything/255 pass pass
TestEverything/256 pass pass
TestEverything/257 pass pass
TestEverything/258 pass pass
TestEverything/259 pass pass
TestEverything/260 pass pass
TestEverything/261 pass pass
TestEverything/262 pass pass
TestEverything/263 pass pass
TestEverything/264 pass pass
TestEverything/265 pass pass
TestEverything/266 pass pass
TestEverything/267 pass pass
TestEverything/268 pass pass
TestEverything/269 pass pass
TestEverything/270 pass pass
TestEverything/271 pass pass
TestEverything/272 pass pass
TestEverything/273 pass pass
TestEverything/274 pass pass
TestEverything/275 pass pass
TestEverything/276 pass pass
TestEverything/277 pass pass
TestEverything/278 pass pass
TestEverything/279 pass pass
TestEverything/280 pass pass
TestEverything/281 pass pass
TestEverything/282 pass pass
TestEverything/283 pass pass
TestEverything/284 pass pass
TestEverything/285 pass pass
TestEverything/286 pass pass
TestEverything/287 pass pass
TestEverything/288 pass pass
TestEverything/289 pass pass
TestEverything/290 pass pass
TestEverything/291 pass pass
TestEverything/292 pass pass
TestEverything/293 pass pass
TestEverything/294 pass pass
TestEverything/295 pass pass
TestEverything/296 pass pass
TestEverything/297 pass pass
TestEverything/298 pass pass
TestEverything/299 pass pass
TestEverything/300 pass pass
TestEverything/301 pass pass
TestEverything/302 pass pass
TestEverything/303 pass pass
TestEverything/304 pass pass
TestEverything/305 pass pass
TestEverything/306 pass pass
TestEverything/307 pass pass
TestEverything/308 pass pass
TestEverything/309 pass pass
TestEverything/310 pass pass
TestEverything/311 pass pass
TestEverything/312 pass pass
TestEverything/313 pass pass
TestEverything/314 pass pass
TestEverything/315 pass pass
TestEverything/316 pass pass
TestEverything/317 pass pass
TestEverything/318 pass pass
TestEverything/319 pass pass
TestEverything/32 pass pass
TestEverything/320 pass pass
TestEverything/321 pass pass
TestEverything/322 pass pass
TestEverything/323 pass pass
TestEverything/324 pass pass
TestEverything/325 pass pass
TestEverything/326 pass pass
TestEverything/327 pass pass
TestEverything/328 pass pass
TestEverything/329 pass pass
TestEverything/33 pass pass
TestEverything/330 pass pass
TestEverything/331 pass pass
TestEverything/332 pass pass
TestEverything/333 pass pass
TestEverything/334 pass pass
TestEverything/335 pass pass
TestEverything/336 pass pass
TestEverything/337 pass pass
TestEverything/338 pass pass
TestEverything/339 pass pass
TestEverything/34 pass pass
TestEverything/340 pass pass
TestEverything/341 pass pass
TestEverything/342 pass pass
TestEverything/343 pass pass
TestEverything/344 pass pass
TestEverything/345 pass pass
TestEverything/346 pass pass
TestEverything/347 pass pass
TestEverything/348 pass pass
TestEverything/349 pass pass
TestEverything/35 pass pass
TestEverything/350 pass pass
TestEverything/351 pass pass
TestEverything/352 pass pass
TestEverything/353 pass pass
TestEverything/354 pass pass
TestEverything/355 pass pass
TestEverything/356 pass pass
TestEverything/357 pass pass
TestEverything/358 pass pass
TestEverything/359 pass pass
TestEverything/36 pass pass
TestEverything/360 pass pass
TestEverything/361 pass pass
TestEverything/362 pass pass
TestEverything/363 pass pass
TestEverything/364 pass pass
TestEverything/365 pass pass
TestEverything/366 pass pass
TestEverything/367 pass pass
TestEverything/368 pass pass
TestEverything/369 pass pass
TestEverything/37 pass pass
TestEverything/370 pass pass
TestEverything/371 pass pass
TestEverything/372 pass pass
TestEverything/373 pass pass
TestEverything/374 pass pass
TestEverything/375 pass pass
TestEverything/376 pass pass
TestEverything/377 pass pass
TestEverything/378 pass pass
TestEverything/379 pass pass
TestEverything/38 pass pass
TestEverything/380 pass pass
TestEverything/381 pass pass
TestEverything/382 pass pass
TestEverything/383 pass pass
TestEverything/384 pass pass
TestEverything/385 pass pass
TestEverything/386 pass pass
TestEverything/387 pass pass
TestEverything/388 pass pass
TestEverything/389 pass pass
TestEverything/39 pass pass
TestEverything/390 pass pass
TestEverything/391 pass pass
TestEverything/392 pass pass
TestEverything/393 pass pass
TestEverything/394 pass pass
TestEverything/395 pass pass
TestEverything/396 pass pass
TestEverything/397 pass pass
TestEverything/398 pass pass
TestEverything/399 pass pass
TestEverything/40 pass pass
TestEverything/400 pass pass
TestEverything/401 pass pass
TestEverything/402 pass pass
TestEverything/403 pass pass
TestEverything/404 pass pass
TestEverything/405 pass pass
TestEverything/406 pass pass
TestEverything/407 pass pass
TestEverything/408 pass pass
TestEverything/409 pass pass
TestEverything/41 pass pass
TestEverything/410 pass pass
TestEverything/411 pass pass
TestEverything/412 pass pass
TestEverything/413 pass pass
TestEverything/414 pass pass
TestEverything/415 pass pass
TestEverything/416 pass pass
TestEverything/417 pass pass
TestEverything/418 pass pass
TestEverything/419 pass pass
TestEverything/42 pass pass
TestEverything/420 pass pass
TestEverything/421 pass pass
TestEverything/422 pass pass
TestEverything/423 pass pass
TestEverything/424 pass pass
TestEverything/425 pass pass
TestEverything/426 pass pass
TestEverything/427 pass pass
TestEverything/428 pass pass
TestEverything/429 pass pass
TestEverything/43 pass pass
TestEverything/430 pass pass
TestEverything/431 pass pass
TestEverything/432 pass pass
TestEverything/433 pass pass
TestEverything/434 pass pass
TestEverything/435 pass pass
TestEverything/436 pass pass
TestEverything/437 pass pass
TestEverything/438 pass pass
TestEverything/439 pass pass
TestEverything/44 pass pass
TestEverything/440 pass pass
TestEverything/441 pass pass
TestEverything/442 pass pass
TestEverything/443 pass pass
TestEverything/444 pass pass
TestEverything/445 pass pass
TestEverything/446 pass pass
TestEverything/447 pass pass
TestEverything/448 pass pass
TestEverything/449 pass pass
TestEverything/45 pass pass
TestEverything/450 pass pass
TestEverything/451 pass pass
TestEverything/452 pass pass
TestEverything/453 pass pass
TestEverything/454 pass pass
TestEverything/455 pass pass
TestEverything/456 pass pass
TestEverything/457 pass pass
TestEverything/458 pass pass
TestEverything/459 pass pass
TestEverything/46 pass pass
TestEverything/460 pass pass
TestEverything/461 pass pass
TestEverything/462 pass pass
TestEverything/463 pass pass
TestEverything/464 pass pass
TestEverything/465 pass pass
TestEverything/466 pass pass
TestEverything/467 pass pass
TestEverything/468 pass pass
TestEverything/469 pass pass
TestEverything/47 pass pass
TestEverything/470 pass pass
TestEverything/471 pass pass
TestEverything/472 pass pass
TestEverything/473 pass pass
TestEverything/474 pass pass
TestEverything/475 pass pass
TestEverything/476 pass pass
TestEverything/477 pass pass
TestEverything/478 pass pass
TestEverything/479 pass pass
TestEverything/48 pass pass
TestEverything/480 pass pass
TestEverything/481 pass pass
TestEverything/482 pass pass
TestEverything/483 pass pass
TestEverything/484 pass pass
TestEverything/485 pass pass
TestEverything/486 pass pass
TestEverything/487 pass pass
TestEverything/488 pass pass
TestEverything/489 pass pass
TestEverything/49 pass pass
TestEverything/490 pass pass
TestEverything/491 pass pass
TestEverything/492 pass pass
TestEverything/493 pass pass
TestEverything/494 pass pass
TestEverything/495 pass pass
TestEverything/496 pass pass
TestEverything/497 pass pass
TestEverything/498 pass pass
TestEverything/499 pass pass
TestEverything/50 pass pass
TestEverything/500 pass pass
TestEverything/501 pass pass
TestEverything/502 pass pass
TestEverything/503 pass pass
TestEverything/504 pass pass
TestEverything/505 pass pass
TestEverything/506 pass pass
TestEverything/507 pass pass
TestEverything/508 pass pass
TestEverything/509 pass pass
TestEverything/51 pass pass
TestEverything/510 pass pass
TestEverything/511 pass pass
TestEverything/512 pass pass
TestEverything/513 pass pass
TestEverything/514 pass pass
TestEverything/515 pass pass
TestEverything/516 pass pass
TestEverything/517 pass pass
TestEverything/518 pass pass
TestEverything/519 pass pass
TestEverything/52 pass pass
TestEverything/520 pass pass
TestEverything/521 pass pass
TestEverything/522 pass pass
TestEverything/523 pass pass
TestEverything/524 pass pass
TestEverything/525 pass pass
TestEverything/526 pass pass
TestEverything/527 pass pass
TestEverything/528 pass pass
TestEverything/529 pass pass
TestEverything/53 pass pass
TestEverything/530 pass pass
TestEverything/531 pass pass
TestEverything/532 pass pass
TestEverything/533 pass pass
TestEverything/534 pass pass
TestEverything/535 pass pass
TestEverything/536 pass pass
TestEverything/537 pass pass
TestEverything/538 pass pass
TestEverything/539 pass pass
TestEverything/54 pass pass
TestEverything/540 pass pass
TestEverything/541 pass pass
TestEverything/542 pass pass
TestEverything/543 pass pass
TestEverything/544 pass pass
TestEverything/545 pass pass
TestEverything/546 pass pass
TestEverything/547 pass pass
TestEverything/548 pass pass
TestEverything/549 pass pass
TestEverything/55 pass pass
TestEverything/550 pass pass
TestEverything/551 pass pass
TestEverything/552 pass pass
TestEverything/553 pass pass
TestEverything/554 pass pass
TestEverything/555 pass pass
TestEverything/556 pass pass
TestEverything/557 pass pass
TestEverything/558 pass pass
TestEverything/559 pass pass
TestEverything/56 pass pass
TestEverything/560 pass pass
TestEverything/57 pass pass
TestEverything/58 pass pass
TestEverything/59 pass pass
TestEverything/60 pass pass
TestEverything/61 pass pass
TestEverything/62 pass pass
TestEverything/63 pass pass
TestEverything/64 pass pass
TestEverything/65 pass pass
TestEverything/66 pass pass
TestEverything/67 pass pass
TestEverything/68 pass pass
TestEverything/69 pass pass
TestEverything/70 pass pass
TestEverything/71 pass pass
TestEverything/72 pass pass
TestEverything/73 pass pass
TestEverything/74 pass pass
TestEverything/75 pass pass
TestEverything/76 pass pass
TestEverything/77 pass pass
TestEverything/78 pass pass
TestEverything/79 pass pass
TestEverything/80 pass pass
TestEverything/81 pass pass
TestEverything/82 pass pass
TestEverything/83 pass pass
TestEverything/84 pass pass
TestEverything/85 pass pass
TestEverything/86 pass pass
TestEverything/87 pass pass
TestEverything/88 pass pass
TestEverything/89 pass pass
TestEverything/90 pass pass
TestEverything/91 pass pass
TestEverything/92 pass pass
TestEverything/93 pass pass
TestEverything/94 pass pass
TestEverything/95 pass pass
TestEverything/96 pass pass
TestEverything/97 pass pass
TestEverything/98 pass pass
TestEverything/99 pass pass
TestGnuTLSKey pass pass
TestImpossibleKeyGeneration pass pass
TestInvalidPSSSaltLength pass pass
TestKeyGeneration pass pass
TestNPrimeKeyGeneration pass pass
TestNonZeroRandomBytes pass pass
TestOverlongMessagePKCS1v15 pass pass
TestPSS513 pass pass
TestPSSGolden pass pass
TestPSSNilOpts pass pass
TestPSSOpenSSL pass pass
TestPSSSigning pass pass
TestShortPKCS1v15Signature pass pass
TestShortSessionKey pass pass
TestSignPKCS1v15 pass pass
TestUnpaddedSignature pass pass
TestVerifyPKCS1v15 pass pass

Disclosed divergences

A disclosed divergence is a specific Go assertion the managed CLR provably cannot satisfy — not a skipped test and not a tolerance. Each one is pinned by exact failure signature in the package’s hand-owned go2cs_test_disclosures.json; a disclosed test that fails any other way is still a hard mismatch.

Test Class Pinned reason
TestAllocations alloc-profile budget-10 AllocsPerRun assert around DecryptPKCS1v15, measured as a true object COUNT rather than the byte figure this shim reported before r58a: 34,075,600 go2cs-runtime object allocations over 100 runs = 340,756 per run (2,851,392,000 bytes, an 83.7 B/object average consistent with the box model). Five orders of magnitude from the budget, so no residual in golib’s census - which is a lower bound, compiler-emitted closures and interface boxing in converted code being outside it - can move the verdict. The divergence is the ж heap-box allocation model, decomposed to the byte for the same shapes in r56d (crypto/internal/nistec): Go's escape analysis proves the address-taken bigmod/nat locals non-escaping and keeps them stack-resident, while the CLR cannot hand out an interior or stack pointer that outlives its frame, so every `&x` on the modular-arithmetic path is a heap box plus the eager one-element pinnable slot its address stability requires. r56d checked the r39-killed waste classes explicitly and found them absent, so this is the architecture's floor and not a defect in this package's conversion. See docs/phase4/DESIGN-allocation-counting.md for the counter's site census and coverage boundary.

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.