Miért változtatta meg a Pearl négyszer a konszenzust 27 000 blokk alatt

A Pearl ezen a héten túljutott a 99 000. mainnet blokkon, és vele a negyedik konszenzusváltozáson 27 065 blokk alatt. A négyből kettő hard fork, kettő softfork volt, ami számít abból a szempontból, mit kellett tennie egy bányásznak, de abból nem, hogy miért történtek. Négy frissítés ilyen közel egymáshoz egy bajban lévő lánc képét kelti. Valójában inkább az ellenkezője igaz. Blokksorrendben olvasva nem négy külön problémáról van szó, hanem egyetlen problémáról, amelyet négy oldalról közelítettek meg, és az utolsó lezárja. Minden alábbi magasság, szabály és verzió a lánc saját konszenzusforrásából származik, nem egy közleményből.

Mit kér a Pearl egy bányásztól

Kezdjük azzal, mit kér a Pearl egy bányásztól, mert enélkül a többinek nincs értelme. A Pearl 2026. április 27-én indította el a mainnetjét, olyan első rétegbeli láncként, amely hashelés helyett mátrixszorzással biztosítja magát. A szorzás ugyanaz a sűrű lineáris algebra, amellyel az MI-tanítás és -következtetés szinte teljes idejét tölti. Egy bányász zajos mátrixszorzást futtat a GPU-n, az eredményt egy kötelezettségvállalásba hasheli, és ezt a munkát egy zero knowledge bizonyításba csomagolja, hogy a hálózat olcsón ellenőrizhesse. Az alatta lévő alapréteg szándékosan unalmas: a Bitcoin btcd node-jának forkja, hogy az új ötlet régi és jól ismert alapokra épüljön.

Miért számít a munka alakja

Most jön ennek az ötletnek a nehéz része. Ha a munka egy hash, pontosan egyféleképpen lehet elvégezni, és pontosan egy szám mondja meg, milyen nehéz volt. Ha a munka egy mátrixszorzás, a bányásznak az alakját is deklarálnia kell: mekkorák a mátrixok, és mennyi alacsony rangú zaj kerül beléjük. A lánc soha nem látja a GPU-t. Egy bizonyítást lát, és annak a munkának a leírását, amelyről a bizonyítás szól. Mind a négy frissítés erről a leírásról szól, és arról, hogy annak minden részét valamibe kerüljön állítani.

71 935. blokk: a mixture of experts tanúsítvány

Az első, egy hard fork a 71 935. blokknál, a bizonyításokat a v1 tanúsítványról a v2-re váltotta. A frissítés arról kapta a nevét, amit az új tanúsítvány le tud írni: a mixture of experts szerkezetről, amelyet egy nagy modellen végzett valódi következtetés követ, ahol tokenenként a sok szakértő közül csak néhány fut. Egy bizonyításformátum, amely csak egyetlen nagy, sűrű szorzást tud leírni, ebből mindig csak egy részt írhat le. A v2 tanúsítvány egy olyan mezőt is tartalmaz, amely a v1-ben nem volt meg, a zajrangot, és ez a mező tette egyáltalán lehetővé a harmadik frissítést.

91 630. blokk: egyelőre csak sűrű

A második, egy softfork a 91 630. blokknál, leszűkítette az éppen kitárt ajtót: ettől a blokktól a hálózat elutasítja a mixture of experts bizonyításokat, és csak a sűrűeket fogadja el. Ez visszalépésnek tűnik, de nem az. A tanúsítvány v2 maradt, így a formátum mindent megtartott, amit nyert; az változott, hogy mely alakok számítanak, amíg a lánc fiatal. A projekt nem tette közzé az időzítés indoklását, ezért itt az olvasónak ezt kell elmondani, nem pedig indítéknak öltöztetett találgatást adni.

96 251. blokk: a rang már nem fizet

A harmadik, egy softfork a 96 251. blokknál, az, amelynek számát egy bányász a saját bőrén érzi. A rang határozza meg, mennyi alacsony rangú zaj kerül a szorzásba, és e fork előtt a célt, amelyet egy részesedésnek le kellett győznie, a csempeméret és a teljes skalárszorzat-hossz szorzatának arányában tették könnyebbé. A rang növelése így arányosan könnyebb célt hozott, miközben a GPU nem végzett több valódi munkát: az a tárcsa, amely eldönti, a számításból mennyi valódi, egyben azt is eldöntötte, hány részesedésért fizettek. Ettől a blokktól ugyanezt a korlátot a csempeméret és a skalárszorzat-hossz szorzata osztva a rang és 128 szorzatával skálázza, és minden 128 alatti rangot eleve elutasít. A két kifejezés pontosan 128 osztva a ranggal arányban tér el egymástól, így a régi beállítást még futtató bányászra gyakorolt hatás számítás, nem becslés: 256-os rangnál a cél ugyanazért a munkáért kétszer olyan nehéz, mint korábban, 1024-es rangnál nyolcszor.

Egy konszenzusváltozás, amely szigorítja, mi számít valódi munkának, hardvert is kivezethet, mert a szigorított szabályt bitre pontosan kell előállítani azon a kártyán, amely végzi. Hogy egy adott GPU-generáció elvesztette-e a Pearl-támogatást ezzel a forkkal, az az egyes bányászprogramok kiadási megjegyzéseire tartozik, nem a láncra, és ez a cikk egyet sem nevez meg, mert a lánc forrása semmit sem mond a kártyákról. Mégis érdemes ilyesmit ellenőrizni, mielőtt egyetlen érme kedvéért kártyát vásárol.

99 000. blokk: a mag az alakhoz kötve

A negyedik, egy hard fork a 99 000. blokknál, a legkisebb változás, és a legkönnyebb tévesen leírni. A zaj, amellyel egy bányász szoroz, a bizonyítás két Merkle-gyökéből származik. E fork előtt ezek a gyökök nyersen kerültek a származtatásba, így a zaj nem függött a bizonyítás által rögzített mátrixméretektől. A 99 000. blokktól minden gyököt előbb összekevernek az egyik mérettel, az egyiket a sorok, a másikat az oszlopok számával, és csak ezután fut le a maglánc. Egy adott zajdarab így pontosan egy deklarált alakhoz tartozik. A tanúsítvány felépítése bájtra megegyezik a v2-vel, és a hálózaton továbbra is a nyers gyökök utaznak; csak a verziószám választja ki, melyik származtatás érvényes, ezért egy bányásztól ez csak egy új binárist kívánt.

Mit adnak ki együtt a négyek

Tegyük a négyet egymás mellé, és egyetlen mondatot mondanak négyféleképpen. A lánc nem láthatja a GPU-t, ezért mindennek, amit egy bizonyítás állít magáról, valamibe kell kerülnie. A mixture of experts kitágította, mit írhat le egy bizonyítás. A csak sűrű leszűkítette, mi számít, amíg a lánc fiatal. A rangbüntetés megakadályozta, hogy az állításon belül egy tárcsa könnyebb célt vásároljon. A sózott mag megakadályozta, hogy egy zajdarab egynél több állított alakot szolgáljon. Ha egy fiatal lánc az első hónapjaiban megtalálja ezeket, és 27 000 blokkon belül kijavítja őket, az jobb jel, mint egy fiatal lánc, amely egyet sem talált.

Mit jelent ez, ha PRL-t bányászik

A gyakorlati rész mindenkinek, aki PRL-t bányászik. Mind a négy egy rögzített blokknál aktiválódott, átmeneti időszak nélkül, és mind a négy ugyanúgy, csendben bukik el: egy elavult bányászprogram tökéletesen egészséges hashrátát jelent, miközben a részesedései már semmit sem érnek. A saját képernyőjén látott hashráta egy fork napján nem bizonyíték. Figyelje inkább az elfogadott részesedések számát, és a blokk előtt frissítsen, ne utána. Ha összevont bányászatot végez, a veszteség megduplázódik, mert egy érvénytelen Pearl-részesedés kiegészítő blokkot sem hordoz.

A mi oldalunkon mindegyik a fork blokkja előtt a helyén volt, így egy bányász számára csak a bányászprogram binárisának kellett változnia. Ugyanaz a cím, ugyanaz a port, ugyanaz a tárca.

Honnan származnak ezek a számok

Hogy honnan származnak a számok, hogy bárki ellenőrizhesse őket, ahelyett hogy szavunkra hagyatkozna: a négy aktiválási magasság, a blokkidő és a mainnet genezis időbélyege a lánc saját hálózati paramétereiből és genezisdefiníciójából származik; a rangszabály és a 128 osztva a ranggal arány a bizonyításellenőrző épségi ellenőrzéseiből, ahol a régi és az új korlát egymás mellett áll; a tanúsítványverziók és a sózott származtatás pedig a hálózati formátumból és a magmodulból. Amit a forrás nem állít, azt ez a cikk kihagyta, ahelyett hogy kitöltötte volna.