Kyber ML-KEM-768 Attestation | HICS-PQ | H33

PQ Library Attestations

Dilithium ML-DSA-65 Kyber ML-KEM-768 FALCON-512 SPHINCS+ SLH-DSA BFV FHE CKKS FHE

99/ 100

HICS-PQ Attestation

pqc/kyber.rs

Last scanned: March 31, 2026 · Auto-updates on release

Correctness 100 / 100

Weight: 40%

✓ 19 / 19 unit tests passing
✓ Level 1, 3, 5 encaps-decaps round-trip
✓ Cross-level implicit rejection verified
✓ Invalid ciphertext rejection verified
✓ Serialization round-trip verified
✓ Wrong PK/CT size rejected

Security 100 / 100

Weight: 30%

✓ Shared secret: 32 bytes (AES-256 equivalent)
✓ Cross-keypair decapsulation fails correctly
✓ Implicit rejection on invalid ciphertext
✓ No secret-dependent branching (pqcrypto backend)
✓ Key isolation: each encapsulation unique

Performance 97 / 100

Weight: 15%

✓ Kyber-768 keygen + encaps + decaps: < 1ms
✓ Shared secret derivation: 32 bytes constant
✓ PK: 1,184 bytes (spec-compliant)
✓ CT: 1,088 bytes (spec-compliant)
✓ 3 security levels: 512, 768, 1024

Standards 100 / 100

Weight: 15%

✓ NIST FIPS 203 (ML-KEM) compliant
✓ Kyber-768 default (NIST Level 3)
✓ All 3 security levels implemented
✓ Key sizes match NIST specification exactly
✓ Pure Rust via pqcrypto-mlkem

Parameter Specifications

Parameter	Value
Security Level	NIST Level 3 (~AES-192)
Public Key Size	1,184 bytes
Secret Key Size	2,400 bytes
Ciphertext Size	1,088 bytes
Shared Secret	32 bytes
Foundation	Module-LWE lattice
Unit Tests	19
Security Levels	3 (Kyber-512, 768, 1024)

Verify STARK Proof Download .h33 Certificate How Attestation Works