Negli ultimi anni, l'interesse per le soluzioni di archiviazione dati nel mondo Web3 è cresciuto, e Walrus Finance (WAL) si distingue come uno dei progetti che offre un approccio decentralizzato a questo bisogno. In particolare, Walrus fornisce soluzioni per l'archiviazione sicura di grandi file su blockchain, posizionandosi non solo come un semplice strumento di archiviazione dati, ma anche come un protocollo economico potenziato da incentivi tokenomici. Il progetto, costruito sulla blockchain Sui, mira a creare un'infrastruttura scalabile e sostenibile integrando la gestione dei dati off-chain con i processi di verifica on-chain.
Il token WAL funge da pilastro fondamentale del sistema. Il protocollo, offrendo un'alternativa ai tradizionali sistemi di archiviazione nel cloud, costruisce la propria economia facendo pagare agli utenti i servizi con WAL e premiando i verificatori tramite questi token. Questo approccio rappresenta non solo un'innovazione tecnica, ma anche una sfida economica contro il dominio dei fornitori centralizzati nel mercato dei dati.
II. Modelli e definizioni Walrus si basa sulle seguenti assunzioni.
A. Assunzioni criptografiche
Nel corso del documento, usiamo hash() per indicare una funzione hash resistente agli urti. Assumiamo inoltre l'esistenza di firme digitali sicure e impegni vincolanti.
B. Assunzioni di rete e avversarie
Walrus funziona in epoche, ciascuna con un insieme statico di nodi di archiviazione. Alla fine dell'epoca n = 3f + 1 nodi di archiviazione vengono eletti come parte del comitato di archiviazione dell'epoca e ciascuno di essi controlla un frammento di archiviazione in modo che un avversario malizioso possa controllarne fino a f.
I nodi corrotti possono discostarsi arbitrariamente dal protocollo. I nodi rimanenti sono onesti e seguono rigorosamente il protocollo. Se un nodo controllato dall'avversario all'epoca e non fa parte dell'insieme dei nodi di archiviazione all'epoca e+1, l'avversario può adattarsi e compromettere un nodo diverso all'epoca e+1 dopo che il cambio di epoca è stato completato.
Assumiamo che ogni coppia di nodi onesti abbia accesso a un canale affidabile e autenticato. La rete è asincrona, quindi l'avversario può ritardare o riordinare arbitrariamente i messaggi tra i nodi onesti, ma deve infine consegnare ogni messaggio a meno che l'epoca non termini prima. Se l'epoca termina, i messaggi possono essere scartati.
Il nostro obiettivo non è solo fornire un sistema decentralizzato sicuro, ma anche rilevare e punire ogni nodo di archiviazione che non conservi i dati assegnatigli. Questa è un'assunzione aggiuntiva standard per i sistemi di archiviazione decentralizzati, per garantire che i partecipanti onesti non possano essere compromessi in modo subdolo per sempre.
Tuttavia, un problema con la codifica per errore sorge quando un nodo di archiviazione va offline e deve essere sostituito da un altro. A differenza dei sistemi completamente replicati, nei quali i dati possono semplicemente essere copiati da un nodo all'altro, i sistemi codificati con RS richiedono che tutti i nodi di archiviazione esistenti inviino i loro frammenti al nodo sostituto. Il nodo sostituto può quindi recuperare il frammento perso, ma questo processo comporta O(|blob|) di dati
La probabilità che tutti i 25 nodi di archiviazione siano avversari e cancellino il file è 3−25 = 1,18 × 10−12.
trasmessi attraverso la rete. Le ripristinazioni frequenti possono ridurre i risparmi ottenuti grazie alla ridotta replica, il che significa che questi sistemi necessitano di un basso tasso di cambiamento nei nodi di archiviazione e quindi sono meno permessivi.
Indipendentemente dal protocollo di replica, tutti i sistemi esistenti di archiviazione decentralizzati affrontano una sfida aggiuntiva: la necessità di un flusso continuo di sfide per garantire che i nodi di archiviazione siano incentivati a mantenere i dati e non a scartarli. Ciò è cruciale in un sistema aperto e decentralizzato che offre pagamenti per l'archiviazione e va oltre il modello onesto/malizioso. Le soluzioni attuali presuppongono sempre che la rete sia sincrona, in modo che l'avversario non possa leggere alcun dato mancante dai nodi onesti e rispondere alle sfide in tempo.
