Sistemi distribuiti
Computer indipendenti si coordinano attraverso una rete, in cui i messaggi possono arrivare in ritardo e singoli nodi possono guastarsi.
CIRCULA: progettazione di sistemi blockchain con regole di scadenza
CIRCULA studia scadenza e rinnovo nel contesto programmabile offerto dallo stato condiviso, dalle regole di validazione e dalla cronologia verificabile delle blockchain. Il programma di ricerca sviluppa semantiche formali, un prototipo minimo ed esperimenti riproducibili per valutarne effetti e costi, compresa l’eventuale disponibilità di informazioni utili alla verifica o al recupero dopo la scadenza. Ispirato alla circolazione e alla radice latina circulus (“cerchio”), il nome richiama il ciclo di vita di diritti e pretese digitali: validità, scadenza ed eventuale rinnovo. [1]
L’OBIETTIVO SCIENTIFICO
Le regole di durata come scelta progettuale
Le blockchain spesso conservano registrazioni e stato di verifica dopo il completamento di un’operazione o l’inattività di un diritto. Le regole di durata esistono già come timeout, timelock e politiche di conservazione, ma ipotesi, livelli di applicazione e requisiti di recupero vengono spesso studiati separatamente.
CIRCULA collega queste domande in un contesto tecnico definito: operazioni native del registro con validità condizionata dalla scadenza e possibilità di rinnovo. Studia quali soluzioni preservino correttezza e verificabilità, quanto sia possibile limitare la persistenza e quali nuovi costi di verifica, recupero o gestione emergano.
LA PROSPETTIVA PIÙ AMPIA
Verificabilità e recupero
La scadenza modifica la validità. La ricerca esaminerà quali informazioni vengono conservate, eliminate o diventano indisponibili e in quali condizioni restano possibili verifica, contestazione o recupero.
CIRCULA studia la disponibilità e l’utilità delle informazioni che possono rimanere dopo la scadenza.
IL QUADRO CONCETTUALE
Concetti chiave
I fondamenti spiegano come i nodi mantengono un registro condiviso. I concetti di validità descrivono ciò che CIRCULA modellerà, implementerà e valuterà.
Fondamenti
Blockchain
Un registro condiviso che raggruppa le transazioni in blocchi collegati da hash crittografici, così i partecipanti possono verificarne l’ordine e la cronologia.
Consenso
Un protocollo che consente ai nodi di concordare un risultato, per esempio quali transazioni entrano nel registro e in quale ordine.
Programmabilità
Le regole codificate nel protocollo o negli smart contract determinano come le operazioni del registro vengono validate ed eseguite. È il contesto programmabile in cui CIRCULA studia la scadenza.
Validità ed evidenze
Intervallo di validità
Il periodo in cui un'operazione del registro soddisfa le condizioni temporali. Occorre specificarne inizio, fine e nozione di tempo.
Transizione di scadenza
Il passaggio dalla validità alla scadenza al raggiungimento di un limite definito. La progettazione del sistema determina come viene gestita la cronologia.
Regola di rinnovo
Un'operazione autorizzata che modifica o estende un intervallo di validità. Tempi, permessi e rinnovi tardivi richiedono una semantica esplicita.
Evidenze dopo la scadenza
Registrazioni o prove che possono restare dopo la fine della validità. CIRCULA valuterà che cosa è disponibile e se consente verifica o recupero.
Livello di applicazione delle regole
La parte del sistema che verifica le condizioni di durata. CIRCULA studia l'applicazione nativa nel registro, i suoi costi e le sue garanzie.
Verifica e recupero
La capacità di analizzare stati precedenti, spiegare le decisioni di scadenza e consentire il recupero, preservando una cronologia trasparente.
Persistenza, crescita e circolazione
Gli snapshot Coin Metrics confrontano crescita dell’infrastruttura e distribuzione delle disponibilità di Bitcoin, Ethereum e USDC su Ethereum a fine 2018 e fine 2025. Mostrano come l’accumulo dei dati del registro coesista con concentrazione e dormienza, motivando regole di durata esplicite, conservazione limitata e archiviazione compatibile con il recupero. [2]
Crescita dell’infrastruttura
Leggi ogni riga dal 2018 al 2025; l’ultima colonna indica la crescita relativa. La dimensione del registro è un indicatore dei dati cumulativi in GB; indirizzi e transazioni sono conteggi cumulativi in milioni; i contratti sono uno stock a fine periodo. Una persona può usare più indirizzi e un indirizzo può rappresentare più persone. Le variazioni usano le serie prima dell’arrotondamento: valori iniziali visualizzati molto piccoli possono quindi produrre percentuali elevate.
| Asset | Metrica | Fine 2018 | Fine 2025 | Variazione (%) |
|---|---|---|---|---|
| BTC | Proxy dimensione del registro (GB, cumulativo) | 198.11 | 710.27 | +258.5% |
| Nuovi indirizzi (milioni, cumulativi) | 470.36 | 1,499.19 | +218.7% | |
| Transazioni (milioni, cumulative) | 368.69 | 1,290.96 | +250.1% | |
| ETH | Proxy dimensione del registro (GB, cumulativo) | 69.02 | 1,411.29 | +1944.8% |
| Nuovi indirizzi (milioni, cumulativi) | 73.44 | 388.79 | +429.4% | |
| Smart contract (milioni, fine periodo) | 9.05 | 63.36 | +600.0% | |
| Transazioni (milioni, cumulative) | 368.81 | 3,163.55 | +757.8% | |
| USDC su ETH | Nuovi indirizzi (milioni, cumulativi) | 0.02 | 25.80 | +116545.5% |
| Transazioni (milioni, cumulative) | 0.05 | 146.39 | +295302.2% |
Disponibilità e circolazione
Il gruppo a sinistra mostra le quote dell’offerta; quello a destra il valore implicito di tali disponibilità in miliardi USD. Le colonne “Variazione” riportano variazioni percentuali relative; i punti percentuali misurano la differenza assoluta tra quote. La quota detenuta dagli indirizzi principali di Ethereum passa, ad esempio, da 99,82% a 69,37%: −30,45 punti percentuali, pari a −30,5% rispetto al 2018.
| Asset | Indicatore | Quota dell’offerta (%) | Valore implicito (miliardi USD) | ||||
|---|---|---|---|---|---|---|---|
| 2018 | 2025 | Variazione (%) | 2018 | 2025 | Variazione (%) | ||
| BTC | Top 10% degli indirizzi | 98.94% | 98.83% | -0.1% | 63.68 | 1,727.28 | +2612.4% |
| Sugli exchange | 8.79% | 12.46% | +41.7% | 5.66 | 217.71 | +3746.9% | |
| Dormienza dell’asset | 98.57% | 97,93% | -0.6% | 63.44 | 1,711.45 | +2597.7% | |
| ETH | Top 10% degli indirizzi | 99.82% | 69.37% | -30.5% | 13.59 | 249.85 | +1737.9% |
| Sugli exchange | 16.95% | 11.78% | -30.5% | 2.31 | 42.44 | +1738.5% | |
| Dormienza dell’asset | 91.45% | 90.19% | -1.4% | 12.45 | 324.82 | +2508.3% | |
| USDC su ETH | Top 10% degli indirizzi | 99.99% | 99.85% | -0.1% | 0.25 | 51.63 | +20491.1% |
| Sugli exchange | 45.17% | 20.61% | -54.4% | 0.11 | 10.66 | +9308.7% | |
| Dormienza dell’asset | 68.96% | 68.70% | -0.4% | 0.17 | 35.52 | +20442.9% | |
Cosa emerge dal confronto
I dati del registro crescono
L’indicatore della dimensione del registro Ethereum passa da 69,02 a 1.411,29 GB, circa 20,4 volte il livello del 2018. Questa crescita dell’impronta storica motiva lo studio della persistenza limitata insieme ai requisiti di audit e recupero.
La dormienza resta elevata
L’indicatore di dormienza di Bitcoin è ancora al 97,93% nel 2025, rispetto al 98,57% del 2018. La crescita dell’infrastruttura può coesistere con inattività persistente e invita ad approfondire il suo rapporto con la circolazione.
Quote e valori sono distinti
La quota di Ethereum sugli exchange scende dal 16,95% all’11,78%, mentre il valore implicito sale da 2,31 a 42,44 miliardi USD. Una quota minore dell’offerta può quindi avere un valore in dollari maggiore: i due gruppi rispondono a domande diverse.
Questi snapshot descrivono alcune tendenze. Stabilire un eventuale effetto economico causato dalla scadenza richiederebbe ulteriori ricerche. Concentrazione, disponibilità sugli exchange e dormienza dipendono da custodia, riuso degli indirizzi e contabilizzazione. Le metriche infrastrutturali mancanti non sono applicabili o disponibili come serie comparabili; conteggi cumulativi e stock a fine periodo restano distinti.
Domande di ricerca
Quattro domande collegano semantica della durata, livello di applicazione, benefici e costi misurabili e validazione successiva circoscritta. RQ1–RQ3 formano il nucleo tecnico; RQ4 considera solo le soluzioni che ne superano i controlli di correttezza, verificabilità e recupero.
Semantica
Che cosa significa una regola di durata?
Specificare validità, scadenza, rinnovo, verificabilità e recupero con ipotesi esplicite su tempo, attivazione, finalità e persistenza limitata. L’obiettivo è attribuire a ogni evento del ciclo di vita un significato univoco, verificabile con modelli formali ed eseguibili.
Collocazione
Dove deve risiedere la regola?
Confrontare l’applicazione delle regole a livello di sistema, contratto, wallet o servizio. Una scelta viene mantenuta solo se preserva gli invarianti dichiarati e supera i test di conformità ai confini temporali; l’applicazione a un livello superiore resta possibile quando quella nativa non è tecnicamente praticabile.
Valutazione
Quali sono i benefici e i costi?
Con carichi controllati sensibili alla scadenza, confrontare i benefici della persistenza limitata con i costi aggiuntivi di verifica, recupero e gestione. Utilizzare riferimenti espliciti senza scadenza o applicati a livelli superiori e valutare i risultati rispetto ai limiti di costo dello scenario e all’incertezza delle misure.
Possibilità di impiego
Quali soluzioni possono essere impiegate?
Per le soluzioni che superano i controlli tecnici, esaminare quali livelli di applicazione restino ammissibili rispetto a trasparenza, verificabilità, recupero e garanzie procedurali. La validazione resta nel contesto del progetto; i riferimenti ai pagamenti regolamentati definiscono i confini del confronto.
Dalle domande alle evidenze
Metodo di ricerca e work package
Il progetto segue un percorso dalla semantica alle evidenze. Una mappa delle conoscenze definisce ipotesi e riferimenti; la semantica formale ed eseguibile stabilisce i controlli; un prototipo circoscritto dimostra le scelte mantenute; esperimenti controllati ne confrontano comportamento, costi e limiti.
Contesto tecnico definito
Operazioni native del registro con validità condizionata dalla scadenza e rinnovo
RQ1 · RQ2 · RQ3Nucleo tecnico
RQ4Validazione successiva
WP1Evidence Atlas
RQ1–RQ4: definizione del perimetro
WP2Semantic Reference
RQ1 + modellazione per RQ3
WP3Proof of Concept
RQ1–RQ2
WP4Evaluation Bench
RQ3–RQ4 + confronto dei livelli per RQ2
WP3 · Componenti del prototipoConsensoTokenomicsRegistro con scadenza
La valutazione affina semantica e baseline
Segui il contesto tecnico definito, poi le domande di ricerca e i quattro risultati collegati. Ogni work package mostra le RQ coperte; la valutazione contribuisce a perfezionare semantica e baseline. Il prototipo collega consenso, tokenomics e registro con scadenza.
WP1 / LAVORO PREVISTO
Regole di durata e livelli di applicazione
Documentare le regole di durata esistenti: che cosa scade, quale livello applica la regola e quali assunzioni richiede. L’atlante fornisce le prove e i confini di confronto per il lavoro successivo.
Tutto il personale di ricerca parte da questo inquadramento comune.
RISULTATO PREVISTO
CIRCULA Evidence Atlas
Prove annotate · Tassonomia delle regole di durata · Confini di confronto
WP2 / LAVORO PREVISTO
Semantica di scadenza, rinnovo e recupero
Formalizzare emissione, trasferimento, scadenza, rinnovo, contestazione, regolamento e recupero. Modellare quali informazioni vengono conservate o eliminate e sotto quali ipotesi sono possibili verifica o recupero. Sviluppare un riferimento eseguibile deterministico e scenari di conformità.
Il modello esplicita le proprie assunzioni sul tempo e sulla finalità.
RISULTATO PREVISTO
CIRCULA Semantic Reference
Semantica formale · Riferimento eseguibile · Scenari di conformità
WP3 / LAVORO PREVISTO
Un prototipo di registro circoscritto
Implementare la semantica selezionata in un nodo minimo o in un piccolo ambiente di prova. Esaminare primitive con scadenza e persistenza limitata, verificando quali interfacce di verifica o recupero possano essere supportate dopo la scadenza.
I controlli di conformità determinano quali soluzioni passano alla valutazione.
RISULTATO PREVISTO
CIRCULA Proof of Concept
Prototipo circoscritto · Controlli di conformità · Interfacce di audit e recupero
WP4 / LAVORO PREVISTO
Confronti controllati con riferimenti
Confrontare le soluzioni selezionate con riferimenti espliciti, sotto carichi di lavoro controllati. Misurare i costi di persistenza, verifica e recupero; esaminare i vincoli istituzionali e di adozione nei contesti scelti.
Riportare incertezze, limiti e risultati negativi.
RISULTATO PREVISTO
CIRCULA Evaluation Bench
Confronti controllati · Configurazioni riproducibili · Istantanee delle prove
Come la valutazione affina il progetto
La valutazione fa parte di un ciclo interno di revisione scientifica. I fallimenti di conformità portano a rivedere semantica o scelte implementative; gli esperimenti possono affinare riferimenti, osservabili e limiti di impiego. Procedono solo le soluzioni che rispettano correttezza, verificabilità e recupero. Gli artefatti di ricerca versionati documentano queste decisioni.
Esplora i risultati