The HyperFrog Cryptosystem: High-Genus Voxel Topology as a… — Spiegazione divulgativa

Each language version is independently generated for its own context, not a direct translation.

🐸 HyperFrog: La Rana che Costruisce un Labirinto per Proteggere i Segreti

Immagina di voler inviare un messaggio segreto a un amico, ma vuoi essere sicuro che nessun computer potente (nemmeno quelli futuri che useranno la "quantistica") possa leggerlo. Per fare questo, usi un sistema chiamato HyperFrog.

Questo documento è come un "manuale di aggiornamento" per un esperimento scientifico. L'autore, Victor Duarte Melo, sta dicendo: "Abbiamo corretto il nostro progetto per renderlo più onesto, più chiaro e più preciso, separando la teoria dalla pratica."

Ecco come funziona, passo dopo passo, con delle metafore semplici:

1. Il Problema: Costruire un Segreto "Strano"

Nella crittografia moderna, per creare una chiave segreta, di solito si usano numeri casuali semplici (come lanciare una moneta).
HyperFrog fa qualcosa di diverso: invece di lanciare una moneta, costruisce una struttura complessa.

L'Analogia del Cubo di Lego:
Immagina una scatola gigante piena di 4096 piccoli cubetti (voxel) di Lego.
Nella versione vecchia, il sistema prendeva a caso alcuni cubetti e sperava che formassero una figura "interessante".
Nella nuova versione (HyperFrog v36), il sistema costruisce la figura pezzo per pezzo.
1. Parte da un solo cubetto.
2. Aggiunge un cubetto adiacente (che tocca il primo).
3. Aggiunge un altro cubetto che tocca il gruppo esistente.
4. Continua finché non ha usato esattamente 2048 cubetti e tutti sono collegati tra loro.

Il risultato è una "ragnatela" di cubetti che non si spezza mai (è tutto un pezzo unico).

2. La Misura della Complessità: Il "Punteggio di Cicli"

Una volta costruita questa ragnatela di cubetti, il sistema la misura. Non conta solo quanti cubetti ci sono, ma quanti "anelli" o "loop" ci sono nella struttura.

L'Analogia del Labirinto:
Immagina di camminare nella tua ragnatela di cubetti. Se puoi fare un giro completo e tornare al punto di partenza senza ripassare per lo stesso percorso, hai trovato un "ciclo".
Il sistema conta quanti di questi percorsi chiusi esistono. Chiamiamo questo numero "Cycle Rank" (o grado di ciclicità).
- Se il numero è basso, la struttura è come un albero semplice (pochi giri).
- Se il numero è alto, la struttura è un labirinto intricato con migliaia di giri possibili.

HyperFrog dice: "Accetteremo come segreto solo le strutture che hanno un punteggio di cicli molto alto (almeno 2000+)." Questo rende il segreto molto difficile da indovinare per un computer.

3. La Grande Differenza: Teoria vs. Laboratorio

Il punto più importante di questo documento è la separazione tra due modi di lavorare:

Il "Miner Formale" (La Regola Rigida): È il metodo descritto sopra. È lento, preciso e segue regole ferree (esattamente 2048 cubetti, tutti collegati, molti giri). Questo è quello che usiamo per la sicurezza teorica. È come un architetto che disegna un ponte con calcoli perfetti.
Il "Miner Pratico" (Il Metodo Veloce): È un metodo più "disordinato" usato solo per fare test veloci o per capire se il codice funziona. A volte prende pezzi a caso e li unisce in fretta. È come un operaio che prova a costruire un muro velocemente per vedere se i mattoni reggono.
- La correzione: Prima, il documento mescolava questi due metodi. Ora dice chiaramente: "Il miner pratico è solo per i test, non è quello che garantisce la sicurezza!"

4. Come Funziona la Chiave (LWE)

Una volta scelta questa "ragnatela di cubetti" come segreto, il sistema la usa per creare una chiave pubblica (quella che puoi dare a tutti) e una chiave privata (quella che tieni per te).
Funziona come un mattone matematico:

Prende la tua ragnatela complessa.
Aggiunge un po' di "rumore" (come se avessi spolverato la ragnatela con della sabbia).
Il risultato è una chiave pubblica che sembra casuale, ma che solo chi conosce la ragnatela esatta può decifrare.

5. I Risultati dei Test (Il Report)

L'autore ha fatto molti test con computer reali e ha pubblicato i risultati:

Stabilità: Il sistema costruisce la ragnatela perfetta (2048 cubetti collegati) ogni volta, senza errori.
Velocità: Creare la chiave è veloce (pochi millisecondi).
Il "Collo di Bottiglia": Quando si deve decifrare un file, la parte più lenta non è la crittografia, ma sbloccare la chiave con la password. È come se avessi un lucchetto d'acciaio (la crittografia) che si apre in un secondo, ma la chiave è dentro una cassaforte che richiede 10 secondi per aprirsi. Il documento ora misura queste due cose separatamente per essere onesto.

6. Cosa NON è HyperFrog (Onestà Intellettuale)

Il documento è molto onesto su cosa non sa ancora fare:

Non è ancora pronto per essere usato in una banca o su internet domani.
Non abbiamo la prova matematica definitiva che questo tipo di "ragnatela" sia invincibile (anche se sembra molto sicuro).
I file cifrati sono ancora molto grandi (circa 2 Megabyte per pochi bit di messaggio), quindi non è efficiente per le email veloci.

In Sintesi

HyperFrog è un esperimento scientifico che dice: "Proviamo a creare chiavi segrete basandoci su forme geometriche complesse (ragnatele di cubetti) invece che su numeri casuali semplici."

Questa revisione serve a dire: "Abbiamo pulito il laboratorio. Ora sappiamo esattamente qual è la regola matematica (il miner formale) e qual è il trucco per fare i test veloci (il miner pratico). I numeri che vediamo sono reali e onesti, anche se il sistema non è ancora perfetto per il mondo reale."

È un passo avanti verso la sicurezza del futuro, fatto con molta trasparenza e senza esagerazioni.

Each language version is independently generated for its own context, not a direct translation.

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della crittografia post-quantistica (PQC), specificamente nello studio di meccanismi di incapsulamento di chiavi (KEM) basati su reticoli (Lattice-based).

Contesto: Esistono già famiglie mature di KEM (basati su reticoli, codici e isogenie), ma rimane scientificamente utile esplorare costruzioni sperimentali che modificano un solo aspetto del design alla volta.
Il Problema: La maggior parte dei KEM basati su LWE (Learning With Errors) utilizza segreti binari non strutturati o distribuzioni di errore standard. HyperFrog propone di introdurre una distribuzione di segreto strutturata basata su proprietà topologiche e grafiche, mantenendo il nucleo algebrico conservativo (LWE non strutturato).
Criticità delle versioni precedenti: Le bozze precedenti del documento mescolavano concetti informali (narrativa topologica), miner ingegneristici (per comodità nel codice) e definizioni formali, creando ambiguità sulla legge di distribuzione del segreto e sull'interpretazione dei benchmark.

2. Metodologia e Design

HyperFrog è un KEM sperimentale che combina tre livelli concettuali:

A. Generatore di Segreti (Il "Miner")

La novità risiede nella generazione del segreto binario $s \in \{0,1\}^{4096}$ , che rappresenta un campo di occupazione su una griglia voxel $16 \times 16 \times 16$ .

Processo Formale: Viene sostituito il vecchio campionatore di rifiuto debole con un processo di crescita del fronte connesso (connected frontier growth process).
1. Si seleziona un voxel iniziale uniformemente.
2. Si aggiunge iterativamente un voxel del "fronte" (vicini non occupati) scelto uniformemente.
3. Il processo si ferma esattamente quando il numero di voxel occupati è 2048.
4. Viene calcolato il rango del ciclo del grafo ( $\beta_1$ ) del grafo di adiacenza a 6 vicini.
5. Il campione è accettato solo se $\beta_1 \ge \tau$ (una soglia fornita dall'utente).
Invariante Topologico: Il documento chiarisce che l'invariante non è il "genere" di una superficie 3D, ma il rango del ciclo del grafo ( $\beta_1 = |E| - |V| + C$ ), che corrisponde alla dimensione dello spazio dei cicli del grafo occupato.
Separazione Formale/Pratica: Il codice distingue nettamente tra il miner formale (usato per le affermazioni teoriche) e il miner pratico (usato solo per test ingegneristici, che può fallire o usare fallback deterministici).

B. Nucleo Algebrico (LWE)

Parametri: $N=4096$ (dimensione del vettore segreto), $M=2048$ (righe della matrice pubblica), $q=2^{16}$ , $k=256$ bit incapsulati.
Struttura: La chiave pubblica è un'istanza LWE standard ($b = As + e$). La matrice $A$ è espansa da un seme tramite un cifrario a flusso (ChaCha20). Il segreto $s$ è il campo di occupazione binario generato dal miner.
Trasformazione FO: Per ottenere sicurezza contro attacchi a testo cifrato scelto (IND-CCA2), viene applicata una trasformazione di Fujisaki-Okamoto nel modello random oracle.

C. Implementazione e Benchmark

Crittografia File: Utilizza AES-256-GCM derivato da una chiave condivisa KEM.
Metriche Distinte: Il nuovo schema di benchmark (v3) separa i tempi di:
1. Sblocco della chiave segreta (es. derivazione password con Argon2id).
2. Decrittazione crittografica del file.
3. Tempo totale end-to-end.

3. Contributi Chiave

Definizione Formale del Segreto: Il documento chiarisce che la distribuzione del segreto non è uniforme, ma è una legge condizionata su grafi connessi di peso esatto 2048 con un alto rango di ciclo. Non viene rivendicata una riduzione formale alla difficoltà LWE standard, ma si ammette onestamente che la sicurezza dipende dalla robustezza di questa famiglia strutturata.
Separazione Semantica: Distinzione rigorosa tra il miner formale (processo di crescita) e quello pratico (campionamento casuale con filtraggio), evitando confusione nelle affermazioni di sicurezza.
Metodologia di Benchmarking Trasparente: Introduzione di una nuova schema di reporting che isola i costi computazionali (sblocco password vs decrittazione crittografica) e fornisce diagnostica per campione (peso, connettività, rango del ciclo).
Correzione Terminologica: Sostituzione dell'uso improprio del termine "genere" con il preciso "rango del ciclo del grafo" ( $\beta_1$ ).

4. Risultati Sperimentali

Sulla base di un corpus di benchmark (1670 campioni formali):

Stabilità del Miner: Il miner formale ha generato con successo 1670 campioni senza timeout.
Proprietà Geometriche:
- Peso occupato: Esattamente 2048 in ogni campione.
- Connettività: 1 componente connessa in ogni campione.
- Rango del ciclo ( $\beta_1$ ): Variato tra 2315 e 2856 (media 2687.3).
Correttezza: 1670 su 1670 decapsulazioni hanno avuto successo (nessun errore di decodifica osservato).
Prestazioni KEM:
- Incapsulamento medio: ~25 ms (con 16 thread).
- Decapsulamento medio: ~33 ms.
- Il decapsulamento è più lento a causa della ricostruzione del testo cifrato e della validazione costante.
Confronto Formale vs Pratico: Il miner pratico produce pesi variabili (~~2030) e ranghi di ciclo molto più bassi (~~1000), confermando che non è sostituibile con quello formale per scopi di sicurezza.
Limiti dei Benchmark Attuali: Le soglie di ciclo ( $\tau$ ) testate (6-12) sono molto inferiori ai valori osservati (~2600), il che significa che i test attuali misurano la stabilità dell'implementazione e non un regime di accettazione difficile.

5. Significato e Limitazioni

Significato: HyperFrog funge da piattaforma di ricerca trasparente per studiare come le distribuzioni di segreti strutturati (basate su grafi connessi) interagiscono con l'LWE non strutturato. La revisione rende il sistema "onesto" riguardo a cosa è dimostrato e cosa è ancora ipotetico.
Limitazioni:
- Sicurezza: Non esiste una riduzione di sicurezza che dimostri che l'LWE con questo segreto strutturato è duro quanto l'LWE standard. Rimane un problema aperto l'analisi di attacchi specifici che sfruttino le correlazioni del grafo.
- Dimensione: Il testo cifrato è grande (~2.1 MB) perché memorizza un vettore $u$ per ogni bit del messaggio. Non è ottimizzato per la banda.
- Calibrazione: I test attuali non hanno ancora esplorato un regime di soglia difficile dove il miner fallirebbe frequentemente.
- Side-channel: L'implementazione non ha ancora subito un audit completo contro le fughe di informazioni tramite canali laterali.

Conclusione: Il documento non presenta un sistema pronto per il deployment, ma un'implementazione sperimentale corretta e ben documentata che definisce chiaramente la sua legge di segreto. Il passo successivo per la ricerca è determinare se questa specifica famiglia di segreti strutturati resiste agli attacchi crittografici noti.

The HyperFrog Cryptosystem: High-Genus Voxel Topology as a Trapdoor for Post-Quantum KEMs