PACE: Policy-Bound Multi-Party Authorization with State-Consistent Execution for Smart Contracts
Questo articolo introduce PACE, un framework per smart contract che garantisce l'autorizzazione multi-party coerente con lo stato legando le decisioni collettive alle policy attive e ai contesti di esecuzione attraverso uno schema di firma basato su reticoli a due round, garantendo così la coerenza tra policy, decisione, richiesta ed esecuzione pur mantenendo costi di verifica stabili.
Articolo originale sotto licenza CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/). Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo
Nel mondo digitale degli smart contract, il codice funge da legge, eseguendo automaticamente gli accordi quando vengono soddisfatte determinate condizioni. Questi programmi spesso gestiscono asset preziosi o permessi sensibili, richiedendo regole rigorose su chi possa fare cosa. Tradizionalmente, una singola persona o una semplice password potrebbero concedere l'accesso, ma per decisioni ad alto rischio che coinvolgono più organizzazioni, un singolo punto di approvazione è spesso troppo rischioso. Invece, un gruppo di parti fidate deve concordare insieme prima che un'azione possa avvenire. Questo è noto come autorizzazione multi-party. Tuttavia, esiste un divario significativo tra il momento in cui un gruppo concorda su una richiesta e il momento in cui il contratto la esegue effettivamente. Tra questi due momenti, le regole potrebbero cambiare, la richiesta potrebbe essere alterata o il permesso potrebbe essere utilizzato due volte. Se il sistema non lega strettamente l'accordo all'azione specifica e alle regole correnti, una firma valida di un gruppo potrebbe essere utilizzata impropriamente per autorizzare qualcosa che non era mai stato inteso, o per eseguire una transazione dopo che le regole sono già cambiate.
I ricercatori hanno sviluppato un nuovo framework chiamato PACE per risolvere questo problema di connessioni deboli nell'autorizzazione digitale. Il team, guidato da Yaowei Sun e colleghi, ha creato un sistema che assicura che il permesso concesso da un gruppo di autorità rimanga perfettamente legato alla specifica richiesta, all'insieme attuale di regole e al momento esatto dell'esecuzione. Immaginate un gruppo di dirigenti bancari che firma un assegno; con PACE, la firma non è solo un segno di approvazione, ma un sigillo digitale che lega la firma all'importo esatto, alla specifica filiale bancaria e alla data corrente, impedendo a chiunque di cambiare i dettagli o di utilizzare la firma in un giorno diverso. I ricercatori hanno costruito un prototipo per testare questa idea, simulando uno scenario in cui più autorità devono concordare prima che uno smart contract esegua un'operazione protetta. Il loro lavoro dimostra che, legando l'approvazione a una specifica versione della policy e a una sessione univoca, possono prevenire azioni non autorizzate anche se le regole cambiano o se un attore malintenzionato tenta di riutilizzare un vecchio permesso.
Il cuore del sistema PACE è un processo in tre fasi che collega le persone, le regole e l'azione in un'unica catena indistruttibile. In primo luogo, il sistema stabilisce una configurazione vincolata alla policy. Ciò significa che, prima che un gruppo possa dare il permesso, il sistema registra esattamente quali regole sono attive e quali persone specifiche sono autorizzate a firmare. Se le regole cambiano in seguito, il sistema passa a una nuova "epoca", o versione, e le vecchie firme della versione precedente diventano invalide. Questo impedisce a un gruppo di utilizzare un vecchio accordo per aggirare le nuove restrizioni. In secondo luogo, le autorità partecipano a un'autorizzazione congiunta vincolata al contesto. Quando arriva una richiesta, ogni persona autorizzata esamina i dettagli esatti della richiesta: lo smart contract specifico da chiamare, i dati da inviare e il limite temporale. Successivamente, lavorano insieme per generare un unico pezzo di evidenza crittografica. Questa evidenza non è solo una collezione di firme individuali; è una prova unificata che l'intero gruppo ha concordato quel preciso insieme di dettagli in quel preciso momento. Il sistema utilizza tecniche matematiche avanzate basate su strutture a reticolo (lattice), che sono progettate per essere sicure anche contro i futuri computer quantistici, per creare questa prova congiunta.
Infine, il sistema esegue un'esecuzione coerente con lo stato. Quando la richiesta arriva allo smart contract, il contratto non si limita a controllare se la firma sembra valida. Esegue una serie di controlli rigorosi per garantire che tutto corrisponda. Verifica che le regole attive al momento dell'esecuzione siano le stesse delle regole con cui il gruppo ha concordato. Controlla che la richiesta in fase di esecuzione sia identica a quella esaminata dal gruppo. Conferma che il permesso non sia scaduto e non sia già stato utilizzato. Fondamentalmente, il sistema lega il consumo del permesso all'esecuzione dell'azione in un unico passaggio atomico. Ciò significa che se l'azione fallisce per qualsiasi motivo, il permesso non viene consumato, e se il permesso viene utilizzato, l'azione deve avere successo. Non esiste un divario in cui un permesso possa essere speso senza un corrispondente risultato, o in cui un risultato possa verificarsi senza che il permesso sia stato correttamente consumato.
Per testare l'efficacia di questo sistema, i ricercatori hanno costruito una simulazione utilizzando un processore standard e un set specifico di parametri matematici progettati per gestire fino a trentadue diverse autorità. Hanno eseguito migliaia di test per vedere come il sistema si comportava sotto diverse condizioni, come il cambiamento del numero di persone nel gruppo o la dimensione dei dati elaborati. I risultati hanno mostrato che il sistema ha applicato con successo tutte le regole previste. Quando i ricercatori hanno cercato di ingannare il sistema sottomettendo un vecchio permesso, cambiando i dettagli della richiesta o tentando di usare un permesso due volte, il sistema ha correttamente rifiutato il tentativo. I test hanno confermato che i controlli per la coerenza della policy, il legame della richiesta e lo stato di autorizzazione funzionavano come previsto. Negli scenari in cui l'azione target falliva, il sistema effettuava correttamente il rollback dell'intero processo, garantendo che non venissero lasciati dietro cambiamenti di stato parziali.
Lo studio ha inoltre misurato il costo di esecuzione di questo sistema in termini di tempo e dati. La parte più dispendiosa in termini di tempo del processo è stata la firma collaborativa e l'aggregazione dell'evidenza, che ha assorbito la maggior parte del tempo di calcolo. All'aumentare del numero di autorità, il tempo richiesto per generare l'evidenza congiunta è cresciuto, ma il tempo richiesto al contratto per verificare il risultato finale è rimasto relativamente stabile. Ad esempio, con trentadue autorità, il processo di generazione dell'evidenza congiunta ha richiesto circa otto secondi, mentre la verifica sul lato del contratto è stata inferiore a un secondo. La quantità di dati che doveva essere scambiata tra le autorità è cresciuta con il numero di partecipanti, superando i cento megabyte per un gruppo di trentadue, ma l'evidenza finale presentata al contratto è rimasta piccola e di dimensioni fisse. Ciò suggerisce che, sebbene il sistema richieda una coordinazione significativa tra il gruppo, l'onere per la fase finale di esecuzione è gestibile.
I ricercatori hanno anche esplorato come il sistema gestisce il processo matematico di "rejection sampling", ovvero un metodo utilizzato per garantire la sicurezza delle firme scartando occasionalmente i tentativi che non soddisfano rigorosi criteri statistici. Hanno scoperto che permettendo alcuni tentativi di riprova, il sistema poteva completare con successo il processo di autorizzazione con una probabilità molto alta. Anche con un grande gruppo di autorità, il sistema è stato in grado di completare il compito con successo in quasi tutti i casi, fornendo un numero ragionevole di tentativi. Ciò indica che il sistema è abbastanza robusto da gestire l'occasionale intoppo matematico senza fallire nel fornire un'autorizzazione valida. Lo studio conclude che PACE fornisce una solida base per un controllo multi-party sicuro sugli smart contract, colmando efficacemente il divario tra approvazione ed esecuzione. Sebbene l'attuale versione assuma un setup fidato e un tipo specifico di accordo di gruppo, i risultati dimostrano che l'idea centrale di legare insieme policy, richiesta e stato è una via percorribile verso una governance digitale più sicura.
Sommerso dagli articoli nel tuo campo?
Ricevi digest giornalieri degli articoli più recenti corrispondenti alle tue parole chiave di ricerca — con riassunti tecnici, nella tua lingua.