Rozdzieliłem projekt weryfikacji Fabric. Jednym z nich był znaczący: nie traktują niezgody jako wyjątku, ale jako część pracy protokołu.
Większość stosów ukrywa konflikty w runbookach. Fabric buduje rozwiązanie oparte na wyzwaniach na łańcuchu. Monitory są obserwatorami wyników, a oszustwo jest nielogiczne, gdy jest zredukowane. Nagroda związana jest z $ROBO stakowaniem.
Zagadka, którą próbowałem rozwiązać: jak poradzić sobie z brakiem zbieżności bez wolnego przejazdu na dowód? Każde roszczenie ma określoną ścieżkę. Brak czerwonych flag w politykach cieni. Brak logiki czarnej skrzynki.
Teza handlowa jest bezpośrednia. $ROBO działa jako kapitał operacyjny na opłaty i ekonomię weryfikatorów. Kod koncentruje się na tożsamości robota i rozliczeniu przed skalowaniem. Poszukiwanie tutaj to koordynacja.
Jedno słowo ostrzeżenia: powierzchnie rozwiązań się rozszerzają, a definicje potrzebują czystej konkurencji. Uczę się więcej od zespołów, które zdobywają wiarygodność budując infrastrukturę do rozwiązywania sporów, niż od zespołów udających, że konsensus pojawia się w pierwszy dzień.
Modna rozmowa w kręgach gospodarki maszynowej tego nie zauważa. Fabric przyciąga uwagę. Zrób quiz: czy Twój stos usuwa listy kontrolne, czy je dodaje? Rozliczenie na poziomie pakietu czy ludzki nadzór?