Senza rinnovo
SCADUTOTempo rimasto0unità di tempo
Scadenza a t = 10
Il diritto mantiene la scadenza iniziale.
CIRCULA / PROGRAMMA DI RICERCA SNSF
PROGETTAZIONE DI BLOCKCHAIN CON REGOLE DI SCADENZA
Scadenza e rinnovo nelle blockchain
CIRCULA studia come lo stato condiviso, le regole di validazione e la cronologia verificabile delle blockchain offrano un contesto programmabile in cui formalizzare e valutare scadenza e rinnovo. Il programma di ricerca collega un modello formale, un prototipo eseguibile del registro ed esperimenti riproducibili per studiare effetti, costi e limiti di questi meccanismi, valutando anche se e quali informazioni restino utili per la verifica o il recupero dopo la scadenza.
4Anni di ricerca
4Linee di lavoro collegate
01.02.2027Avvio previsto
ESPLORA LA SCADENZA
Che cosa cambia alla scadenza?
Sposta il tempo per seguire un diritto digitale. Confronta la scadenza iniziale con una richiesta di rinnovo tempestiva o tardiva.
Prova uno scenario
Con richiesta di rinnovo
VALIDOTempo rimasto4unità di tempo
Scadenza attuale: t = 16
Accettata a t = 8 · nuova scadenza t = 16
Tempo
Senza rinnovo
Con richiesta di rinnovo
Validità trascorsaValidità residuaEstensione prevista
Il rinnovo fa la differenza
Il diritto originale è scaduto a t = 10. Il diritto rinnovato resta utilizzabile fino a t = 16.
Prova i tuoi tempi
Scegli la scadenza iniziale, il momento della richiesta e la nuova scadenza proposta. Applica i valori per aggiornare il confronto.
LE IDEE ALLA BASE DI CIRCULA
Concetti chiave
Dai sistemi distribuiti e dalla programmabilità delle blockchain alla scadenza, al rinnovo e alle domande su ciò che resta dopo.
Tecnologia dei registri distribuiti (DLT)
Un registro condiviso mantenuto da più partecipanti alla rete, che applicano regole concordate per convalidare e sincronizzare gli aggiornamenti.
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.
Scadenza
Un limite oltre il quale un’operazione perde validità; le sue registrazioni possono rimanere, secondo la progettazione del sistema.
Prove
Informazioni che possono aiutare a comprendere o verificare ciò che accade dopo la scadenza. Disponibilità e utilità sono oggetto di ricerca.
Una distinzione importante – La scadenza modifica la validità; ciò che resta dopo dipende dalla progettazione del sistema.
IL PROGRAMMA DI RICERCA
Le quattro linee di lavoro
Quattro work package collegati conducono dallo studio delle regole di durata esistenti alla formalizzazione, allo sviluppo e alla verifica di registri che integrano la scadenza. Evidence Atlas, Semantic Reference, Proof of Concept ed Evaluation Bench producono ciascuno un artefatto per la fase successiva.
Le fasi si sovrappongono: la valutazione alimenta il modello e il prototipo, affinando le ipotesi, le scelte implementative e le basi di confronto.
Evidence Atlas
Mappare i meccanismi di durata esistenti, i livelli che li applicano e le evidenze necessarie per confrontare le soluzioni.
Semantic Reference
Formalizzare le regole di scadenza e rinnovo, comprese le ipotesi sulle informazioni che restano dopo la scadenza, mediante un modello formale e un riferimento eseguibile.
Proof of Concept
Sviluppare un prototipo del registro e verificarne il comportamento rispetto alla semantica scelta.
Evaluation Bench
Confrontare le soluzioni con carichi controllati, misurando i costi di archiviazione, verifica e recupero.
DIREZIONE SCIENTIFICA E COORDINAMENTO
Direzione del progetto
Il team interno comprende il responsabile del progetto, un postdoc e due dottorandi, con il supporto di partner esterni e internazionali.
Responsabile scientifico del progetto
Valerio Schiavoni
Université de Neuchâtel · Svizzera
Direzione scientifica, coordinamento istituzionale e responsabilità del progetto.
Coordinatore scientifico
Vincenzo Di Perna
Université de Neuchâtel · Svizzera
Coordina la roadmap scientifica, il lavoro sui sistemi e gli esperimenti riproducibili sotto la responsabilità del responsabile scientifico. Posizione postdoc prevista.
I partner esterni e internazionali affiancano il team con competenze in metodi formali, diritto, istituzioni e adozione delle tecnologie. Il loro contributo collega modelli tecnici ed esperimenti alle questioni di verificabilità, recupero e alle condizioni in cui una soluzione potrebbe essere utilizzata.
Partecipa al programma
POSIZIONI APERTE
Due posizioni di dottorato aperte
Due posizioni PhD aperte all’Université de Neuchâtel contribuiscono a linee di ricerca complementari: una si concentra su sistemi blockchain e semantica eseguibile; l’altra su possibilità di impiego, casi d’uso e validazione quantitativa. Entrambe fanno parte del programma comune di CIRCULA.
Esplora i dottoratiCOLLABORA CON CIRCULA
Collaborazioni di ricerca
Università, gruppi di ricerca, aziende ed enti possono proporre collaborazioni, discutere casi d’uso o manifestare interesse per CIRCULA. Raccontaci dove le tue competenze possono incontrare la nostra ricerca.
Proponi una collaborazione
UNIVERSITÀ, SEDE E FINANZIAMENTO
Ricerca con sede a Neuchâtel
Con sede all’Université de Neuchâtel, in Svizzera, CIRCULA collega un team di ricerca locale a partner internazionali in un programma quadriennale finanziato dal Fondo nazionale svizzero.
Università ospitante
Université de Neuchâtel
L’Université de Neuchâtel ospita CIRCULA e costituisce la sede istituzionale del principal investigator, del postdoc e dei dottorandi. Questo contesto comune sostiene un programma che combina metodi formali, sviluppo di sistemi e valutazione riproducibile.
Il team ha sede a Neuchâtel, in Svizzera, e lavora con partner di ricerca esterni e internazionali. Questa base locale sostiene un programma aperto alla collaborazione accademica e al confronto con aziende ed enti.
Finanziamento della ricerca
SNSF
L’organizzazione nazionale svizzera che finanzia la ricerca in tutte le discipline accademiche.
Fondo nazionale svizzero · Finanziamento di progetti · Grant 10010141.
Finanziamento 10010141