HICS-PQ FIPS 203 STARK Attested

Kyber ML-KEM-768

Post-quantum key encapsulation attestation. NIST FIPS 203. Lattice-based key exchange for establishing quantum-resistant shared secrets.
The algorithm is the authority. H33 does not editorialize scores.

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

ParameterValue
Security LevelNIST Level 3 (~AES-192)
Public Key Size1,184 bytes
Secret Key Size2,400 bytes
Ciphertext Size1,088 bytes
Shared Secret32 bytes
FoundationModule-LWE lattice
Unit Tests19
Security Levels3 (Kyber-512, 768, 1024)
Verify STARK Proof Download .h33 Certificate How Attestation Works