Quando guardo attentamente le "prove di disponibilità" di Walrus, non vedo un'unica costruzione denominata come il Proofo di Spazio-Tempo di Filecoin o un classico Proofo di Recuperabilità. Invece, Walrus utilizza un design compositivo che si adatta al suo ruolo come strato di disponibilità piuttosto che come deposito di archiviazione a lungo termine.
Al centro c'è un meccanismo di sfida-risposta costruito su impegni di dati codificati per cancellazione. I dati vengono divisi utilizzando la codifica per cancellazione Red Stuff in molti piccoli frammenti, ognuno con un impegno crittografico—tipicamente un hash—registrato nei metadati del blob. I nodi di archiviazione si impegnano a mantenere specifici frammenti, non file interi, il che limita già la superficie per affermazioni disoneste.
I nodi vengono sfidati periodicamente a restituire campioni brevi e casuali derivati dai loro frammenti assegnati. Queste sfide sono imprevedibili e vincolate nel tempo, il che significa che un nodo non può pre-calcolare risposte o recuperare dati mancanti all'ultimo momento. Per rispondere correttamente, il nodo deve effettivamente possedere i dati codificati e essere in grado di derivare materiale nuovo e verificabile da essi su richiesta.
Ciò che rende difficile la falsificazione è che questo non è una prova di possesso passato, ma una prova di disponibilità attuale. Poiché la codifica per cancellazione consente solo la ricostruzione quando esistono abbastanza frammenti corretti, anche un imbroglio parziale degrada la disponibilità e diventa rilevabile. Walrus non sta cercando di provare che i dati esistono per sempre o che un disco è riservato—sta dimostrando qualcosa di più pratico: che la rete può ricostruire i dati proprio ora con alta probabilità. Gli incentivi WAL rafforzano questo obiettivo premiando la disponibilità continua e verificabile piuttosto che affermazioni statiche sulla capacità di archiviazione.
