L'hardware quantistico rende il calcolo possibile; il software lo rende usabile. Senza uno stack che traduca un problema applicativo in operazioni eseguibili — e che ne gestisca rumore ed errori — un processore quantistico resta un esperimento di laboratorio. Questo approfondimento ricostruisce lo stack del software quantistico, dagli SDK al compilatore fino ai livelli di astrazione superiori, e ne legge le implicazioni economiche: dove migra il valore, i recenti round di finanziamento e i segnali di consolidamento. Dati aggiornati al primo semestre 2026 (Qiskit 2.0), con taglio rigoroso e anti-hype.
Lo stack a strati
Cinque livelli, dall'alto al basso: applicazione/dominio (input classici → risultato, senza scrivere circuiti); design ad alto livello (descrizione astratta → sintesi automatica del circuito, es. Classiq con Qmod); SDK/framework (costruzione di circuiti gate per gate: Qiskit, Cirq, PennyLane, tket); transpiler/compilatore (traduzione e ottimizzazione per l'hardware target); runtime (esecuzione, soppressione/mitigazione, post-processing). Principio: più si sale, meno competenza fisica serve — e più in alto migra il valore economico.
Il transpiler, lo strato più sottovalutato
Il circuito scritto dallo sviluppatore è idealizzato (qubit perfetti, connettività completa); l'hardware reale ha gate nativi limitati, topologia sparsa e tassi di errore eterogenei. Il transpiler colma il divario: decompone nei gate nativi, mappa i qubit logici sui fisici inserendo gli SWAP necessari, riduce profondità e numero di gate a due qubit (i più rumorosi) e predilige i collegamenti più affidabili. A parità di algoritmo, una compilazione efficiente decide se il risultato è utile o indistinguibile dal rumore. IBM dichiara per Qiskit 2.0 il transpiler «più performante», con fattori fino a ~83× rispetto al concorrente più vicino: è un benchmark del fornitore, da riportare come tale.
Gli SDK a confronto (2026)
Quattro framework «canonici» più un ibrido. Qiskit 2.0 (IBM): il più diffuso e maturo, ecosistema più ampio, runtime con primitivi, Functions Catalog — standard de facto a livello gate. Cirq (Google): ottimizzato per i superconduttori Google. PennyLane (Xanadu): riferimento per il quantum machine learning, con differenziazione automatica e compilatore Catalyst. tket/pytket (Quantinuum): qualità della compilazione, hardware-agnostico. CUDA-Q (NVIDIA): programmi ibridi GPU+QPU — il segnale dell'ingresso dei produttori di acceleratori nello stack.
Open-source come strategia
Qiskit, Cirq e PennyLane sono open-source. La logica è di piattaforma: chi controlla il framework più adottato controlla lo standard di fatto, la community e le competenze di un'intera generazione di sviluppatori — la stessa dinamica con cui, nel mondo classico, software «gratuiti» hanno generato ecosistemi e lock-in duraturi.
Portabilità: la promessa e i limiti
Due «lingue franche» favoriscono la portabilità: OpenQASM 3 (rappresentazione comune dei circuiti) e QIR, rappresentazione intermedia su LLVM promossa dalla QIR Alliance. Ma «write once, run anywhere» è oggi solo parzialmente realtà: un circuito può essere eseguito su macchine diverse, ma per ottenere prestazioni accettabili va ricompilato in modo hardware-aware. Portabilità funzionale ≠ portabilità delle prestazioni, soprattutto sui dispositivi NISQ dove ogni gate in più costa in fedeltà.
Il middleware e l'economia del software
Tra applicazione e hardware si è formata la categoria del middleware (compilatori, orchestrazione, controllo, gestione errori), potenzialmente hardware-agnostica. È lo strato dove affluiscono ingenti capitali: Classiq (design ad alto livello) ha chiuso un round da 110M$ — il più grande di sempre per software quantistico «puro» — mentre Quantum Machines, Riverlane e Q-CTRL hanno raccolto ciascuna centinaia di milioni. Avvertenza: i round misurano aspettative, non redditività; il mercato è ancora pre-commerciale su larga scala e mostra segnali di selezione (alcuni pionieri, come Zapata, hanno chiuso o riconvertito).
