aere-research/results/kat-results-mlkem-reference.json
Aere Network 37f55e4f71 Initial public release
Aere Network public source. Everything here can be checked against the live
chain (chain id 2800, https://rpc.aere.network).

Scope note, stated up front rather than buried: consensus on chain 2800 is
classical secp256k1 ECDSA QBFT. The post-quantum work in this repository is at
the signature, precompile, account and transport layers. Nothing here makes the
consensus post-quantum, and no document in it should be read as claiming so.
2026-07-20 01:31:55 +03:00

212 lines
4.4 KiB
JSON

{
"precompile": "ML-KEM-768 (FIPS 203) deterministic encapsulate",
"address": "0x0000000000000000000000000000000000000ae6",
"liveOnMainnet2800": false,
"note": "TESTNET-ONLY precompile. Verified here against an independent pure-Python FIPS 203 oracle (stdlib hashlib only), not Bouncy Castle.",
"oracle": "mlkem768_reference.py (this file)",
"passed": 25,
"failed": 0,
"total": 25,
"results": [
{
"tcId": "26",
"ekLen": 1184,
"ctLen": 1088,
"ciphertextMatch": true,
"sharedSecretMatch": true,
"status": "PASS"
},
{
"tcId": "27",
"ekLen": 1184,
"ctLen": 1088,
"ciphertextMatch": true,
"sharedSecretMatch": true,
"status": "PASS"
},
{
"tcId": "28",
"ekLen": 1184,
"ctLen": 1088,
"ciphertextMatch": true,
"sharedSecretMatch": true,
"status": "PASS"
},
{
"tcId": "29",
"ekLen": 1184,
"ctLen": 1088,
"ciphertextMatch": true,
"sharedSecretMatch": true,
"status": "PASS"
},
{
"tcId": "30",
"ekLen": 1184,
"ctLen": 1088,
"ciphertextMatch": true,
"sharedSecretMatch": true,
"status": "PASS"
},
{
"tcId": "31",
"ekLen": 1184,
"ctLen": 1088,
"ciphertextMatch": true,
"sharedSecretMatch": true,
"status": "PASS"
},
{
"tcId": "32",
"ekLen": 1184,
"ctLen": 1088,
"ciphertextMatch": true,
"sharedSecretMatch": true,
"status": "PASS"
},
{
"tcId": "33",
"ekLen": 1184,
"ctLen": 1088,
"ciphertextMatch": true,
"sharedSecretMatch": true,
"status": "PASS"
},
{
"tcId": "34",
"ekLen": 1184,
"ctLen": 1088,
"ciphertextMatch": true,
"sharedSecretMatch": true,
"status": "PASS"
},
{
"tcId": "35",
"ekLen": 1184,
"ctLen": 1088,
"ciphertextMatch": true,
"sharedSecretMatch": true,
"status": "PASS"
},
{
"tcId": "36",
"ekLen": 1184,
"ctLen": 1088,
"ciphertextMatch": true,
"sharedSecretMatch": true,
"status": "PASS"
},
{
"tcId": "37",
"ekLen": 1184,
"ctLen": 1088,
"ciphertextMatch": true,
"sharedSecretMatch": true,
"status": "PASS"
},
{
"tcId": "38",
"ekLen": 1184,
"ctLen": 1088,
"ciphertextMatch": true,
"sharedSecretMatch": true,
"status": "PASS"
},
{
"tcId": "39",
"ekLen": 1184,
"ctLen": 1088,
"ciphertextMatch": true,
"sharedSecretMatch": true,
"status": "PASS"
},
{
"tcId": "40",
"ekLen": 1184,
"ctLen": 1088,
"ciphertextMatch": true,
"sharedSecretMatch": true,
"status": "PASS"
},
{
"tcId": "41",
"ekLen": 1184,
"ctLen": 1088,
"ciphertextMatch": true,
"sharedSecretMatch": true,
"status": "PASS"
},
{
"tcId": "42",
"ekLen": 1184,
"ctLen": 1088,
"ciphertextMatch": true,
"sharedSecretMatch": true,
"status": "PASS"
},
{
"tcId": "43",
"ekLen": 1184,
"ctLen": 1088,
"ciphertextMatch": true,
"sharedSecretMatch": true,
"status": "PASS"
},
{
"tcId": "44",
"ekLen": 1184,
"ctLen": 1088,
"ciphertextMatch": true,
"sharedSecretMatch": true,
"status": "PASS"
},
{
"tcId": "45",
"ekLen": 1184,
"ctLen": 1088,
"ciphertextMatch": true,
"sharedSecretMatch": true,
"status": "PASS"
},
{
"tcId": "46",
"ekLen": 1184,
"ctLen": 1088,
"ciphertextMatch": true,
"sharedSecretMatch": true,
"status": "PASS"
},
{
"tcId": "47",
"ekLen": 1184,
"ctLen": 1088,
"ciphertextMatch": true,
"sharedSecretMatch": true,
"status": "PASS"
},
{
"tcId": "48",
"ekLen": 1184,
"ctLen": 1088,
"ciphertextMatch": true,
"sharedSecretMatch": true,
"status": "PASS"
},
{
"tcId": "49",
"ekLen": 1184,
"ctLen": 1088,
"ciphertextMatch": true,
"sharedSecretMatch": true,
"status": "PASS"
},
{
"tcId": "50",
"ekLen": 1184,
"ctLen": 1088,
"ciphertextMatch": true,
"sharedSecretMatch": true,
"status": "PASS"
}
]
}