Ethereum dice addio a Poseidon: le firme digitali post-quantistiche cambiano strada

Come SHA-2 e BLAKE2s rafforzano la sicurezza quantistica

SHA-2 e BLAKE2s appartengono alla famiglia delle firme basate su hash (ad esempio SPHINCS+, XMSS), ampiamente riconosciute come resistenti ai computer quantistici da NIST e dalla comunità crittografica. La roadmap Lean Ethereum prevede la sostituzione delle firme BLS con leanXMSS — uno schema di firme hash-based stateful costruito su hash tradizionali — come alternativa post-quantistica principale per i validatori di Ethereum . Utilizzare hash standardizzati e ben analizzati, piuttosto che una costruzione SNARK-friendly su misura, significa che le ipotesi di sicurezza post-quantistica sono sostenute da decenni di controllo crittografico, riducendo la dipendenza dal margine di sicurezza relativamente poco testato di Poseidon .

La svolta: i SNARK su campi binari di Binius e Flock

Il cambiamento è stato reso possibile da due innovazioni nei SNARK:

• Binius — Un SNARK costruito su torri di estensione di campi binari (campi GF(2)). Il suo design si allinea naturalmente con le operazioni bit per bit richieste dalle funzioni hash tradizionali (SHA-256, Keccak-256), eliminando il sovraccarico di embedding che in precedenza rendeva costosa la loro dimostrazione. Questo rende Binius particolarmente adatto per verificare la crittografia simmetrica classica all'interno dei SNARK .

• Flock — Un SNARK basato su hash per prove batch estremamente veloci di valutazioni di hash crittografici standard (SHA-256, Keccak, BLAKE3). Flock dimostra lotti dello stesso circuito R1CS con enormi guadagni di throughput, consentendo ai nuovi design SNARK di elaborare 1 milione di prove al secondo su un singolo core di un laptop .

Insieme, questi eliminano la necessità di hash SNARK-friendly: gli hash standard possono ora essere dimostrati con la stessa efficienza di Poseidon, e la comunità può "accelerare direttamente verso gli STARK" utilizzando primitive tradizionali e collaudate .

Cronologia: leanVM e implementazioni dei layer fino al 2028

La "Strawmap" della Ethereum Foundation (pubblicata dal team di Architettura) delinea circa sette fork entro il 2029, uno ogni sei mesi . Le tappe fondamentali dagli annunci più recenti:

• leanVM (pronto per la produzione): Previsto per il 2027 — una macchina virtuale a conoscenza zero minima che verifica e aggrega le prove del layer di esecuzione .
• Implementazioni dei layer di consenso, dati ed esecuzione: Previste per il 2028 .
• leanXMSS (firme dei validatori basate su hash): Parte della ricostruzione pluriennale di Lean Ethereum, che si estenderà in una finestra di 3-4 anni insieme a Verkle Trees e ad altre primitive resistenti ai quantistici .

Queste date rimangono preliminari; ogni modifica al protocollo richiederà ancora implementazione, test e accordo all'interno della comunità Ethereum prima dell'attivazione.

Cosa significa per istituzioni e validatori

Il cambiamento crea pressioni operative concrete per banche, custodi e servizi di staking istituzionale:

• Firme dei validatori hash-based stateful (leanXMSS): Le banche che gestiscono infrastrutture di validatori Ethereum o servizi di staking dovranno migrare dalle firme BLS a leanXMSS, uno schema stateful basato su hash . Gli schemi di firma stateful richiedono una gestione attenta delle chiavi — un singolo riutilizzo di una chiave può compromettere la sicurezza — creando rischi operativi per i custodi istituzionali che le firme tradizionali (stateless) non hanno.
• Scadenze per l'inventario crittografico: La finestra di implementazione 2027-2028 significa che le banche devono iniziare ora gli inventari delle risorse crittografiche e la pianificazione della migrazione. Qualsiasi smart contract, sistema di custodia o operazione on-chain che si basa su Poseidon o BLS dovrà essere riprogettato per prove basate su SHA-2/BLAKE2s.
• Slancio normativo generale: I regolatori globali (ad esempio BIS, BCE, NIST statunitense) spingono sempre più le istituzioni finanziarie verso piani di transizione alla crittografia post-quantistica (PQC). Il programma di hard fork di Ethereum crea una scadenza concreta e ravvicinata affinché le operazioni di tesoreria bancaria e DeFi si allineino con firme e hash resistenti ai quantistici, anziché le tempistiche più lontane spesso ipotizzate nelle roadmap PQC bancarie tradizionali.

Il programma di crittoanalisi da 1 milione di dollari della Ethereum Foundation per Poseidon è stato sospeso il 1° agosto 2026 , segnalando che l'attenzione della comunità crittografica si è già spostata verso le nuove primitive basate su hash. Per gli sviluppatori e le istituzioni che costruiscono su Ethereum, il messaggio è chiaro: il futuro post-quantistico si basa su SHA-2, BLAKE2s e sui design SNARK che li hanno resi praticabili.