LibWeb: Import WPT regarding ML-KEM import and key generation

This commit is contained in:
Tete17
2025-12-30 22:49:06 +01:00
committed by Shannon Booth
parent 5aa5beed26
commit 5b215c01f8
Notes: github-actions[bot] 2026-01-06 00:08:30 +00:00
8 changed files with 1044 additions and 0 deletions

View File

@@ -0,0 +1,473 @@
Harness status: OK
Found 468 tests
468 Fail
Fail Success: generateKey(ML-KEM-512, false, [decapsulateBits])
Fail Success: generateKey(ML-KEM-512, true, [decapsulateBits])
Fail Success: generateKey(ML-KEM-512, false, [decapsulateKey, decapsulateBits])
Fail Success: generateKey(ML-KEM-512, true, [decapsulateKey, decapsulateBits])
Fail Success: generateKey(ML-KEM-512, false, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ML-KEM-512, true, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ML-KEM-512, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ML-KEM-512, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ML-KEM-512, false, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ML-KEM-512, true, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ML-KEM-512, false, [encapsulateBits, decapsulateBits])
Fail Success: generateKey(ML-KEM-512, true, [encapsulateBits, decapsulateBits])
Fail Success: generateKey(ML-KEM-512, false, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey(ML-KEM-512, true, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey(ML-KEM-512, false, [encapsulateKey, decapsulateBits])
Fail Success: generateKey(ML-KEM-512, true, [encapsulateKey, decapsulateBits])
Fail Success: generateKey(ML-KEM-512, false, [decapsulateKey])
Fail Success: generateKey(ML-KEM-512, true, [decapsulateKey])
Fail Success: generateKey(ML-KEM-512, false, [encapsulateBits, decapsulateKey])
Fail Success: generateKey(ML-KEM-512, true, [encapsulateBits, decapsulateKey])
Fail Success: generateKey(ML-KEM-512, false, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey(ML-KEM-512, true, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey(ML-KEM-512, false, [encapsulateKey, decapsulateKey])
Fail Success: generateKey(ML-KEM-512, true, [encapsulateKey, decapsulateKey])
Fail Success: generateKey(ML-KEM-512, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey(ML-KEM-512, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey({name: ML-KEM-512}, false, [decapsulateBits])
Fail Success: generateKey({name: ML-KEM-512}, true, [decapsulateBits])
Fail Success: generateKey({name: ML-KEM-512}, false, [decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-512}, true, [decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-512}, false, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-512}, true, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-512}, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-512}, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-512}, false, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-512}, true, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-512}, false, [encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-512}, true, [encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-512}, false, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-512}, true, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-512}, false, [encapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-512}, true, [encapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-512}, false, [decapsulateKey])
Fail Success: generateKey({name: ML-KEM-512}, true, [decapsulateKey])
Fail Success: generateKey({name: ML-KEM-512}, false, [encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: ML-KEM-512}, true, [encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: ML-KEM-512}, false, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: ML-KEM-512}, true, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: ML-KEM-512}, false, [encapsulateKey, decapsulateKey])
Fail Success: generateKey({name: ML-KEM-512}, true, [encapsulateKey, decapsulateKey])
Fail Success: generateKey({name: ML-KEM-512}, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey({name: ML-KEM-512}, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey(ml-kem-512, false, [decapsulateBits])
Fail Success: generateKey(ml-kem-512, true, [decapsulateBits])
Fail Success: generateKey(ml-kem-512, false, [decapsulateKey, decapsulateBits])
Fail Success: generateKey(ml-kem-512, true, [decapsulateKey, decapsulateBits])
Fail Success: generateKey(ml-kem-512, false, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ml-kem-512, true, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ml-kem-512, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ml-kem-512, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ml-kem-512, false, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ml-kem-512, true, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ml-kem-512, false, [encapsulateBits, decapsulateBits])
Fail Success: generateKey(ml-kem-512, true, [encapsulateBits, decapsulateBits])
Fail Success: generateKey(ml-kem-512, false, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey(ml-kem-512, true, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey(ml-kem-512, false, [encapsulateKey, decapsulateBits])
Fail Success: generateKey(ml-kem-512, true, [encapsulateKey, decapsulateBits])
Fail Success: generateKey(ml-kem-512, false, [decapsulateKey])
Fail Success: generateKey(ml-kem-512, true, [decapsulateKey])
Fail Success: generateKey(ml-kem-512, false, [encapsulateBits, decapsulateKey])
Fail Success: generateKey(ml-kem-512, true, [encapsulateBits, decapsulateKey])
Fail Success: generateKey(ml-kem-512, false, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey(ml-kem-512, true, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey(ml-kem-512, false, [encapsulateKey, decapsulateKey])
Fail Success: generateKey(ml-kem-512, true, [encapsulateKey, decapsulateKey])
Fail Success: generateKey(ml-kem-512, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey(ml-kem-512, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey({name: ml-kem-512}, false, [decapsulateBits])
Fail Success: generateKey({name: ml-kem-512}, true, [decapsulateBits])
Fail Success: generateKey({name: ml-kem-512}, false, [decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ml-kem-512}, true, [decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ml-kem-512}, false, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ml-kem-512}, true, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ml-kem-512}, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ml-kem-512}, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ml-kem-512}, false, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ml-kem-512}, true, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ml-kem-512}, false, [encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: ml-kem-512}, true, [encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: ml-kem-512}, false, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: ml-kem-512}, true, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: ml-kem-512}, false, [encapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ml-kem-512}, true, [encapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ml-kem-512}, false, [decapsulateKey])
Fail Success: generateKey({name: ml-kem-512}, true, [decapsulateKey])
Fail Success: generateKey({name: ml-kem-512}, false, [encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: ml-kem-512}, true, [encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: ml-kem-512}, false, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: ml-kem-512}, true, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: ml-kem-512}, false, [encapsulateKey, decapsulateKey])
Fail Success: generateKey({name: ml-kem-512}, true, [encapsulateKey, decapsulateKey])
Fail Success: generateKey({name: ml-kem-512}, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey({name: ml-kem-512}, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey(Ml-kem-512, false, [decapsulateBits])
Fail Success: generateKey(Ml-kem-512, true, [decapsulateBits])
Fail Success: generateKey(Ml-kem-512, false, [decapsulateKey, decapsulateBits])
Fail Success: generateKey(Ml-kem-512, true, [decapsulateKey, decapsulateBits])
Fail Success: generateKey(Ml-kem-512, false, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(Ml-kem-512, true, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(Ml-kem-512, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(Ml-kem-512, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(Ml-kem-512, false, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey(Ml-kem-512, true, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey(Ml-kem-512, false, [encapsulateBits, decapsulateBits])
Fail Success: generateKey(Ml-kem-512, true, [encapsulateBits, decapsulateBits])
Fail Success: generateKey(Ml-kem-512, false, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey(Ml-kem-512, true, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey(Ml-kem-512, false, [encapsulateKey, decapsulateBits])
Fail Success: generateKey(Ml-kem-512, true, [encapsulateKey, decapsulateBits])
Fail Success: generateKey(Ml-kem-512, false, [decapsulateKey])
Fail Success: generateKey(Ml-kem-512, true, [decapsulateKey])
Fail Success: generateKey(Ml-kem-512, false, [encapsulateBits, decapsulateKey])
Fail Success: generateKey(Ml-kem-512, true, [encapsulateBits, decapsulateKey])
Fail Success: generateKey(Ml-kem-512, false, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey(Ml-kem-512, true, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey(Ml-kem-512, false, [encapsulateKey, decapsulateKey])
Fail Success: generateKey(Ml-kem-512, true, [encapsulateKey, decapsulateKey])
Fail Success: generateKey(Ml-kem-512, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey(Ml-kem-512, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey({name: Ml-kem-512}, false, [decapsulateBits])
Fail Success: generateKey({name: Ml-kem-512}, true, [decapsulateBits])
Fail Success: generateKey({name: Ml-kem-512}, false, [decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-512}, true, [decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-512}, false, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-512}, true, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-512}, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-512}, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-512}, false, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-512}, true, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-512}, false, [encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-512}, true, [encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-512}, false, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-512}, true, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-512}, false, [encapsulateKey, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-512}, true, [encapsulateKey, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-512}, false, [decapsulateKey])
Fail Success: generateKey({name: Ml-kem-512}, true, [decapsulateKey])
Fail Success: generateKey({name: Ml-kem-512}, false, [encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: Ml-kem-512}, true, [encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: Ml-kem-512}, false, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: Ml-kem-512}, true, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: Ml-kem-512}, false, [encapsulateKey, decapsulateKey])
Fail Success: generateKey({name: Ml-kem-512}, true, [encapsulateKey, decapsulateKey])
Fail Success: generateKey({name: Ml-kem-512}, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey({name: Ml-kem-512}, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey(ML-KEM-768, false, [decapsulateBits])
Fail Success: generateKey(ML-KEM-768, true, [decapsulateBits])
Fail Success: generateKey(ML-KEM-768, false, [decapsulateKey, decapsulateBits])
Fail Success: generateKey(ML-KEM-768, true, [decapsulateKey, decapsulateBits])
Fail Success: generateKey(ML-KEM-768, false, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ML-KEM-768, true, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ML-KEM-768, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ML-KEM-768, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ML-KEM-768, false, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ML-KEM-768, true, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ML-KEM-768, false, [encapsulateBits, decapsulateBits])
Fail Success: generateKey(ML-KEM-768, true, [encapsulateBits, decapsulateBits])
Fail Success: generateKey(ML-KEM-768, false, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey(ML-KEM-768, true, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey(ML-KEM-768, false, [encapsulateKey, decapsulateBits])
Fail Success: generateKey(ML-KEM-768, true, [encapsulateKey, decapsulateBits])
Fail Success: generateKey(ML-KEM-768, false, [decapsulateKey])
Fail Success: generateKey(ML-KEM-768, true, [decapsulateKey])
Fail Success: generateKey(ML-KEM-768, false, [encapsulateBits, decapsulateKey])
Fail Success: generateKey(ML-KEM-768, true, [encapsulateBits, decapsulateKey])
Fail Success: generateKey(ML-KEM-768, false, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey(ML-KEM-768, true, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey(ML-KEM-768, false, [encapsulateKey, decapsulateKey])
Fail Success: generateKey(ML-KEM-768, true, [encapsulateKey, decapsulateKey])
Fail Success: generateKey(ML-KEM-768, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey(ML-KEM-768, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey({name: ML-KEM-768}, false, [decapsulateBits])
Fail Success: generateKey({name: ML-KEM-768}, true, [decapsulateBits])
Fail Success: generateKey({name: ML-KEM-768}, false, [decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-768}, true, [decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-768}, false, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-768}, true, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-768}, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-768}, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-768}, false, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-768}, true, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-768}, false, [encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-768}, true, [encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-768}, false, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-768}, true, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-768}, false, [encapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-768}, true, [encapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-768}, false, [decapsulateKey])
Fail Success: generateKey({name: ML-KEM-768}, true, [decapsulateKey])
Fail Success: generateKey({name: ML-KEM-768}, false, [encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: ML-KEM-768}, true, [encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: ML-KEM-768}, false, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: ML-KEM-768}, true, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: ML-KEM-768}, false, [encapsulateKey, decapsulateKey])
Fail Success: generateKey({name: ML-KEM-768}, true, [encapsulateKey, decapsulateKey])
Fail Success: generateKey({name: ML-KEM-768}, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey({name: ML-KEM-768}, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey(ml-kem-768, false, [decapsulateBits])
Fail Success: generateKey(ml-kem-768, true, [decapsulateBits])
Fail Success: generateKey(ml-kem-768, false, [decapsulateKey, decapsulateBits])
Fail Success: generateKey(ml-kem-768, true, [decapsulateKey, decapsulateBits])
Fail Success: generateKey(ml-kem-768, false, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ml-kem-768, true, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ml-kem-768, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ml-kem-768, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ml-kem-768, false, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ml-kem-768, true, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ml-kem-768, false, [encapsulateBits, decapsulateBits])
Fail Success: generateKey(ml-kem-768, true, [encapsulateBits, decapsulateBits])
Fail Success: generateKey(ml-kem-768, false, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey(ml-kem-768, true, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey(ml-kem-768, false, [encapsulateKey, decapsulateBits])
Fail Success: generateKey(ml-kem-768, true, [encapsulateKey, decapsulateBits])
Fail Success: generateKey(ml-kem-768, false, [decapsulateKey])
Fail Success: generateKey(ml-kem-768, true, [decapsulateKey])
Fail Success: generateKey(ml-kem-768, false, [encapsulateBits, decapsulateKey])
Fail Success: generateKey(ml-kem-768, true, [encapsulateBits, decapsulateKey])
Fail Success: generateKey(ml-kem-768, false, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey(ml-kem-768, true, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey(ml-kem-768, false, [encapsulateKey, decapsulateKey])
Fail Success: generateKey(ml-kem-768, true, [encapsulateKey, decapsulateKey])
Fail Success: generateKey(ml-kem-768, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey(ml-kem-768, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey({name: ml-kem-768}, false, [decapsulateBits])
Fail Success: generateKey({name: ml-kem-768}, true, [decapsulateBits])
Fail Success: generateKey({name: ml-kem-768}, false, [decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ml-kem-768}, true, [decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ml-kem-768}, false, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ml-kem-768}, true, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ml-kem-768}, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ml-kem-768}, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ml-kem-768}, false, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ml-kem-768}, true, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ml-kem-768}, false, [encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: ml-kem-768}, true, [encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: ml-kem-768}, false, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: ml-kem-768}, true, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: ml-kem-768}, false, [encapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ml-kem-768}, true, [encapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ml-kem-768}, false, [decapsulateKey])
Fail Success: generateKey({name: ml-kem-768}, true, [decapsulateKey])
Fail Success: generateKey({name: ml-kem-768}, false, [encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: ml-kem-768}, true, [encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: ml-kem-768}, false, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: ml-kem-768}, true, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: ml-kem-768}, false, [encapsulateKey, decapsulateKey])
Fail Success: generateKey({name: ml-kem-768}, true, [encapsulateKey, decapsulateKey])
Fail Success: generateKey({name: ml-kem-768}, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey({name: ml-kem-768}, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey(Ml-kem-768, false, [decapsulateBits])
Fail Success: generateKey(Ml-kem-768, true, [decapsulateBits])
Fail Success: generateKey(Ml-kem-768, false, [decapsulateKey, decapsulateBits])
Fail Success: generateKey(Ml-kem-768, true, [decapsulateKey, decapsulateBits])
Fail Success: generateKey(Ml-kem-768, false, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(Ml-kem-768, true, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(Ml-kem-768, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(Ml-kem-768, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(Ml-kem-768, false, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey(Ml-kem-768, true, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey(Ml-kem-768, false, [encapsulateBits, decapsulateBits])
Fail Success: generateKey(Ml-kem-768, true, [encapsulateBits, decapsulateBits])
Fail Success: generateKey(Ml-kem-768, false, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey(Ml-kem-768, true, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey(Ml-kem-768, false, [encapsulateKey, decapsulateBits])
Fail Success: generateKey(Ml-kem-768, true, [encapsulateKey, decapsulateBits])
Fail Success: generateKey(Ml-kem-768, false, [decapsulateKey])
Fail Success: generateKey(Ml-kem-768, true, [decapsulateKey])
Fail Success: generateKey(Ml-kem-768, false, [encapsulateBits, decapsulateKey])
Fail Success: generateKey(Ml-kem-768, true, [encapsulateBits, decapsulateKey])
Fail Success: generateKey(Ml-kem-768, false, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey(Ml-kem-768, true, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey(Ml-kem-768, false, [encapsulateKey, decapsulateKey])
Fail Success: generateKey(Ml-kem-768, true, [encapsulateKey, decapsulateKey])
Fail Success: generateKey(Ml-kem-768, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey(Ml-kem-768, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey({name: Ml-kem-768}, false, [decapsulateBits])
Fail Success: generateKey({name: Ml-kem-768}, true, [decapsulateBits])
Fail Success: generateKey({name: Ml-kem-768}, false, [decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-768}, true, [decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-768}, false, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-768}, true, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-768}, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-768}, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-768}, false, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-768}, true, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-768}, false, [encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-768}, true, [encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-768}, false, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-768}, true, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-768}, false, [encapsulateKey, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-768}, true, [encapsulateKey, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-768}, false, [decapsulateKey])
Fail Success: generateKey({name: Ml-kem-768}, true, [decapsulateKey])
Fail Success: generateKey({name: Ml-kem-768}, false, [encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: Ml-kem-768}, true, [encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: Ml-kem-768}, false, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: Ml-kem-768}, true, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: Ml-kem-768}, false, [encapsulateKey, decapsulateKey])
Fail Success: generateKey({name: Ml-kem-768}, true, [encapsulateKey, decapsulateKey])
Fail Success: generateKey({name: Ml-kem-768}, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey({name: Ml-kem-768}, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey(ML-KEM-1024, false, [decapsulateBits])
Fail Success: generateKey(ML-KEM-1024, true, [decapsulateBits])
Fail Success: generateKey(ML-KEM-1024, false, [decapsulateKey, decapsulateBits])
Fail Success: generateKey(ML-KEM-1024, true, [decapsulateKey, decapsulateBits])
Fail Success: generateKey(ML-KEM-1024, false, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ML-KEM-1024, true, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ML-KEM-1024, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ML-KEM-1024, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ML-KEM-1024, false, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ML-KEM-1024, true, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ML-KEM-1024, false, [encapsulateBits, decapsulateBits])
Fail Success: generateKey(ML-KEM-1024, true, [encapsulateBits, decapsulateBits])
Fail Success: generateKey(ML-KEM-1024, false, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey(ML-KEM-1024, true, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey(ML-KEM-1024, false, [encapsulateKey, decapsulateBits])
Fail Success: generateKey(ML-KEM-1024, true, [encapsulateKey, decapsulateBits])
Fail Success: generateKey(ML-KEM-1024, false, [decapsulateKey])
Fail Success: generateKey(ML-KEM-1024, true, [decapsulateKey])
Fail Success: generateKey(ML-KEM-1024, false, [encapsulateBits, decapsulateKey])
Fail Success: generateKey(ML-KEM-1024, true, [encapsulateBits, decapsulateKey])
Fail Success: generateKey(ML-KEM-1024, false, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey(ML-KEM-1024, true, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey(ML-KEM-1024, false, [encapsulateKey, decapsulateKey])
Fail Success: generateKey(ML-KEM-1024, true, [encapsulateKey, decapsulateKey])
Fail Success: generateKey(ML-KEM-1024, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey(ML-KEM-1024, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey({name: ML-KEM-1024}, false, [decapsulateBits])
Fail Success: generateKey({name: ML-KEM-1024}, true, [decapsulateBits])
Fail Success: generateKey({name: ML-KEM-1024}, false, [decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-1024}, true, [decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-1024}, false, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-1024}, true, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-1024}, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-1024}, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-1024}, false, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-1024}, true, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-1024}, false, [encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-1024}, true, [encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-1024}, false, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-1024}, true, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-1024}, false, [encapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-1024}, true, [encapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ML-KEM-1024}, false, [decapsulateKey])
Fail Success: generateKey({name: ML-KEM-1024}, true, [decapsulateKey])
Fail Success: generateKey({name: ML-KEM-1024}, false, [encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: ML-KEM-1024}, true, [encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: ML-KEM-1024}, false, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: ML-KEM-1024}, true, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: ML-KEM-1024}, false, [encapsulateKey, decapsulateKey])
Fail Success: generateKey({name: ML-KEM-1024}, true, [encapsulateKey, decapsulateKey])
Fail Success: generateKey({name: ML-KEM-1024}, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey({name: ML-KEM-1024}, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey(ml-kem-1024, false, [decapsulateBits])
Fail Success: generateKey(ml-kem-1024, true, [decapsulateBits])
Fail Success: generateKey(ml-kem-1024, false, [decapsulateKey, decapsulateBits])
Fail Success: generateKey(ml-kem-1024, true, [decapsulateKey, decapsulateBits])
Fail Success: generateKey(ml-kem-1024, false, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ml-kem-1024, true, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ml-kem-1024, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ml-kem-1024, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ml-kem-1024, false, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ml-kem-1024, true, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey(ml-kem-1024, false, [encapsulateBits, decapsulateBits])
Fail Success: generateKey(ml-kem-1024, true, [encapsulateBits, decapsulateBits])
Fail Success: generateKey(ml-kem-1024, false, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey(ml-kem-1024, true, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey(ml-kem-1024, false, [encapsulateKey, decapsulateBits])
Fail Success: generateKey(ml-kem-1024, true, [encapsulateKey, decapsulateBits])
Fail Success: generateKey(ml-kem-1024, false, [decapsulateKey])
Fail Success: generateKey(ml-kem-1024, true, [decapsulateKey])
Fail Success: generateKey(ml-kem-1024, false, [encapsulateBits, decapsulateKey])
Fail Success: generateKey(ml-kem-1024, true, [encapsulateBits, decapsulateKey])
Fail Success: generateKey(ml-kem-1024, false, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey(ml-kem-1024, true, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey(ml-kem-1024, false, [encapsulateKey, decapsulateKey])
Fail Success: generateKey(ml-kem-1024, true, [encapsulateKey, decapsulateKey])
Fail Success: generateKey(ml-kem-1024, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey(ml-kem-1024, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey({name: ml-kem-1024}, false, [decapsulateBits])
Fail Success: generateKey({name: ml-kem-1024}, true, [decapsulateBits])
Fail Success: generateKey({name: ml-kem-1024}, false, [decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ml-kem-1024}, true, [decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ml-kem-1024}, false, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ml-kem-1024}, true, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ml-kem-1024}, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ml-kem-1024}, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ml-kem-1024}, false, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ml-kem-1024}, true, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ml-kem-1024}, false, [encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: ml-kem-1024}, true, [encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: ml-kem-1024}, false, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: ml-kem-1024}, true, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: ml-kem-1024}, false, [encapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ml-kem-1024}, true, [encapsulateKey, decapsulateBits])
Fail Success: generateKey({name: ml-kem-1024}, false, [decapsulateKey])
Fail Success: generateKey({name: ml-kem-1024}, true, [decapsulateKey])
Fail Success: generateKey({name: ml-kem-1024}, false, [encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: ml-kem-1024}, true, [encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: ml-kem-1024}, false, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: ml-kem-1024}, true, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: ml-kem-1024}, false, [encapsulateKey, decapsulateKey])
Fail Success: generateKey({name: ml-kem-1024}, true, [encapsulateKey, decapsulateKey])
Fail Success: generateKey({name: ml-kem-1024}, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey({name: ml-kem-1024}, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey(Ml-kem-1024, false, [decapsulateBits])
Fail Success: generateKey(Ml-kem-1024, true, [decapsulateBits])
Fail Success: generateKey(Ml-kem-1024, false, [decapsulateKey, decapsulateBits])
Fail Success: generateKey(Ml-kem-1024, true, [decapsulateKey, decapsulateBits])
Fail Success: generateKey(Ml-kem-1024, false, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(Ml-kem-1024, true, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(Ml-kem-1024, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(Ml-kem-1024, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey(Ml-kem-1024, false, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey(Ml-kem-1024, true, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey(Ml-kem-1024, false, [encapsulateBits, decapsulateBits])
Fail Success: generateKey(Ml-kem-1024, true, [encapsulateBits, decapsulateBits])
Fail Success: generateKey(Ml-kem-1024, false, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey(Ml-kem-1024, true, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey(Ml-kem-1024, false, [encapsulateKey, decapsulateBits])
Fail Success: generateKey(Ml-kem-1024, true, [encapsulateKey, decapsulateBits])
Fail Success: generateKey(Ml-kem-1024, false, [decapsulateKey])
Fail Success: generateKey(Ml-kem-1024, true, [decapsulateKey])
Fail Success: generateKey(Ml-kem-1024, false, [encapsulateBits, decapsulateKey])
Fail Success: generateKey(Ml-kem-1024, true, [encapsulateBits, decapsulateKey])
Fail Success: generateKey(Ml-kem-1024, false, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey(Ml-kem-1024, true, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey(Ml-kem-1024, false, [encapsulateKey, decapsulateKey])
Fail Success: generateKey(Ml-kem-1024, true, [encapsulateKey, decapsulateKey])
Fail Success: generateKey(Ml-kem-1024, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey(Ml-kem-1024, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey({name: Ml-kem-1024}, false, [decapsulateBits])
Fail Success: generateKey({name: Ml-kem-1024}, true, [decapsulateBits])
Fail Success: generateKey({name: Ml-kem-1024}, false, [decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-1024}, true, [decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-1024}, false, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-1024}, true, [encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-1024}, false, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-1024}, true, [encapsulateKey, encapsulateBits, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-1024}, false, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-1024}, true, [encapsulateKey, decapsulateKey, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-1024}, false, [encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-1024}, true, [encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-1024}, false, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-1024}, true, [encapsulateKey, encapsulateBits, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-1024}, false, [encapsulateKey, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-1024}, true, [encapsulateKey, decapsulateBits])
Fail Success: generateKey({name: Ml-kem-1024}, false, [decapsulateKey])
Fail Success: generateKey({name: Ml-kem-1024}, true, [decapsulateKey])
Fail Success: generateKey({name: Ml-kem-1024}, false, [encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: Ml-kem-1024}, true, [encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: Ml-kem-1024}, false, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: Ml-kem-1024}, true, [encapsulateKey, encapsulateBits, decapsulateKey])
Fail Success: generateKey({name: Ml-kem-1024}, false, [encapsulateKey, decapsulateKey])
Fail Success: generateKey({name: Ml-kem-1024}, true, [encapsulateKey, decapsulateKey])
Fail Success: generateKey({name: Ml-kem-1024}, false, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])
Fail Success: generateKey({name: Ml-kem-1024}, true, [decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey, decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey, encapsulateBits, encapsulateKey])

View File

@@ -0,0 +1,222 @@
Harness status: OK
Found 216 tests
30 Pass
186 Fail
Fail Good parameters: ML-KEM-512 bits (spki, buffer(822), {name: ML-KEM-512}, true, [encapsulateBits])
Fail Good parameters: ML-KEM-512 bits (spki, buffer(822), ML-KEM-512, true, [encapsulateBits])
Fail Good parameters: ML-KEM-512 bits (raw-public, buffer(800), {name: ML-KEM-512}, true, [encapsulateBits])
Fail Good parameters: ML-KEM-512 bits (raw-public, buffer(800), ML-KEM-512, true, [encapsulateBits])
Fail Good parameters: ML-KEM-512 bits (spki, buffer(822), {name: ML-KEM-512}, true, [encapsulateKey, encapsulateBits])
Fail Good parameters: ML-KEM-512 bits (spki, buffer(822), ML-KEM-512, true, [encapsulateKey, encapsulateBits])
Fail Good parameters: ML-KEM-512 bits (raw-public, buffer(800), {name: ML-KEM-512}, true, [encapsulateKey, encapsulateBits])
Fail Good parameters: ML-KEM-512 bits (raw-public, buffer(800), ML-KEM-512, true, [encapsulateKey, encapsulateBits])
Fail Good parameters: ML-KEM-512 bits (spki, buffer(822), {name: ML-KEM-512}, true, [encapsulateKey])
Fail Good parameters: ML-KEM-512 bits (spki, buffer(822), ML-KEM-512, true, [encapsulateKey])
Fail Good parameters: ML-KEM-512 bits (raw-public, buffer(800), {name: ML-KEM-512}, true, [encapsulateKey])
Fail Good parameters: ML-KEM-512 bits (raw-public, buffer(800), ML-KEM-512, true, [encapsulateKey])
Fail Good parameters: ML-KEM-512 bits (spki, buffer(822), {name: ML-KEM-512}, true, [])
Fail Good parameters: ML-KEM-512 bits (spki, buffer(822), ML-KEM-512, true, [])
Fail Good parameters: ML-KEM-512 bits (raw-public, buffer(800), {name: ML-KEM-512}, true, [])
Fail Good parameters: ML-KEM-512 bits (raw-public, buffer(800), ML-KEM-512, true, [])
Fail Good parameters: ML-KEM-512 bits (spki, buffer(822), {name: ML-KEM-512}, true, [encapsulateBits, encapsulateKey, encapsulateBits, encapsulateKey])
Fail Good parameters: ML-KEM-512 bits (spki, buffer(822), ML-KEM-512, true, [encapsulateBits, encapsulateKey, encapsulateBits, encapsulateKey])
Fail Good parameters: ML-KEM-512 bits (raw-public, buffer(800), {name: ML-KEM-512}, true, [encapsulateBits, encapsulateKey, encapsulateBits, encapsulateKey])
Fail Good parameters: ML-KEM-512 bits (raw-public, buffer(800), ML-KEM-512, true, [encapsulateBits, encapsulateKey, encapsulateBits, encapsulateKey])
Fail Good parameters: ML-KEM-512 bits (pkcs8, buffer(86), {name: ML-KEM-512}, true, [decapsulateBits])
Fail Good parameters: ML-KEM-512 bits (pkcs8, buffer(86), ML-KEM-512, true, [decapsulateBits])
Fail Good parameters: ML-KEM-512 bits (raw-seed, buffer(64), {name: ML-KEM-512}, true, [decapsulateBits])
Fail Good parameters: ML-KEM-512 bits (raw-seed, buffer(64), ML-KEM-512, true, [decapsulateBits])
Fail Good parameters: ML-KEM-512 bits (pkcs8, buffer(86), {name: ML-KEM-512}, true, [decapsulateKey, decapsulateBits])
Fail Good parameters: ML-KEM-512 bits (pkcs8, buffer(86), ML-KEM-512, true, [decapsulateKey, decapsulateBits])
Fail Good parameters: ML-KEM-512 bits (raw-seed, buffer(64), {name: ML-KEM-512}, true, [decapsulateKey, decapsulateBits])
Fail Good parameters: ML-KEM-512 bits (raw-seed, buffer(64), ML-KEM-512, true, [decapsulateKey, decapsulateBits])
Fail Good parameters: ML-KEM-512 bits (pkcs8, buffer(86), {name: ML-KEM-512}, true, [decapsulateKey])
Fail Good parameters: ML-KEM-512 bits (pkcs8, buffer(86), ML-KEM-512, true, [decapsulateKey])
Fail Good parameters: ML-KEM-512 bits (raw-seed, buffer(64), {name: ML-KEM-512}, true, [decapsulateKey])
Fail Good parameters: ML-KEM-512 bits (raw-seed, buffer(64), ML-KEM-512, true, [decapsulateKey])
Fail Good parameters: ML-KEM-512 bits (pkcs8, buffer(86), {name: ML-KEM-512}, true, [decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey])
Fail Good parameters: ML-KEM-512 bits (pkcs8, buffer(86), ML-KEM-512, true, [decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey])
Fail Good parameters: ML-KEM-512 bits (raw-seed, buffer(64), {name: ML-KEM-512}, true, [decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey])
Fail Good parameters: ML-KEM-512 bits (raw-seed, buffer(64), ML-KEM-512, true, [decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey])
Pass Good parameters: ML-KEM-512 bits (spki, buffer(822), {name: ML-KEM-512}, false, [encapsulateBits])
Pass Good parameters: ML-KEM-512 bits (spki, buffer(822), ML-KEM-512, false, [encapsulateBits])
Fail Good parameters: ML-KEM-512 bits (raw-public, buffer(800), {name: ML-KEM-512}, false, [encapsulateBits])
Fail Good parameters: ML-KEM-512 bits (raw-public, buffer(800), ML-KEM-512, false, [encapsulateBits])
Pass Good parameters: ML-KEM-512 bits (spki, buffer(822), {name: ML-KEM-512}, false, [encapsulateKey, encapsulateBits])
Pass Good parameters: ML-KEM-512 bits (spki, buffer(822), ML-KEM-512, false, [encapsulateKey, encapsulateBits])
Fail Good parameters: ML-KEM-512 bits (raw-public, buffer(800), {name: ML-KEM-512}, false, [encapsulateKey, encapsulateBits])
Fail Good parameters: ML-KEM-512 bits (raw-public, buffer(800), ML-KEM-512, false, [encapsulateKey, encapsulateBits])
Pass Good parameters: ML-KEM-512 bits (spki, buffer(822), {name: ML-KEM-512}, false, [encapsulateKey])
Pass Good parameters: ML-KEM-512 bits (spki, buffer(822), ML-KEM-512, false, [encapsulateKey])
Fail Good parameters: ML-KEM-512 bits (raw-public, buffer(800), {name: ML-KEM-512}, false, [encapsulateKey])
Fail Good parameters: ML-KEM-512 bits (raw-public, buffer(800), ML-KEM-512, false, [encapsulateKey])
Pass Good parameters: ML-KEM-512 bits (spki, buffer(822), {name: ML-KEM-512}, false, [])
Pass Good parameters: ML-KEM-512 bits (spki, buffer(822), ML-KEM-512, false, [])
Fail Good parameters: ML-KEM-512 bits (raw-public, buffer(800), {name: ML-KEM-512}, false, [])
Fail Good parameters: ML-KEM-512 bits (raw-public, buffer(800), ML-KEM-512, false, [])
Pass Good parameters: ML-KEM-512 bits (spki, buffer(822), {name: ML-KEM-512}, false, [encapsulateBits, encapsulateKey, encapsulateBits, encapsulateKey])
Pass Good parameters: ML-KEM-512 bits (spki, buffer(822), ML-KEM-512, false, [encapsulateBits, encapsulateKey, encapsulateBits, encapsulateKey])
Fail Good parameters: ML-KEM-512 bits (raw-public, buffer(800), {name: ML-KEM-512}, false, [encapsulateBits, encapsulateKey, encapsulateBits, encapsulateKey])
Fail Good parameters: ML-KEM-512 bits (raw-public, buffer(800), ML-KEM-512, false, [encapsulateBits, encapsulateKey, encapsulateBits, encapsulateKey])
Fail Good parameters: ML-KEM-512 bits (pkcs8, buffer(86), {name: ML-KEM-512}, false, [decapsulateBits])
Fail Good parameters: ML-KEM-512 bits (pkcs8, buffer(86), ML-KEM-512, false, [decapsulateBits])
Fail Good parameters: ML-KEM-512 bits (raw-seed, buffer(64), {name: ML-KEM-512}, false, [decapsulateBits])
Fail Good parameters: ML-KEM-512 bits (raw-seed, buffer(64), ML-KEM-512, false, [decapsulateBits])
Fail Good parameters: ML-KEM-512 bits (pkcs8, buffer(86), {name: ML-KEM-512}, false, [decapsulateKey, decapsulateBits])
Fail Good parameters: ML-KEM-512 bits (pkcs8, buffer(86), ML-KEM-512, false, [decapsulateKey, decapsulateBits])
Fail Good parameters: ML-KEM-512 bits (raw-seed, buffer(64), {name: ML-KEM-512}, false, [decapsulateKey, decapsulateBits])
Fail Good parameters: ML-KEM-512 bits (raw-seed, buffer(64), ML-KEM-512, false, [decapsulateKey, decapsulateBits])
Fail Good parameters: ML-KEM-512 bits (pkcs8, buffer(86), {name: ML-KEM-512}, false, [decapsulateKey])
Fail Good parameters: ML-KEM-512 bits (pkcs8, buffer(86), ML-KEM-512, false, [decapsulateKey])
Fail Good parameters: ML-KEM-512 bits (raw-seed, buffer(64), {name: ML-KEM-512}, false, [decapsulateKey])
Fail Good parameters: ML-KEM-512 bits (raw-seed, buffer(64), ML-KEM-512, false, [decapsulateKey])
Fail Good parameters: ML-KEM-512 bits (pkcs8, buffer(86), {name: ML-KEM-512}, false, [decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey])
Fail Good parameters: ML-KEM-512 bits (pkcs8, buffer(86), ML-KEM-512, false, [decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey])
Fail Good parameters: ML-KEM-512 bits (raw-seed, buffer(64), {name: ML-KEM-512}, false, [decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey])
Fail Good parameters: ML-KEM-512 bits (raw-seed, buffer(64), ML-KEM-512, false, [decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey])
Fail Good parameters: ML-KEM-768 bits (spki, buffer(1206), {name: ML-KEM-768}, true, [encapsulateBits])
Fail Good parameters: ML-KEM-768 bits (spki, buffer(1206), ML-KEM-768, true, [encapsulateBits])
Fail Good parameters: ML-KEM-768 bits (raw-public, buffer(1184), {name: ML-KEM-768}, true, [encapsulateBits])
Fail Good parameters: ML-KEM-768 bits (raw-public, buffer(1184), ML-KEM-768, true, [encapsulateBits])
Fail Good parameters: ML-KEM-768 bits (spki, buffer(1206), {name: ML-KEM-768}, true, [encapsulateKey, encapsulateBits])
Fail Good parameters: ML-KEM-768 bits (spki, buffer(1206), ML-KEM-768, true, [encapsulateKey, encapsulateBits])
Fail Good parameters: ML-KEM-768 bits (raw-public, buffer(1184), {name: ML-KEM-768}, true, [encapsulateKey, encapsulateBits])
Fail Good parameters: ML-KEM-768 bits (raw-public, buffer(1184), ML-KEM-768, true, [encapsulateKey, encapsulateBits])
Fail Good parameters: ML-KEM-768 bits (spki, buffer(1206), {name: ML-KEM-768}, true, [encapsulateKey])
Fail Good parameters: ML-KEM-768 bits (spki, buffer(1206), ML-KEM-768, true, [encapsulateKey])
Fail Good parameters: ML-KEM-768 bits (raw-public, buffer(1184), {name: ML-KEM-768}, true, [encapsulateKey])
Fail Good parameters: ML-KEM-768 bits (raw-public, buffer(1184), ML-KEM-768, true, [encapsulateKey])
Fail Good parameters: ML-KEM-768 bits (spki, buffer(1206), {name: ML-KEM-768}, true, [])
Fail Good parameters: ML-KEM-768 bits (spki, buffer(1206), ML-KEM-768, true, [])
Fail Good parameters: ML-KEM-768 bits (raw-public, buffer(1184), {name: ML-KEM-768}, true, [])
Fail Good parameters: ML-KEM-768 bits (raw-public, buffer(1184), ML-KEM-768, true, [])
Fail Good parameters: ML-KEM-768 bits (spki, buffer(1206), {name: ML-KEM-768}, true, [encapsulateBits, encapsulateKey, encapsulateBits, encapsulateKey])
Fail Good parameters: ML-KEM-768 bits (spki, buffer(1206), ML-KEM-768, true, [encapsulateBits, encapsulateKey, encapsulateBits, encapsulateKey])
Fail Good parameters: ML-KEM-768 bits (raw-public, buffer(1184), {name: ML-KEM-768}, true, [encapsulateBits, encapsulateKey, encapsulateBits, encapsulateKey])
Fail Good parameters: ML-KEM-768 bits (raw-public, buffer(1184), ML-KEM-768, true, [encapsulateBits, encapsulateKey, encapsulateBits, encapsulateKey])
Fail Good parameters: ML-KEM-768 bits (pkcs8, buffer(86), {name: ML-KEM-768}, true, [decapsulateBits])
Fail Good parameters: ML-KEM-768 bits (pkcs8, buffer(86), ML-KEM-768, true, [decapsulateBits])
Fail Good parameters: ML-KEM-768 bits (raw-seed, buffer(64), {name: ML-KEM-768}, true, [decapsulateBits])
Fail Good parameters: ML-KEM-768 bits (raw-seed, buffer(64), ML-KEM-768, true, [decapsulateBits])
Fail Good parameters: ML-KEM-768 bits (pkcs8, buffer(86), {name: ML-KEM-768}, true, [decapsulateKey, decapsulateBits])
Fail Good parameters: ML-KEM-768 bits (pkcs8, buffer(86), ML-KEM-768, true, [decapsulateKey, decapsulateBits])
Fail Good parameters: ML-KEM-768 bits (raw-seed, buffer(64), {name: ML-KEM-768}, true, [decapsulateKey, decapsulateBits])
Fail Good parameters: ML-KEM-768 bits (raw-seed, buffer(64), ML-KEM-768, true, [decapsulateKey, decapsulateBits])
Fail Good parameters: ML-KEM-768 bits (pkcs8, buffer(86), {name: ML-KEM-768}, true, [decapsulateKey])
Fail Good parameters: ML-KEM-768 bits (pkcs8, buffer(86), ML-KEM-768, true, [decapsulateKey])
Fail Good parameters: ML-KEM-768 bits (raw-seed, buffer(64), {name: ML-KEM-768}, true, [decapsulateKey])
Fail Good parameters: ML-KEM-768 bits (raw-seed, buffer(64), ML-KEM-768, true, [decapsulateKey])
Fail Good parameters: ML-KEM-768 bits (pkcs8, buffer(86), {name: ML-KEM-768}, true, [decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey])
Fail Good parameters: ML-KEM-768 bits (pkcs8, buffer(86), ML-KEM-768, true, [decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey])
Fail Good parameters: ML-KEM-768 bits (raw-seed, buffer(64), {name: ML-KEM-768}, true, [decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey])
Fail Good parameters: ML-KEM-768 bits (raw-seed, buffer(64), ML-KEM-768, true, [decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey])
Pass Good parameters: ML-KEM-768 bits (spki, buffer(1206), {name: ML-KEM-768}, false, [encapsulateBits])
Pass Good parameters: ML-KEM-768 bits (spki, buffer(1206), ML-KEM-768, false, [encapsulateBits])
Fail Good parameters: ML-KEM-768 bits (raw-public, buffer(1184), {name: ML-KEM-768}, false, [encapsulateBits])
Fail Good parameters: ML-KEM-768 bits (raw-public, buffer(1184), ML-KEM-768, false, [encapsulateBits])
Pass Good parameters: ML-KEM-768 bits (spki, buffer(1206), {name: ML-KEM-768}, false, [encapsulateKey, encapsulateBits])
Pass Good parameters: ML-KEM-768 bits (spki, buffer(1206), ML-KEM-768, false, [encapsulateKey, encapsulateBits])
Fail Good parameters: ML-KEM-768 bits (raw-public, buffer(1184), {name: ML-KEM-768}, false, [encapsulateKey, encapsulateBits])
Fail Good parameters: ML-KEM-768 bits (raw-public, buffer(1184), ML-KEM-768, false, [encapsulateKey, encapsulateBits])
Pass Good parameters: ML-KEM-768 bits (spki, buffer(1206), {name: ML-KEM-768}, false, [encapsulateKey])
Pass Good parameters: ML-KEM-768 bits (spki, buffer(1206), ML-KEM-768, false, [encapsulateKey])
Fail Good parameters: ML-KEM-768 bits (raw-public, buffer(1184), {name: ML-KEM-768}, false, [encapsulateKey])
Fail Good parameters: ML-KEM-768 bits (raw-public, buffer(1184), ML-KEM-768, false, [encapsulateKey])
Pass Good parameters: ML-KEM-768 bits (spki, buffer(1206), {name: ML-KEM-768}, false, [])
Pass Good parameters: ML-KEM-768 bits (spki, buffer(1206), ML-KEM-768, false, [])
Fail Good parameters: ML-KEM-768 bits (raw-public, buffer(1184), {name: ML-KEM-768}, false, [])
Fail Good parameters: ML-KEM-768 bits (raw-public, buffer(1184), ML-KEM-768, false, [])
Pass Good parameters: ML-KEM-768 bits (spki, buffer(1206), {name: ML-KEM-768}, false, [encapsulateBits, encapsulateKey, encapsulateBits, encapsulateKey])
Pass Good parameters: ML-KEM-768 bits (spki, buffer(1206), ML-KEM-768, false, [encapsulateBits, encapsulateKey, encapsulateBits, encapsulateKey])
Fail Good parameters: ML-KEM-768 bits (raw-public, buffer(1184), {name: ML-KEM-768}, false, [encapsulateBits, encapsulateKey, encapsulateBits, encapsulateKey])
Fail Good parameters: ML-KEM-768 bits (raw-public, buffer(1184), ML-KEM-768, false, [encapsulateBits, encapsulateKey, encapsulateBits, encapsulateKey])
Fail Good parameters: ML-KEM-768 bits (pkcs8, buffer(86), {name: ML-KEM-768}, false, [decapsulateBits])
Fail Good parameters: ML-KEM-768 bits (pkcs8, buffer(86), ML-KEM-768, false, [decapsulateBits])
Fail Good parameters: ML-KEM-768 bits (raw-seed, buffer(64), {name: ML-KEM-768}, false, [decapsulateBits])
Fail Good parameters: ML-KEM-768 bits (raw-seed, buffer(64), ML-KEM-768, false, [decapsulateBits])
Fail Good parameters: ML-KEM-768 bits (pkcs8, buffer(86), {name: ML-KEM-768}, false, [decapsulateKey, decapsulateBits])
Fail Good parameters: ML-KEM-768 bits (pkcs8, buffer(86), ML-KEM-768, false, [decapsulateKey, decapsulateBits])
Fail Good parameters: ML-KEM-768 bits (raw-seed, buffer(64), {name: ML-KEM-768}, false, [decapsulateKey, decapsulateBits])
Fail Good parameters: ML-KEM-768 bits (raw-seed, buffer(64), ML-KEM-768, false, [decapsulateKey, decapsulateBits])
Fail Good parameters: ML-KEM-768 bits (pkcs8, buffer(86), {name: ML-KEM-768}, false, [decapsulateKey])
Fail Good parameters: ML-KEM-768 bits (pkcs8, buffer(86), ML-KEM-768, false, [decapsulateKey])
Fail Good parameters: ML-KEM-768 bits (raw-seed, buffer(64), {name: ML-KEM-768}, false, [decapsulateKey])
Fail Good parameters: ML-KEM-768 bits (raw-seed, buffer(64), ML-KEM-768, false, [decapsulateKey])
Fail Good parameters: ML-KEM-768 bits (pkcs8, buffer(86), {name: ML-KEM-768}, false, [decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey])
Fail Good parameters: ML-KEM-768 bits (pkcs8, buffer(86), ML-KEM-768, false, [decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey])
Fail Good parameters: ML-KEM-768 bits (raw-seed, buffer(64), {name: ML-KEM-768}, false, [decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey])
Fail Good parameters: ML-KEM-768 bits (raw-seed, buffer(64), ML-KEM-768, false, [decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey])
Fail Good parameters: ML-KEM-1024 bits (spki, buffer(1590), {name: ML-KEM-1024}, true, [encapsulateBits])
Fail Good parameters: ML-KEM-1024 bits (spki, buffer(1590), ML-KEM-1024, true, [encapsulateBits])
Fail Good parameters: ML-KEM-1024 bits (raw-public, buffer(1568), {name: ML-KEM-1024}, true, [encapsulateBits])
Fail Good parameters: ML-KEM-1024 bits (raw-public, buffer(1568), ML-KEM-1024, true, [encapsulateBits])
Fail Good parameters: ML-KEM-1024 bits (spki, buffer(1590), {name: ML-KEM-1024}, true, [encapsulateKey, encapsulateBits])
Fail Good parameters: ML-KEM-1024 bits (spki, buffer(1590), ML-KEM-1024, true, [encapsulateKey, encapsulateBits])
Fail Good parameters: ML-KEM-1024 bits (raw-public, buffer(1568), {name: ML-KEM-1024}, true, [encapsulateKey, encapsulateBits])
Fail Good parameters: ML-KEM-1024 bits (raw-public, buffer(1568), ML-KEM-1024, true, [encapsulateKey, encapsulateBits])
Fail Good parameters: ML-KEM-1024 bits (spki, buffer(1590), {name: ML-KEM-1024}, true, [encapsulateKey])
Fail Good parameters: ML-KEM-1024 bits (spki, buffer(1590), ML-KEM-1024, true, [encapsulateKey])
Fail Good parameters: ML-KEM-1024 bits (raw-public, buffer(1568), {name: ML-KEM-1024}, true, [encapsulateKey])
Fail Good parameters: ML-KEM-1024 bits (raw-public, buffer(1568), ML-KEM-1024, true, [encapsulateKey])
Fail Good parameters: ML-KEM-1024 bits (spki, buffer(1590), {name: ML-KEM-1024}, true, [])
Fail Good parameters: ML-KEM-1024 bits (spki, buffer(1590), ML-KEM-1024, true, [])
Fail Good parameters: ML-KEM-1024 bits (raw-public, buffer(1568), {name: ML-KEM-1024}, true, [])
Fail Good parameters: ML-KEM-1024 bits (raw-public, buffer(1568), ML-KEM-1024, true, [])
Fail Good parameters: ML-KEM-1024 bits (spki, buffer(1590), {name: ML-KEM-1024}, true, [encapsulateBits, encapsulateKey, encapsulateBits, encapsulateKey])
Fail Good parameters: ML-KEM-1024 bits (spki, buffer(1590), ML-KEM-1024, true, [encapsulateBits, encapsulateKey, encapsulateBits, encapsulateKey])
Fail Good parameters: ML-KEM-1024 bits (raw-public, buffer(1568), {name: ML-KEM-1024}, true, [encapsulateBits, encapsulateKey, encapsulateBits, encapsulateKey])
Fail Good parameters: ML-KEM-1024 bits (raw-public, buffer(1568), ML-KEM-1024, true, [encapsulateBits, encapsulateKey, encapsulateBits, encapsulateKey])
Fail Good parameters: ML-KEM-1024 bits (pkcs8, buffer(86), {name: ML-KEM-1024}, true, [decapsulateBits])
Fail Good parameters: ML-KEM-1024 bits (pkcs8, buffer(86), ML-KEM-1024, true, [decapsulateBits])
Fail Good parameters: ML-KEM-1024 bits (raw-seed, buffer(64), {name: ML-KEM-1024}, true, [decapsulateBits])
Fail Good parameters: ML-KEM-1024 bits (raw-seed, buffer(64), ML-KEM-1024, true, [decapsulateBits])
Fail Good parameters: ML-KEM-1024 bits (pkcs8, buffer(86), {name: ML-KEM-1024}, true, [decapsulateKey, decapsulateBits])
Fail Good parameters: ML-KEM-1024 bits (pkcs8, buffer(86), ML-KEM-1024, true, [decapsulateKey, decapsulateBits])
Fail Good parameters: ML-KEM-1024 bits (raw-seed, buffer(64), {name: ML-KEM-1024}, true, [decapsulateKey, decapsulateBits])
Fail Good parameters: ML-KEM-1024 bits (raw-seed, buffer(64), ML-KEM-1024, true, [decapsulateKey, decapsulateBits])
Fail Good parameters: ML-KEM-1024 bits (pkcs8, buffer(86), {name: ML-KEM-1024}, true, [decapsulateKey])
Fail Good parameters: ML-KEM-1024 bits (pkcs8, buffer(86), ML-KEM-1024, true, [decapsulateKey])
Fail Good parameters: ML-KEM-1024 bits (raw-seed, buffer(64), {name: ML-KEM-1024}, true, [decapsulateKey])
Fail Good parameters: ML-KEM-1024 bits (raw-seed, buffer(64), ML-KEM-1024, true, [decapsulateKey])
Fail Good parameters: ML-KEM-1024 bits (pkcs8, buffer(86), {name: ML-KEM-1024}, true, [decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey])
Fail Good parameters: ML-KEM-1024 bits (pkcs8, buffer(86), ML-KEM-1024, true, [decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey])
Fail Good parameters: ML-KEM-1024 bits (raw-seed, buffer(64), {name: ML-KEM-1024}, true, [decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey])
Fail Good parameters: ML-KEM-1024 bits (raw-seed, buffer(64), ML-KEM-1024, true, [decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey])
Pass Good parameters: ML-KEM-1024 bits (spki, buffer(1590), {name: ML-KEM-1024}, false, [encapsulateBits])
Pass Good parameters: ML-KEM-1024 bits (spki, buffer(1590), ML-KEM-1024, false, [encapsulateBits])
Fail Good parameters: ML-KEM-1024 bits (raw-public, buffer(1568), {name: ML-KEM-1024}, false, [encapsulateBits])
Fail Good parameters: ML-KEM-1024 bits (raw-public, buffer(1568), ML-KEM-1024, false, [encapsulateBits])
Pass Good parameters: ML-KEM-1024 bits (spki, buffer(1590), {name: ML-KEM-1024}, false, [encapsulateKey, encapsulateBits])
Pass Good parameters: ML-KEM-1024 bits (spki, buffer(1590), ML-KEM-1024, false, [encapsulateKey, encapsulateBits])
Fail Good parameters: ML-KEM-1024 bits (raw-public, buffer(1568), {name: ML-KEM-1024}, false, [encapsulateKey, encapsulateBits])
Fail Good parameters: ML-KEM-1024 bits (raw-public, buffer(1568), ML-KEM-1024, false, [encapsulateKey, encapsulateBits])
Pass Good parameters: ML-KEM-1024 bits (spki, buffer(1590), {name: ML-KEM-1024}, false, [encapsulateKey])
Pass Good parameters: ML-KEM-1024 bits (spki, buffer(1590), ML-KEM-1024, false, [encapsulateKey])
Fail Good parameters: ML-KEM-1024 bits (raw-public, buffer(1568), {name: ML-KEM-1024}, false, [encapsulateKey])
Fail Good parameters: ML-KEM-1024 bits (raw-public, buffer(1568), ML-KEM-1024, false, [encapsulateKey])
Pass Good parameters: ML-KEM-1024 bits (spki, buffer(1590), {name: ML-KEM-1024}, false, [])
Pass Good parameters: ML-KEM-1024 bits (spki, buffer(1590), ML-KEM-1024, false, [])
Fail Good parameters: ML-KEM-1024 bits (raw-public, buffer(1568), {name: ML-KEM-1024}, false, [])
Fail Good parameters: ML-KEM-1024 bits (raw-public, buffer(1568), ML-KEM-1024, false, [])
Pass Good parameters: ML-KEM-1024 bits (spki, buffer(1590), {name: ML-KEM-1024}, false, [encapsulateBits, encapsulateKey, encapsulateBits, encapsulateKey])
Pass Good parameters: ML-KEM-1024 bits (spki, buffer(1590), ML-KEM-1024, false, [encapsulateBits, encapsulateKey, encapsulateBits, encapsulateKey])
Fail Good parameters: ML-KEM-1024 bits (raw-public, buffer(1568), {name: ML-KEM-1024}, false, [encapsulateBits, encapsulateKey, encapsulateBits, encapsulateKey])
Fail Good parameters: ML-KEM-1024 bits (raw-public, buffer(1568), ML-KEM-1024, false, [encapsulateBits, encapsulateKey, encapsulateBits, encapsulateKey])
Fail Good parameters: ML-KEM-1024 bits (pkcs8, buffer(86), {name: ML-KEM-1024}, false, [decapsulateBits])
Fail Good parameters: ML-KEM-1024 bits (pkcs8, buffer(86), ML-KEM-1024, false, [decapsulateBits])
Fail Good parameters: ML-KEM-1024 bits (raw-seed, buffer(64), {name: ML-KEM-1024}, false, [decapsulateBits])
Fail Good parameters: ML-KEM-1024 bits (raw-seed, buffer(64), ML-KEM-1024, false, [decapsulateBits])
Fail Good parameters: ML-KEM-1024 bits (pkcs8, buffer(86), {name: ML-KEM-1024}, false, [decapsulateKey, decapsulateBits])
Fail Good parameters: ML-KEM-1024 bits (pkcs8, buffer(86), ML-KEM-1024, false, [decapsulateKey, decapsulateBits])
Fail Good parameters: ML-KEM-1024 bits (raw-seed, buffer(64), {name: ML-KEM-1024}, false, [decapsulateKey, decapsulateBits])
Fail Good parameters: ML-KEM-1024 bits (raw-seed, buffer(64), ML-KEM-1024, false, [decapsulateKey, decapsulateBits])
Fail Good parameters: ML-KEM-1024 bits (pkcs8, buffer(86), {name: ML-KEM-1024}, false, [decapsulateKey])
Fail Good parameters: ML-KEM-1024 bits (pkcs8, buffer(86), ML-KEM-1024, false, [decapsulateKey])
Fail Good parameters: ML-KEM-1024 bits (raw-seed, buffer(64), {name: ML-KEM-1024}, false, [decapsulateKey])
Fail Good parameters: ML-KEM-1024 bits (raw-seed, buffer(64), ML-KEM-1024, false, [decapsulateKey])
Fail Good parameters: ML-KEM-1024 bits (pkcs8, buffer(86), {name: ML-KEM-1024}, false, [decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey])
Fail Good parameters: ML-KEM-1024 bits (pkcs8, buffer(86), ML-KEM-1024, false, [decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey])
Fail Good parameters: ML-KEM-1024 bits (raw-seed, buffer(64), {name: ML-KEM-1024}, false, [decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey])
Fail Good parameters: ML-KEM-1024 bits (raw-seed, buffer(64), ML-KEM-1024, false, [decapsulateBits, decapsulateKey, decapsulateBits, decapsulateKey])