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 implements SPHINCS+-SHAKE-128s (SLH-DSA, FIPS 205) for all transaction signatures, providing post-quantum security designed for the long term.

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:

Related reading: Guida all'implementazione di SPHINCS+: firme basate su hash per sviluppatori.

• 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

Quantum computers provide at most quadratic speedup against hash functions via Grover's algorithm—addressed by using larger hash outputs. No known quantum algorithm breaks hash functions; Grover’s algorithm only weakens them, which the parameter sizes absorb, so SPHINCS+ is considered quantum-resistant.

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

This results in signature sizes ranging from 7,856 bytes (SPHINCS+-SHAKE-128s, the set SynX ships) to 49,856 bytes (SPHINCS+-SHAKE-256f) depending on parameter selection:

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 uses a conservative SPHINCS+ parameter set, and ordinary sends carry no fee. The alternative—remaining vulnerable to quantum attacks—presents far greater long-term costs.

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 combines SPHINCS+ signatures with Kyber-768 key encapsulation to create a comprehensive post-quantum security system. Users receive protection rooted in the strongest available cryptographic foundations, so their transactions rest on hash-based, post-quantum signatures rather than elliptic curves.

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