La verifica nativa delle firme post-quantistiche NIST è attiva su Aere Network, una prima per una Layer-1 EVM pubblica

La verifica nativa post-quantistica è attiva sulla mainnet ed è aperta all'ispezione: una documentazione di ricerca pubblica, un secondo client indipendente che riproduce la catena byte per byte ed endpoint che chiunque può controllare.

MONACO, 18 luglio 2026: Aere Network, una blockchain Layer-1 pubblica compatibile con la EVM (Chain ID 2800), ha reso attiva sulla propria mainnet la verifica nativa, a livello di protocollo, delle firme post-quantistiche standardizzate dal NIST, una funzionalità che, per quanto risulta al progetto, nessun'altra Layer-1 EVM pubblica offre. I verificatori sono stati attivati il 12 luglio 2026 al blocco 9.189.161. Oggi la rete pubblica la documentazione di ricerca completa che li sottende, insieme a un secondo client implementato in modo indipendente che riproduce la catena byte per byte a ogni altezza verificata, e a endpoint pubblici che qualsiasi wallet può verificare da sé.

Che cosa ha rilasciato Aere

Aere ha spostato i verificatori post-quantistici del NIST nel motore stesso della catena. Cinque contratti precompilati nativi, che coprono Falcon-512, Falcon-1024, ML-DSA-44 (FIPS 204), SLH-DSA-128s (FIPS 205) e la funzione hash SHAKE256 (FIPS 202), funzionano al costo di protocollo. Tutti e cinque superano i Known-Answer Test ufficiali del NIST, e una verifica Falcon end-to-end è registrata sulla mainnet, a disposizione di chiunque voglia esaminarla. Il risultato pratico: un account o uno smart contract su Aere può richiedere una firma resistente ai quanti prima di trasferire valore, in modo nativo anziché tramite un'aggiunta esterna.

Anche lo stack circostante è attivo. La custodia a soglia post-quantistica pone gli account sotto il controllo di un comitato di firmatari resistenti ai quanti, senza alcuna chiave singola e senza amministratore. Un registro governato di agilità crittografica permette alla rete di passare a schemi più recenti man mano che gli standard evolvono. Accanto a questi meccanismi si collocano i wallet con passkey, che sostituiscono le seed phrase con lo sblocco del dispositivo che le persone già usano; le passkey funzionano con la crittografia standard di oggi e ricadono sotto lo stesso registro di agilità.

Perché è importante adesso

Ogni blockchain importante, da Bitcoin a Ethereum, protegge account e transazioni con firme a curva ellittica, e un computer quantistico sufficientemente potente che esegue l'algoritmo di Shor scardina completamente quella matematica. Poiché le catene sono pubbliche e permanenti, la minaccia è già attuale: le agenzie di sicurezza chiamano la versione relativa alla cifratura "harvest now, decrypt later" (raccogli ora, decifra dopo), e per le firme l'analogia è ancora più netta, perché le chiavi pubbliche registrate oggi diventano falsificabili il giorno in cui quella matematica cade. L'esposizione delle chiavi a lunga durata, dalle tesorerie ai patrimoni istituzionali agli agenti IA ad alta frequenza, è già iniziata. Il NIST ha finalizzato gli standard per le firme post-quantistiche nel 2024, e migrare a tali standard le blockchain in produzione è il compito ancora irrisolto del settore. È il compito che Aere ha assolto il 12 luglio, e che oggi documenta integralmente.

Costruita per essere verificata, non creduta

La posizione di Aere è che una rete di regolamento debba essere verificabile anziché degna di fiducia, e applica questo criterio a se stessa:

• La ricerca è pubblica. Il documento completo sul fork post-quantistico, le Aere Improvement Proposal e la documentazione di verifica (49 proprietà di consenso verificate automaticamente, dimostrate con SMT sul modello di protocollo, e 15 dimostrazioni tramite esecuzione simbolica sui contratti principali) sono pubblicati all'indirizzo git.aere.network/aere-network/aere-research: il documento e la documentazione di verifica con licenza MIT, e le Improvement Proposal dedicate al pubblico dominio con CC0.
• Un secondo client indipendente concorda con la catena. Un client implementato separatamente, costruito su una base di codice diversa e in un diverso linguaggio di programmazione, si connette alla rete attiva e ha riprodotto i blocchi e lo stato globale di Aere byte per byte a ogni altezza finora verificata: un'esecuzione dal vivo verificata fino al blocco 182.777, e un nodo follower permanente e non validante sta ora rieseguendo l'intera storia della catena dal blocco di genesi.
• I dati sono verificabili. Un precedente livello di adattamento per la visualizzazione delle commissioni è stato dismesso nel luglio 2026; gli endpoint pubblici ora riflettono il mercato reale delle commissioni della catena, e ogni intestazione di blocco servita ricostruisce il proprio hash di blocco, così che wallet, revisori e light client possano verificare anziché fidarsi. La rete è elencata nel registro pubblico canonico delle catene utilizzato dai principali wallet, con due endpoint RPC pubblici in datacenter geograficamente distinti.
• I limiti sono dichiarati. L'insieme dei validatori è oggi composto da sette nodi gestiti dalla Foundation, che eseguono tutti il client della rete derivato da Besu e tollerano due nodi guasti (quorum di cinque su sette); il secondo client indipendente funziona come follower non validante, e il percorso verso la decentralizzazione è pubblicato nella roadmap e nel whitepaper del progetto. La firma del consenso sulla mainnet resta ECDSA classica; la funzionalità post-quantistica è a livello di account e di applicazione. Si tratta di una sequenza deliberata: le chiavi degli account sono a lunga durata e permanentemente esposte on-chain, quindi sono le prime a farsi carico del rischio "harvest now", mentre le chiavi dei validatori possono essere ruotate, e la loro migrazione è il lavoro sul consenso ibrido, subordinato ad audit, descritto più avanti. Il sistema in produzione non ha ancora completato un audit di terze parti; le dimostrazioni e i test di conformità pubblicati sono opera del progetto stesso, messi a disposizione affinché chiunque possa rieseguirli.

Abbastanza veloce da sembrare istantanea, economia sigillata dal codice

Aere produce un blocco ogni mezzo secondo, con finalità deterministica: una volta che una transazione è in un blocco, è definitiva, senza conteggi di conferme e senza riorganizzazioni, e un trasferimento tipico costa una frazione di centesimo. Il token nativo, AERE, ha una fornitura fissa di 2,8 miliardi stabilita alla genesi, senza nuove emissioni e senza piani di sblocco riservati agli insider, e l'allocazione iniziale è visibile on-chain e chiunque può esaminarla. Una quota delle ricompense dei validatori stabilita dalla Foundation, attualmente pari al 37,5 percento e limitata dal codice a un massimo della metà, viene indirizzata a un caveau di burn sigillato, privo di qualsiasi via di prelievo.

I parametri di blocco ammettono un tetto di progetto dell'ordine di 273.000 transazioni al secondo; si tratta di un tetto implicito nei parametri, non di un valore misurato, e il throughput effettivamente realizzato oggi è di gran lunga inferiore. Colmare quel divario è il compito della roadmap di scalabilità pubblicata, che include un motore di esecuzione parallela già realizzato nel fork del client ma non ancora operativo sulla mainnet. La rete è costruita anche per l'economia delle macchine: Aere402, un canale di pagamento compatibile con x402, consente agli agenti IA di pagare per singola richiesta con regolamento in meno di un secondo, e un registro on-chain delle identità degli agenti offre al software autonomo una base verificabile.

La strada da percorrere

È in corso, su reti di test isolate, il lavoro verso un consenso ibrido post-quantistico: blocchi firmati dai validatori con firme classiche e Falcon contemporaneamente, così che la catena stessa, e non solo i suoi account, poggi su una matematica resistente ai quanti. Le specifiche progettuali sono verificate automaticamente e pubbliche, e quell'aggiornamento verrà rilasciato solo dopo un audit esterno. La tesi del progetto sta in una sola frase: definitiva come la matematica, sicura quando la matematica cambia.

Informazioni su Aere Network

Aere Network è una rete di regolamento Layer-1 pubblica e compatibile con la EVM (Chain ID 2800) costruita per sopravvivere alla crittografia odierna: finalità deterministica in mezzo secondo, commissioni tipiche inferiori a un centesimo, una fornitura di token fissa e verifica nativa delle firme post-quantistiche NIST attiva a livello di account sulla mainnet, con un consenso ibrido post-quantistico in fase di sviluppo e subordinato a un audit esterno. Tutto ciò che la rete afferma è progettato per poter essere verificato da chiunque, dall'explorer dei blocchi alla documentazione di ricerca pubblicata.

• Sito web aere.network
• Explorer explorer.aere.network
• Ricerca git.aere.network/aere-network/aere-research (MIT; improvement proposal CC0)
• Whitepaper aere.network/whitepaper
• Sala stampa Centro stampa e media

Contatto stampa: Aere Network Foundation, [email protected]. Per il kit stampa completo, i loghi e i comunicati precedenti, visita il Centro stampa e media.

FINE