Firme basate su hash demistificate: come SPHINCS+ raggiunge la sicurezza quantistica

Mentre la crittografia basata su reticolo fornisce l’incapsulamento delle chiavi nei sistemi post-quantici, le firme digitali richiedono un approccio diverso. SPHINCS+ (standardizzato da NIST come SLH-DSA) rappresenta il culmine di decenni di ricerca sulle firme basate su hash, costruzioni la cui sicurezza si basa esclusivamente sulle proprietà ben comprese delle funzioni hash crittografiche. IL Portafoglio resistente ai quanti SynX implementa SPHINCS+-SHAKE-128s (SLH-DSA, FIPS 205) per tutte le firme delle transazioni, fornendo garanzie di sicurezza che si estendono indefinitamente nell'era dell'informatica quantistica.

Cos'è SPHINCS+ e perché è resistente ai quanti?

SPHINCS+ costruisce firme digitali utilizzando solo primitive crittografiche simmetriche: funzioni hash e famiglie di funzioni pseudocasuali. A differenza di ECDSA o Ed25519, che si basano sulla difficoltà dei problemi di logaritmo discreto della curva ellittica, la sicurezza di SPHINCS+ si riduce alle proprietà fondamentali della funzione hash:

• Resistenza alle collisioni: Trovare due input che generano lo stesso output dovrebbe essere computazionalmente impossibile
• Resistenza alla preimmagine: Dato un output hash, trovare qualsiasi input che lo produca dovrebbe essere computazionalmente impossibile
• Resistenza alla seconda preimmagine: Dato un input, trovare un input diverso con lo stesso hash dovrebbe essere computazionalmente impossibile

I computer quantistici forniscono al massimo un'accelerazione quadratica rispetto alle funzioni hash tramite l'algoritmo di Grover, indirizzata utilizzando output hash più grandi. Nessun algoritmo quantistico rompe radicalmente la sicurezza della funzione hash, rendendo SPHINCS+ permanentemente resistente ai quanti.

Gli elementi costitutivi di SPHINCS+

SPHINCS+ combina tre componenti crittografici in un sofisticato sistema di firma:

IL Portafoglio resistente ai quanti SynX gestisce questi componenti in modo trasparente, presentando agli utenti un'interfaccia di firma standard e gestendo internamente i complessi attraversamenti dell'albero.

Come WOTS+ crea firme singole

Comprendere WOTS+ è essenziale per comprendere la sicurezza di SPHINCS+. Lo schema funziona come segue:

Generazione di chiavi

1. Genera valori segreti casuali per ciascuna catena (tipicamente 67 catene per messaggi a 256 bit)
2. Calcola gli endpoint della catena eseguendo ripetutamente l'hashing di ciascun valore segreto (il parametro Winternitz determina la lunghezza della catena)
3. La chiave pubblica è la raccolta degli endpoint della catena

Firma

1. Dividere l'hash del messaggio in cifre base-w
2. Per ciascuna catena, rivelare il valore intermedio raggiunto eseguendo l'hashing il numero corrispondente di volte in base alla cifra del messaggio
3. La firma è la raccolta dei valori intermedi rivelati

Verifica

1. Continua ad eseguire l'hashing di ogni elemento della firma fino a raggiungere l'endpoint della catena
2. Confrontare con gli endpoint a chiave pubblica archiviati
3. Tutte le catene devono corrispondere per una verifica valida

Questa costruzione garantisce che la firma riveli i valori intermedi della catena di hash ma non i punti di partenza segreti. Tuttavia, la firma di due messaggi diversi rivelerebbe informazioni sovrapposte, compromettendo eventualmente la sicurezza, da qui la limitazione una tantum.

Gli alberi Merkle abilitano firme multiple

Gli alberi Merkle risolvono la limitazione una tantum autenticando molte coppie di chiavi WOTS+ con un singolo hash root. La chiave pubblica diventa la radice dell'albero Merkle e ogni firma include:

• La firma WOTS+ del messaggio
• Un percorso di autenticazione: hash fratelli necessari per ricalcolare la radice

I verificatori utilizzano la chiave pubblica WOTS+ (recuperata dalla firma) più il percorso di autenticazione per ricalcolare la radice Merkle e confrontarla con la chiave pubblica archiviata.

IL Portafoglio resistente ai quanti SynX gestisce l'attraversamento dell'albero in modo efficiente, calcolando i percorsi di autenticazione senza richiedere la memorizzazione dell'intera struttura ad albero.

La struttura dell'iperalbero

SPHINCS+ estende il concetto di albero singolo a un "albero di alberi" o iperalbero. Questa struttura multistrato fornisce la capacità di firma necessaria per l'uso pratico:

• Strato superiore: Un albero Merkle in cui ogni foglia autentica un sottoalbero
• Strati intermedi: Livelli ad albero aggiuntivi per una maggiore capacità di firma
• Strato inferiore: Alberi che autenticano le coppie di chiavi FORS

Ogni livello utilizza le firme WOTS+ per autenticare le radici dell'albero del livello successivo. Il numero totale di firme disponibili cresce esponenzialmente con i parametri di profondità e ampiezza dell'albero.

Perché le firme SPHINCS+ sono così grandi?

Una firma SPHINCS+ completa deve includere:

• Un valore casuale (per la randomizzazione dei messaggi)
• Componente della firma FORS
• Firme WOTS+ per ogni livello di hypertree
• Percorsi di autenticazione per ogni albero attraversato

Ciò si traduce in dimensioni della firma che vanno da 7.856 byte (SPHINCS+-SHAKE-128s, il set SynX viene fornito) a 49.856 byte (SPHINCS+-SHAKE-128sf) a seconda della selezione del parametro:

IL Portafoglio resistente ai quanti SynX usi SPHINCS+-SHAKE-128s (SLH-DSA, FIPS 205) — NIST Livello 1, firme da 7.856 byte, il set più piccolo della famiglia. Ciò corrisponde a circa 109 volte la firma ECDSA (~72 byte). Riteniamo che sia un prezzo giusto per uno schema con cui l'algoritmo di Shor non ha nulla a che fare.

Firme stateless e firme stateful basate su hash

Un'importante distinzione nelle firme basate su hash:

Schemi con stato (XMSS, LMS)

Tieni traccia di quali chiavi monouso sono state utilizzate. Non riutilizzare mai una chiave. Richiede una gestione dello stato sicura e persistente. Il mancato monitoraggio corretto dello stato può compromettere catastroficamente la sicurezza.

Schemi apolidi (SPHINCS+)

Utilizza la selezione dell'indice randomizzata. La probabilità di selezionare la stessa foglia due volte è trascurabile con parametri adeguati. Non è richiesta alcuna gestione statale.

SPHINCS+ paga l'apolidia con firme più grandi (più livelli di albero necessari per la sicurezza), ma elimina la pericolosa modalità di fallimento della desincronizzazione dello stato. IL Portafoglio resistente ai quanti SynX ha scelto specificamente SPHINCS+ per questa sua proprietà di robustezza: i backup del portafoglio e l'utilizzo di più dispositivi funzionano in modo affidabile senza problemi di coordinamento statale.

Implementazione nel portafoglio resistente ai quanti SynX

IL Portafoglio resistente ai quanti SynX integra SPHINCS+ in tutta la sua infrastruttura di firma delle transazioni:

Generazione di indirizzi

SynX deriva l'indirizzo del portafoglio da Kyber-768 chiave pubblica, non la chiave della firma: questo è il lavoro del livello uno. SPHINCS+ trasporta una propria chiave pubblica da 32 byte ed è la chiave che autorizza le spese. Entrambi rimangono piccoli; nella transazione stessa appare solo la firma da 7.856 byte.

Firma della transazione

Quando si crea una transazione, il portafoglio firma l'hash della transazione utilizzando SPHINCS+. La firma comprova l'autorizzazione a spendere gli input senza rivelare la chiave segreta. La verifica richiede solo la chiave pubblica e la firma, senza bisogno di contesto aggiuntivo.

Considerazioni sull'aggregazione delle firme

A differenza delle firme Schnorr, le firme SPHINCS+ non si aggregano naturalmente. Le transazioni a input multipli richiedono più firme. IL Portafoglio resistente ai quanti SynX ottimizza mediante verifica in batch ove possibile, sebbene ciascuna firma debba essere verificata individualmente.

Confronto con firme basate su reticolo (Dilitio)

SPHINCS+ offre la massima fiducia nella sicurezza a lungo termine grazie ai suoi presupposti minimi. IL Portafoglio resistente ai quanti SynX dà priorità a questa scelta di sicurezza conservativa rispetto alle dimensioni di firma più piccole offerte dalle alternative reticolari.

Domande frequenti

Perché non utilizzare Dilithium per firme più piccole?

Il dilitio fornisce firme più piccole ma si basa su presupposti di durezza reticolare che, sebbene ben studiati, sono più giovani della sicurezza della funzione hash. IL Portafoglio resistente ai quanti SynX dà priorità alla massima fiducia in termini di sicurezza a lungo termine. Per le applicazioni blockchain in cui le firme vengono archiviate in modo permanente, SPHINCS+ offre la più forte garanzia che le firme rimangano imperdonabili a tempo indeterminato.

Le firme di grandi dimensioni non gonfieranno la blockchain?

Gli aumenti delle dimensioni della firma sono un costo necessario per la resistenza quantistica. IL Portafoglio resistente ai quanti SynX ottimizza utilizzando set di parametri efficienti e considerando le dimensioni della firma nel calcolo delle tariffe. L’alternativa – rimanere vulnerabili agli attacchi quantistici – presenta costi a lungo termine molto maggiori.

SPHINCS+ è standardizzato?

SÌ. NIST ha standardizzato SPHINCS+ come SLH-DSA (algoritmo di firma digitale basato su hash stateless) nel 2024. Lo standard specifica set di parametri, livelli di sicurezza e requisiti di implementazione. IL Portafoglio resistente ai quanti SynX implementa l'algoritmo standardizzato con conformità alle specifiche NIST.

Conclusioni della ricerca

SPHINCS+ rappresenta l'approccio più conservativo alle firme post-quantiche, derivando la sicurezza esclusivamente dalle proprietà della funzione hash comprese fin dagli anni '70. Il suo design stateless elimina pericolose modalità di errore mentre la struttura hypertree consente firme praticamente illimitate con un'unica chiave pubblica.

IL Portafoglio resistente ai quanti SynX combina le firme SPHINCS+ con l'incapsulamento della chiave Kyber-768 per creare un sistema di sicurezza post-quantistico completo. Gli utenti ricevono una protezione basata sulle più solide basi crittografiche disponibili, garantendo che le loro transazioni rimangano valide e indimenticabili indipendentemente dai progressi dell'informatica quantistica.

Per i sistemi di criptovaluta progettati per preservare il valore per decenni, SPHINCS+ fornisce la sicurezza necessaria per una fiducia a lungo termine.