{
  "precompile": "ML-KEM-768 (FIPS 203) deterministic encapsulate",
  "address": "0x0000000000000000000000000000000000000ae6",
  "source": "NIST ACVP ML-KEM-encapDecap-FIPS203 (encapsulation AFT)",
  "results": [
    {"tcId": "26", "ekLen": 1184, "ctLen": 1120, "expectedMatch": true, "deterministic": true, "status": "PASS"},
    {"tcId": "27", "ekLen": 1184, "ctLen": 1120, "expectedMatch": true, "deterministic": true, "status": "PASS"},
    {"tcId": "28", "ekLen": 1184, "ctLen": 1120, "expectedMatch": true, "deterministic": true, "status": "PASS"},
    {"tcId": "29", "ekLen": 1184, "ctLen": 1120, "expectedMatch": true, "deterministic": true, "status": "PASS"},
    {"tcId": "30", "ekLen": 1184, "ctLen": 1120, "expectedMatch": true, "deterministic": true, "status": "PASS"},
    {"tcId": "31", "ekLen": 1184, "ctLen": 1120, "expectedMatch": true, "deterministic": true, "status": "PASS"},
    {"tcId": "32", "ekLen": 1184, "ctLen": 1120, "expectedMatch": true, "deterministic": true, "status": "PASS"},
    {"tcId": "33", "ekLen": 1184, "ctLen": 1120, "expectedMatch": true, "deterministic": true, "status": "PASS"},
    {"tcId": "34", "ekLen": 1184, "ctLen": 1120, "expectedMatch": true, "deterministic": true, "status": "PASS"},
    {"tcId": "35", "ekLen": 1184, "ctLen": 1120, "expectedMatch": true, "deterministic": true, "status": "PASS"},
    {"tcId": "36", "ekLen": 1184, "ctLen": 1120, "expectedMatch": true, "deterministic": true, "status": "PASS"},
    {"tcId": "37", "ekLen": 1184, "ctLen": 1120, "expectedMatch": true, "deterministic": true, "status": "PASS"},
    {"tcId": "38", "ekLen": 1184, "ctLen": 1120, "expectedMatch": true, "deterministic": true, "status": "PASS"},
    {"tcId": "39", "ekLen": 1184, "ctLen": 1120, "expectedMatch": true, "deterministic": true, "status": "PASS"},
    {"tcId": "40", "ekLen": 1184, "ctLen": 1120, "expectedMatch": true, "deterministic": true, "status": "PASS"},
    {"tcId": "41", "ekLen": 1184, "ctLen": 1120, "expectedMatch": true, "deterministic": true, "status": "PASS"},
    {"tcId": "42", "ekLen": 1184, "ctLen": 1120, "expectedMatch": true, "deterministic": true, "status": "PASS"},
    {"tcId": "43", "ekLen": 1184, "ctLen": 1120, "expectedMatch": true, "deterministic": true, "status": "PASS"},
    {"tcId": "44", "ekLen": 1184, "ctLen": 1120, "expectedMatch": true, "deterministic": true, "status": "PASS"},
    {"tcId": "45", "ekLen": 1184, "ctLen": 1120, "expectedMatch": true, "deterministic": true, "status": "PASS"},
    {"tcId": "46", "ekLen": 1184, "ctLen": 1120, "expectedMatch": true, "deterministic": true, "status": "PASS"},
    {"tcId": "47", "ekLen": 1184, "ctLen": 1120, "expectedMatch": true, "deterministic": true, "status": "PASS"},
    {"tcId": "48", "ekLen": 1184, "ctLen": 1120, "expectedMatch": true, "deterministic": true, "status": "PASS"},
    {"tcId": "49", "ekLen": 1184, "ctLen": 1120, "expectedMatch": true, "deterministic": true, "status": "PASS"},
    {"tcId": "50", "ekLen": 1184, "ctLen": 1120, "expectedMatch": true, "deterministic": true, "status": "PASS"}
  ],
  "passed": 25,
  "failed": 0,
  "total": 25
}