Encryption and key exchange
Verifiable encryption with post-quantum key exchange: ML-KEM (Kyber) key generation, encapsulation and decapsulation, and AES-128 and AES-256.
FIPS 203hekate-pqc
ML-KEM Sender / Receiver
Prove post-quantum ML-KEM (Kyber) KeyGen, Encaps and Decaps in zero knowledge at all FIPS 203 levels, with keys and shared secrets kept private.
FIPS 197hekate-aes
AES-128 and AES-256 Encryption
Prove AES-128 and AES-256 encryption in zero knowledge, key expansion included, with the key kept private and constant-time trace generation by default.