Dlaczego Pearl zmienił konsensus cztery razy w ciągu 27 000 bloków

Pearl minął w tym tygodniu blok 99 000 w mainnecie, a wraz z nim czwartą zmianę konsensusu w ciągu 27 065 bloków. Dwie z czterech były hard forkami, a dwie softforkami, co ma znaczenie dla tego, co musiał zrobić górnik, ale nie dla tego, dlaczego którakolwiek z nich nastąpiła. Cztery aktualizacje tak blisko siebie wyglądają na łańcuch w kłopotach. W rzeczywistości jest raczej odwrotnie. Czytane w kolejności bloków nie są czterema osobnymi problemami, lecz jednym problemem, do którego podchodzono z czterech stron, a ostatnia z nich go zamyka. Każda wysokość, reguła i wersja poniżej pochodzi z kodu źródłowego konsensusu samego łańcucha, a nie z ogłoszeń.

Czego Pearl wymaga od górnika

Zacznijmy od tego, czego Pearl wymaga od górnika, ponieważ bez tego nic dalej nie ma sensu. Pearl uruchomił swój mainnet 27 kwietnia 2026 roku jako warstwa pierwsza, która zabezpiecza się mnożeniem macierzy zamiast haszowania. To mnożenie to ta sama gęsta algebra liniowa, na którą trening i inferencja AI poświęcają niemal cały swój czas. Program do kopania wykonuje na GPU zaszumione mnożenie macierzy, haszuje wynik do zobowiązania i opakowuje tę pracę w dowód z wiedzą zerową, aby sieć mogła tanio ją sprawdzić. Warstwa bazowa pod spodem jest celowo nudna: to fork węzła btcd Bitcoina, dzięki czemu nowy pomysł opiera się na starej, dobrze poznanej infrastrukturze.

Dlaczego kształt pracy ma znaczenie

Teraz trudna część tego pomysłu. Gdy pracą jest haszowanie, istnieje dokładnie jeden sposób jej wykonania i dokładnie jedna liczba mówiąca, jak trudna była. Gdy pracą jest mnożenie macierzy, górnik musi też zadeklarować jej kształt: jak duże są macierze i ile szumu niskiego rzędu jest w nie wplecione. Łańcuch nigdy nie widzi GPU. Widzi dowód i opis pracy, której ten dowód dotyczy. Każda z czterech aktualizacji dotyczy właśnie tego opisu i tego, by zadeklarowanie każdej jego części coś kosztowało.

Blok 71 935: certyfikat mixture of experts

Pierwsza, hard fork na bloku 71 935, przeniosła dowody z certyfikatu v1 na certyfikat v2. Aktualizacja nosi nazwę od tego, co nowy certyfikat potrafi opisać: mixture of experts, czyli kształt, jaki przyjmuje realna inferencja na dużym modelu, w której dla danego tokenu działa tylko kilku ekspertów spośród wielu. Format dowodu, który potrafi opisać tylko jedno duże gęste mnożenie, zawsze opisze tylko część tego. Certyfikat v2 zawiera też pole, którego nie miał v1, czyli rangę szumu, i to właśnie to pole w ogóle umożliwiło trzecią aktualizację.

Blok 91 630: na razie tylko gęste

Druga, softfork na bloku 91 630, zawęziła drzwi, które dopiero co poszerzono: od tego bloku sieć odrzuca dowody mixture of experts i akceptuje wyłącznie gęste. Wygląda to na odwrót, ale nim nie jest. Certyfikat pozostał na v2, więc format zachował wszystko, co zyskał; zmieniło się to, które kształty się liczą, dopóki łańcuch jest młody. Projekt nie opublikował uzasadnienia tego terminu, więc w tym miejscu czytelnik powinien to usłyszeć, a nie dostać domysł przebrany za motyw.

Blok 96 251: ranga przestaje się opłacać

Trzecia, softfork na bloku 96 251, to ta z liczbą, którą górnik może odczuć. Ranga określa, ile szumu niskiego rzędu jest wplecione w mnożenie, a przed tym forkiem cel, który musiał pokonać share, był łatwiejszy proporcjonalnie do rozmiaru kafla razy pełna długość iloczynu skalarnego. Podniesienie rangi kupowało więc proporcjonalnie łatwiejszy cel, podczas gdy GPU nie wykonywało więcej prawdziwej pracy: pokrętło decydujące o tym, jaka część obliczeń jest prawdziwa, było zarazem pokrętłem decydującym o tym, za ile share'ów się płaci. Od tego bloku ta sama granica jest skalowana przez rozmiar kafla razy długość iloczynu skalarnego podzielone przez rangę razy 128, a każda ranga poniżej 128 jest odrzucana bez dyskusji. Te dwa wyrażenia różnią się dokładnie o 128 podzielone przez rangę, więc skutek dla górnika, który nadal używa starego ustawienia, to arytmetyka, a nie szacunek: przy randze 256 cel jest dwa razy trudniejszy niż wcześniej przy tej samej pracy, a przy randze 1024 osiem razy.

Zmiana konsensusu, która zaostrza to, co liczy się jako prawdziwa praca, może też wycofać sprzęt z użytku, ponieważ zaostrzona reguła musi być odtworzona bit po bicie na każdej karcie, która ją wykonuje. To, czy jakakolwiek konkretna generacja GPU straciła wsparcie Pearl wraz z tym forkiem, jest pytaniem do informacji o wydaniu każdego programu do kopania, a nie do łańcucha, i ten artykuł żadnej nie wymienia, ponieważ kod źródłowy łańcucha nic nie mówi o kartach. Mimo to warto to sprawdzić przed zakupem karty z myślą o jednej monecie.

Blok 99 000: ziarno powiązane z kształtem

Czwarta, hard fork na bloku 99 000, to najmniejsza zmiana i najłatwiejsza do błędnego opisania. Szum, przez który mnoży program do kopania, jest wyprowadzany z dwóch korzeni Merkle dowodu. Przed tym forkiem te korzenie trafiały do wyprowadzenia w surowej postaci, więc szum nie zależał od wymiarów macierzy, które zatwierdza dowód. Od bloku 99 000 każdy korzeń jest najpierw mieszany z jednym z tych wymiarów, liczbą wierszy dla jednego i liczbą kolumn dla drugiego, i dopiero potem uruchamia się łańcuch ziaren. Dany fragment szumu należy więc do dokładnie jednego zadeklarowanego kształtu. Układ certyfikatu jest bajt w bajt taki sam jak w v2, a protokół nadal przenosi surowe korzenie; tylko numer wersji wybiera, które wyprowadzenie obowiązuje, i dlatego jedyne, czego to wymagało od górnika, to nowy plik binarny.

Co składa się z tych czterech

Ustawione w rzędzie cztery zmiany mówią jedno zdanie na cztery sposoby. Łańcuch nie może obserwować GPU, więc wszystko, co dowód twierdzi o sobie, musi coś kosztować. Mixture of experts poszerzyło to, co dowód może opisać. Tylko gęste zawęziło to, co się liczy, dopóki łańcuch jest młody. Kara za rangę powstrzymała jedno pokrętło wewnątrz deklaracji przed kupowaniem łatwiejszego celu. Solone ziarno powstrzymało jeden fragment szumu przed obsługiwaniem więcej niż jednego zadeklarowanego kształtu. Młody łańcuch, który znajduje takie problemy w pierwszych miesiącach i naprawia je w ciągu 27 000 bloków, to lepszy znak niż młody łańcuch, który nie znalazł żadnego.

Co to oznacza przy kopaniu PRL

Część praktyczna, dla każdego, kto kopie PRL. Wszystkie cztery aktywowały się na ustalonym bloku bez okresu przejściowego i wszystkie zawodzą w ten sam cichy sposób: nieaktualny program do kopania nadal pokazuje zupełnie zdrowy hashrate, podczas gdy jego share'y przestają się do czegokolwiek liczyć. Liczba hashrate'u na własnym ekranie nie jest dowodem w dniu forka. Zamiast tego należy obserwować liczbę zaakceptowanych share'ów i aktualizować przed blokiem, a nie po nim. Przy merged mining strata się podwaja, ponieważ nieprawidłowy share Pearl nie niesie też bloku pomocniczego.

Po naszej stronie każda z tych zmian była gotowa przed swoim blokiem forka, więc jedyne, co górnik musiał zmienić, to plik binarny programu do kopania. Ten sam adres, ten sam port, ten sam portfel.

Skąd pochodzą te liczby

Skąd pochodzą liczby, aby każdy mógł je sprawdzić, zamiast wierzyć nam na słowo: cztery wysokości aktywacji, czas bloku i znacznik czasu bloku genesis mainnetu pochodzą z parametrów sieci samego łańcucha i z definicji bloku genesis; reguła rangi i wartość 128 podzielone przez rangę pochodzą ze sprawdzeń poprawności weryfikatora dowodów, gdzie stara i nowa granica stoją obok siebie; a wersje certyfikatu i solone wyprowadzenie pochodzą z formatu protokołu i modułu ziaren. Wszystko, czego kod źródłowy nie podaje, zostało pominięte w tym artykule, a nie dopowiedziane.