Założenia Walrusa: Błędy bizantyjskie + 4.5× nadmiar wykonany poprawnie
Każdy system działa na podstawie założeń. Walrus jest expliczny co do swojego modelu: toleruje błędy bizantyjskie—walidatorzy, którzy złośliwie kłamią, współpracują lub usuwają dane—jednocześnie utrzymując bezpieczeństwo dzięki 4.5× całkowitemu nadmiarowi pamięci. Zrozumienie tych założeń wyjaśnia, dlaczego Walrus osiąga taką efektywność.
Tolerancja błędów bizantyjskich oznacza, że do jednej trzeciej walidatorów może być całkowicie wrogo nastawionych i skoordynowanych. Mogą odmówić odpowiedzi, wysyłać uszkodzone dane lub spiskować, aby zaatakować uczciwych walidatorów. Walrus to toleruje, ponieważ dowody kryptograficzne weryfikują każdy fragment niezależnie. Żaden pojedynczy roszczenie walidatora nie jest ufane; wszystkie dane są weryfikowalne.
Nadmiar 4.5× jest starannie skalibrowany. To nie jest arbitralne—jest to minimalny nadmiar wymagany do utrzymania odporności bizantyjskiej w sieciach asynchronicznych z realistycznym obrotem. Mniejszy nadmiar osłabiłby bezpieczeństwo. Większy nadmiar marnowałby infrastrukturę.
@Walrus 🦭/acc nie zakłada, że walidatorzy są altruistyczni, dobrze połączeni lub stabilni. Zakłada tylko, że więcej niż dwie trzecie pozostaje uczciwe i że przynajmniej jakaś droga istnieje przez sieć. To są konserwatywne założenia, które sprawdzają się w rzeczywistych wdrożeniach.
Ta jasność co do założeń umożliwia pewne wdrożenie. Operatorzy wiedzą dokładnie, przed jakimi zagrożeniami Walrus się broni i jakie właściwości gwarantuje. Nie ma magii—tylko staranne inżynieria, która utrzymuje bezpieczeństwo w realistycznych warunkach wrogości.
