Ewolucja Teorii Gier

Tezos odbudowywał swoje fundamenty cicho przez lata, nie poprzez jedną dramatyczną przebudowę, ale poprzez sekwencję przemyślanych ulepszeń, które wciąż się rozwijają. Kiedy nadszedł Paryż, zmiana stała się niezaprzeczalna: Tezos przeszedł z modelu bezpieczeństwa tylko dla piekarzy do hybrydowego, w którym piekarze i rodzimy stakerzy blokują prawdziwe stawki bezpośrednio w protokole i zabezpieczają łańcuch razem.

To nie było tylko „więcej uczestnictwa”, wzmocniło to ekonomiczną logikę sieci. Na Tezos stakowanie jest dosłowne, złe zachowanie jest karane, uczciwość jest nagradzana, a zgodność jest egzekwowana przez matematykę. Więcej aktorów teraz ma prawdziwe interesy w grze, poszerzając dystrybucję, zaostrzając zachęty i zwiększając odporność, nawet gdy liczba piekarzy zmniejszyła się (rozwinę to później).

W tym artykule wyjaśnię, dlaczego ten ruch był słuszny i jak pojawił się w wyniku kilku ulepszeń.

Delegatorzy, Stakerzy i Piekarze: Jak się łączą

Piekarze

Piekarze są rdzeniem operatorów Tezos. Prowadzą infrastrukturę, produkują i walidują bloki oraz zabezpieczają łańcuch. W oryginalnym modelu LDPoS tylko ich związana stawka zapewniała rzeczywistą ochronę ekonomiczną, bezpieczeństwo sieci opierało się całkowicie na nich.

Delegatorzy

Większość użytkowników to delegatorzy. Utrzymują swoje tez w płynności, ale pożyczają swoją wagę głosów piekarzowi. Pomagają kształtować konsensus bez prowadzenia infrastruktury, ale ich kapitał nie jest narażony.

Stakerzy (po Paryżu)

Paryż wprowadził coś nowego: natywnych stakerów. Zamiast budować konfigurację pieczenia, po prostu blokują swoje tez bezpośrednio w protokole i „wynajmują” silnik piekarza za niewielką opłatą. Kiedy to robią, dodaje się to do stanu stawki piekarza, wzmacniając jego wagę. Zaskoczeniem jest to, że ich nagrody nigdy nie przechodzą przez piekarza, wypłaty pochodzą bezpośrednio z protokołu, bez zaufania. Po raz pierwszy użytkownicy mogli zarabiać więcej niż tradycyjni delegatorzy, jednocześnie bezpośrednio wzmacniając bezpieczeństwo sieci. Żadnych pośredników, żadnych ręcznych wypłat, po prostu czysty, on-chain relacja, w której stakowanie staje się prawdziwym pierwszej klasy sposobem ochrony sieci.

Integracja Stakerów w Konsensusie

Przed Paryżem tylko piekarze mieli coś do stracenia. Byli jedynymi ludźmi, którzy chodzili z prawdziwym interesem w grze. Delegatorzy uczestniczyli pośrednio, ale ich kapitał nie był narażony. I chociaż model działał, skoncentrował odpowiedzialność w rękach stosunkowo małej grupy.

Po Paryżu historia się zmieniła. Teraz stakerzy, zwykli użytkownicy, którzy nie chcą prowadzić węzła, mogą bezpośrednio związać swoje fundusze i dzielić odpowiedzialność z piekarzami. Ich zaangażowanie ma realną wagę: związana stawka stakerów liczy się 3x bardziej niż delegowane tez w kontekście zarządzania, a więc przynosi około 3x więcej nagród niż prosta delegacja. Nagle skarbiec ma więcej uczciwych i zaangażowanych strażników, każdy z czymś cennym na linii i silniejszym głosem w tym, jak sieć się rozwija. A więcej osób z czymś do stracenia zawsze jest dobre dla bezpieczeństwa.

To przekształciło strukturę społeczną Tezos:

  • Przed Paryżem → tylko około 7% całkowitej podaży faktycznie zabezpieczało sieć, pochodząc wyłącznie z obligacji (stawki) złożonych przez piekarzy.

  • Po Paryżu-Quebec-Rio-Seul → Bezpieczeństwo jest teraz dzielone pomiędzy piekarzy a indywidualnych stakerów, rozszerzając uczestnictwo, poprawiając dystrybucję i wzmacniając ogólną odporność. Na dzień dzisiejszy ta połączona związana stawka wynosi ~ 27%.

Podstawy teorii gier w hybrydowym dowodzie stawki

Jednym z najbardziej pomijanych aspektów ewolucji Tezos jest to, jak model stakowania przekształcił motywacje stojące za siecią. Blockchainy, w swojej istocie, to nie tylko technologia, to maszyny ekonomiczne. Działają tylko wtedy, gdy ludzie w nich są nagradzani za robienie właściwych rzeczy i karani za robienie złych rzeczy. Innymi słowy: oprogramowanie staje się prawem, a motywacje stają się grawitacją.

Tezos mocno polega na tej logice. Nie udaje się, że jest Proof of Stake. To jest Proof of Stake, w dosłownym tego słowa znaczeniu: stawkę można odebrać. A wraz z wprowadzeniem regulowanego mechanizmu karania, protokół może skalibrować kary do powagi niewłaściwego zachowania, wzmacniając precyzję swojego projektowania teoretycznego gier. Ten pojedynczy wybór projektowy zmienia wszystko.

Aby zrozumieć dlaczego, wyobraź sobie małe miasteczko, w którym wszyscy są odpowiedzialni za strzeżenie wspólnej skarbca. W niektórych systemach strażnicy noszą puste broń, symboliczne narzędzia, które wyglądają poważnie, ale nie niosą rzeczywistych konsekwencji, jeśli ktoś złamie zasady. W Tezos strażnicy noszą w pełni załadowane, prawdziwe. A teraz, w zależności od powagi naruszenia, reakcja może być odpowiednio dostosowana. Jeśli złamiesz zasady, kara nie jest teoretyczna. Jest natychmiastowa, mierzalna i dostosowywalna. Twoja „stawka”, twój wkład w zabezpieczenie skarbca miasteczka, może być zmniejszona, łagodnie lub mocno, w zależności od przewinienia.

Ekonomiści nazywają to wiarygodnymi karami, a to jest kręgosłup teorii gier. Jeśli łamanie zasad jest kosztowne, większość ludzi ich nie łamie. Jeśli przestrzeganie zasad dobrze się opłaca, większość ludzi będzie ich przestrzegać. System nie polega na zaufaniu, dobrej woli ani reputacji. Polega na zgodności, a Tezos dodaje niuans skalibrowanej dyscypliny.

Dostosowanie dzisiejszych motywacji do architektury Tezos X jutra

Ale dostosowanie motywacji na tym się nie kończy. Szybsze cykle zacieśniają pętlę informacji zwrotnej. Kiedy nagrody przychodzą szybciej, kary również przychodzą szybciej. To jak dawanie miasteczku codziennego rachunku zamiast miesięcznego, błędy nie mogą długo ukrywać się. Dobre zachowanie jest wzmacniane, a złe zachowanie jest korygowane prawie natychmiast.

Warstwa dostępności danych (DAL) dodaje kolejny wymiar. Odszkodowuje uczestników za wykonywanie pracy, która przynosi korzyści wszystkim: niezawodne przechowywanie i serwowanie danych. Uczciwa praca przynosi więcej nagród, a niedbała praca ryzykuje ich utratę. Ale jest tu dodatkowa warstwa znaczenia: piekarze, którzy wspierają DAL, nie tylko zarabiają nagrody, ale również sygnalizują wiarę w długoterminowy kierunek Tezos.

DAL nie jest opcjonalnym dodatkiem; jest podstawowym elementem mapy drogowej Tezos X, gdzie kanoniczny rollup staje się centralną ścieżką skalowania. Innymi słowy, udział w DAL to nie tylko techniczne uczestnictwo. To zaangażowanie. A protokół nagradza to zaangażowanie. Jeszcze raz, motywacje układają się idealnie: pomóż systemowi, a system pomoże tobie.

Obrona przez zaangażowanie: Zamek strzeżony przez wykwalifikowanych, zaangażowanych obrońców

I oto zaskakująca część: mimo że liczba piekarzy jest niższa niż wcześniej, sieć jest bardziej zabezpieczona. Dlaczego? Ponieważ w teorii gier ważna nie jest liczba graczy, lecz to, ile mają do stracenia. Dzisiaj więcej stawki jest związane wśród większej liczby uczestników. „Mur bezpieczeństwa” wokół sieci jest grubszy, wyższy i dzielony.

To różnica pomiędzy zamkiem strzeżonym przez wielu nieuzbrojonych wolontariuszy a takim, którym opiekują się mniej liczni, wysoko wykwalifikowani i zaangażowani żołnierze, których życie zależy od jego obrony. Drugi zamek jest bezpieczniejszy za każdym razem.

Niektóre blockchainy polegają na reputacji, aby utrzymać porządek. Inne polegają na wpływach fundacji lub nieformalnych zasadach społecznych. Tezos polega na matematyce. Protokół sam w sobie zarządza motywacjami. Nie ma negocjacji, nie ma przywilejów, nie ma wyjątków. Zasady obowiązują równo dla wszystkich, a najbezpieczniejszy, najbardziej opłacalny wybór, konsekwentnie i przewidywalnie, to zachowywać się uczciwie.

Szybsze, mądrzejsze i bardziej ludzkie doświadczenie stakowania

W wyniku kilku ulepszeń sieć cicho stała się ostrzejsza, szybsza i znacznie bardziej przyjazna dla użytkownika, jak forteca, która nie tylko wzmacnia swoje mury, ale uczy się poruszać swoimi bramami z precyzją. Najpierw poprawiła się odporność: nieaktywni piekarze są szybko wykluczani i tak samo szybko przywracani, tworząc samokorygującą rotację straży, która nagradza stałą dostępność. Potem przyszedł czas na szybkość. Czasy cyklu spadły z ~2,8 dni do 1 dnia, przekształcając aktualizacje stakowania, zmiany delegacji i odblokowania w płynne doświadczenie. A w końcu podróż użytkownika została uproszczona: Odstakiwanie stało się bezwysiłkowe, a zautomatyzowane pomocniki (cześć Finn) teraz zajmują się mechaniką za kulisami. Rezultatem jest system stakowania, który wydaje się nowoczesny, wewnętrznie potężny, zewnętrznie bezproblemowy.

Podsumowanie

https://tzkt.io/

Tezos nie wynalazł swojego modelu stakowania z dnia na dzień, ewoluował poprzez długą sekwencję ulepszeń, z których każde zostało zatwierdzone przez on-chain governance i ukształtowane przez wkład społeczności. Te zmiany stopniowo przesunęły Tezos z modelu bezpieczeństwa wyłącznie piekarzy do hybrydowego, w którym piekarze i natywni stakerzy teraz wspólnie zabezpieczają łańcuch. Rezultatem jest szersza, zdrowsza dystrybucja związanej stawki, wzrastająca z ~7% do około ~27%, poziomu, który teraz mieści się w standardach branżowych dla bezpieczeństwa Proof-of-Stake. A ta liczba nadal cicho rośnie, gdy więcej uczestników decyduje się na zaangażowanie prawdziwej stawki, wzmocnienie sieci i uzyskanie znacznie lepszych nagród niż tradycyjni delegatorzy. Cicho, wspólnie i matematycznie, sieć wzmocniła swoje mury, robiąc to z społecznością kierującą każdym krokiem procesu.

Jak Tezos wzmocnił swoje mury bez wydawania dźwięku, pierwotnie opublikowano w Tezos Commons na Medium, gdzie ludzie kontynuują rozmowę, podkreślając i odpowiadając na tę historię.