La crittografia post-quantistica sta entrando nella distribuzione. ICICLE di @Ingo_zk supporta ora ML-KEM (Kyber) con set di parametri completi, batch e operazioni asincrone. Analizziamo questo! 👇

@Ingo_zk ML-KEM (Module-Lattice Key Encapsulation Mechanism) è la variante standardizzata di Kyber secondo FIPS 203, progettata per la crittografia post-quantistica. Il NIST ha approvato tre livelli: Kyber512 (Livello 1), Kyber768 (Livello 3) e Kyber1024 (Livello 5).

@Ingo_zk ICICLE v3.9.0 implementa ML-KEM in C++ con supporto completo per tutti e tre i set di parametri. Le operazioni chiave, ad esempio generazione di chiavi, incapsulamento, decapsulamento, vengono istanziate tramite i parametri Kyber{512,768,1024}.

@Ingo_zk Dimensioni dei byte per set di parametri: - Kyber512: PK=800B, SK=1632B, CT=768B - Kyber768: PK=1184B, SK=2400B, CT=1088B - Kyber1024: PK=1568B, SK=3168B, CT=1568B

@Ingo_zk Lo struct MlKemConfig supporta operazioni asincrone, hint di residenza del dispositivo (ad esempio public_keys_on_device) e invio in batch (batch_size). Gli hook di ottimizzazione tramite ConfigExtension* ext sono disponibili per l'ottimizzazione specifica del backend.

@Ingo_zk firme API: - keygen(entropia, configurazione, public_keys, secret_keys) - encapsulate(messaggio, public_keys, configurazione, testi cifrati, shared_secrets) - decapsulate(secret_keys, testi cifrati, config, shared_secrets)

@Ingo_zk Batching consente il parallelismo nello scambio di chiavi, fondamentale per applicazioni scalabili come la messaggistica sicura e le VPN PQ. I flag lato dispositivo suggeriscono al runtime ICICLE le posizioni di memoria preesistenti per ridurre al minimo i trasferimenti.

@Ingo_zk ICICLE include esempi di utilizzo per Kyber768: allocazione, generazione di entropia, generazione di coppie di chiavi, incapsulamento e decapsulamento. Il modello è strutturato e coerente tra i set di parametri.

@Ingo_zk Questa implementazione è in linea con la specifica finale NIST FIPS 203 (giugno 2025). È progettato per l'integrazione in applicazioni C++ compatibili con PQC, in particolare quelle che sfruttano l'accelerazione hardware.