Le Protocole Walrus est une unité de stockage de données complète. Voici comment cela fonctionne :
Étant donné un réseau de 'n=3f+1' nœuds, où jusqu'à 'f' sont byzantins, soit 'B' un blob qu'un écrivain 'W' souhaite stocker dans le réseau et le partager avec un ensemble de lecteurs 'R'. Un protocole de stockage de données complet garantit trois propriétés :
• Complétude de l'écriture : Si un écrivain 'W' est honnête, alors chaque nœud honnête détenant un engagement envers le blob 'B' détient finalement une partie 'p' (dérivée de B), telle que 'B : peut être récupéré à partir de '𝒪(B||p|)' parties.
• Cohérence de lecture : Deux lecteurs honnêtes, 'R1' et 'R2', lisant un blob 'B' écrit avec succès réussissent soit tous les deux et renvoient 'B', soit tous les deux renvoient ⊥.
• Validité : Si un écrivain honnête 'W' écrit avec succès 'B', alors un lecteur honnête 'R' détenant un engagement envers 'B' peut lire avec succès 'B'.
