Чому Pearl змінив консенсус чотири рази за 27 000 блоків

Цього тижня Pearl пройшов блок 99 000 у mainnet, а разом із ним і четверту зміну консенсусу за 27 065 блоків. Дві з чотирьох були хардфорками, а дві - софтфорками, що важливо для того, що мав зробити майнер, але не для того, чому будь-яка з них сталася. Чотири оновлення так близько одне до одного виглядають як ланцюг у біді. Насправді все майже навпаки. Якщо читати їх у порядку блоків, це не чотири окремі проблеми, а одна проблема, до якої підійшли з чотирьох боків, і остання зміна її закриває. Кожну висоту, правило й версію нижче взято з власного консенсусного коду ланцюга, а не з оголошення.

Що Pearl просить робити майнера

Почнімо з того, що Pearl просить робити майнера, бо без цього решта не має сенсу. Pearl запустив свій mainnet 27 квітня 2026 року як блокчейн першого рівня, який захищає себе множенням матриць, а не хешуванням. Це множення - та сама щільна лінійна алгебра, на яку навчання та інференс ШІ витрачають майже весь свій час. Майнер запускає на GPU зашумлене множення матриць, хешує результат у комітмент і загортає цю роботу в доказ з нульовим розголошенням, щоб мережа могла дешево її перевірити. Базовий рівень під цим навмисно нудний: форк ноди btcd від Bitcoin, щоб нова ідея стояла на старій і добре зрозумілій інфраструктурі.

Чому важлива форма роботи

Тепер складна частина цієї ідеї. Коли робота - це хеш, є рівно один спосіб її виконати й рівно одне число, що каже, наскільки вона була важкою. Коли робота - це множення матриць, майнер також має оголосити її форму: наскільки великі матриці і скільки низькорангового шуму в них підмішано. Ланцюг ніколи не бачить GPU. Він бачить доказ і опис роботи, якої цей доказ стосується. Кожне з чотирьох оновлень стосується цього опису і того, щоб кожна його частина чогось коштувала тому, хто її заявляє.

Блок 71 935: сертифікат mixture of experts

Перше, хардфорк на блоці 71 935, перевело докази із сертифіката v1 на v2. Оновлення назване на честь того, що може описати новий сертифікат: mixture of experts, форму, якої набуває реальний інференс великої моделі, де для кожного токена працює лише кілька експертів із багатьох. Формат доказу, що вміє описати лише одне велике щільне множення, завжди зможе описати лише частину цього. Сертифікат v2 також містить поле, якого не було у v1, - ранг шуму, і саме це поле взагалі зробило можливим третє оновлення.

Блок 91 630: поки що лише щільні

Друге, софтфорк на блоці 91 630, звузило двері, які щойно розширили: з цього блоку мережа відхиляє докази mixture of experts і приймає лише щільні. Це схоже на відступ, але ним не є. Сертифікат залишився v2, тож формат зберіг усе, що здобув; змінилося те, які форми зараховуються, поки ланцюг молодий. Проєкт не опублікував, чому обрав саме цей момент, тож тут читачеві слід прямо про це сказати, а не підсовувати здогад під виглядом мотиву.

Блок 96 251: ранг перестає окупатися

Третє, софтфорк на блоці 96 251, - те, що має число, яке майнер може відчути. Ранг задає, скільки низькорангового шуму підмішано в множення, і до цього форку ціль, яку мала побити шара, ставала легшою пропорційно розміру тайла, помноженому на повну довжину скалярного добутку. Тож підвищення рангу купувало пропорційно легшу ціль, тоді як GPU не виконував більше справжньої роботи: регулятор, що вирішує, яка частка обчислення справжня, був і регулятором, що вирішував, за скільки шар вам платять. З цього блоку та сама межа масштабується як розмір тайла, помножений на довжину скалярного добутку, поділений на ранг і помножений на 128, а будь-який ранг нижче 128 відхиляється одразу. Ці два вирази відрізняються рівно на 128, поділене на ранг, тож вплив на майнера, який досі працює зі старим налаштуванням, - це арифметика, а не оцінка: за рангу 256 ціль за ту саму роботу вдвічі складніша, ніж була раніше, а за рангу 1024 - у вісім разів.

Зміна консенсусу, що посилює те, що вважається справжньою роботою, може також списати обладнання, бо посилене правило має відтворюватися біт у біт на тій карті, яка його виконує. Чи втратило якесь конкретне покоління GPU підтримку Pearl із цим форком - питання до приміток до випуску кожного майнера, а не до ланцюга, і ця стаття жодного не називає, бо код ланцюга нічого не каже про карти. Проте таке варто перевірити, перш ніж купувати карту під одну монету.

Блок 99 000: seed прив'язаний до форми

Четверте, хардфорк на блоці 99 000, - найменша зміна і та, яку найлегше описати неправильно. Шум, на який майнер множить, виводиться з двох коренів Меркла доказу. До цього форку ці корені потрапляли у виведення як є, тож шум не залежав від розмірів матриці, які фіксує доказ. З блоку 99 000 кожен корінь спершу змішується з одним із цих розмірів, кількістю рядків для одного й кількістю стовпців для іншого, і лише потім запускається ланцюжок seed. Тож певний шматок шуму належить рівно одній оголошеній формі. Структура сертифіката байт у байт така сама, як у v2, і в мережевому форматі досі передаються сирі корені; лише номер версії вибирає, яке виведення застосовується, і тому єдине, що це вимагало від майнера, - новий бінарний файл.

Що дають чотири разом

Поставте всі чотири в ряд, і вони скажуть одне речення чотирма способами. Ланцюг не може стежити за GPU, тож усе, що доказ заявляє про себе, має чогось коштувати тому, хто це заявляє. Mixture of experts розширило те, що доказ може описати. Режим «лише щільні» звузив те, що зараховується, поки ланцюг молодий. Штраф за ранг не дав одному регулятору всередині заяви купувати легшу ціль. Солоний seed не дав одному шматку шуму служити більш ніж одній заявленій формі. Молодий ланцюг, що знайшов це в перші місяці й виправив усе за 27 000 блоків, - кращий знак, ніж молодий ланцюг, що не знайшов нічого.

Що це означає, якщо ви майните PRL

Практична частина для всіх, хто майнить PRL. Усі чотири активувалися на фіксованому блоці без перехідного періоду, і всі чотири ламаються однаково тихо: застарілий майнер і далі показує цілком здоровий хешрейт, тоді як його шари перестають зараховуватися. Число хешрейту на вашому екрані в день форку нічого не доводить. Натомість стежте за кількістю прийнятих шар і оновлюйтеся до блоку, а не після нього. Якщо ви займаєтеся мердж-майнінгом, втрата подвоюється, бо невалідна шара Pearl не несе й допоміжного блоку.

З нашого боку кожна з цих змін була готова до свого блоку форку, тож єдине, що мав змінити майнер, - бінарний файл майнера. Та сама адреса, той самий порт, той самий гаманець.

Звідки ці цифри

Звідки цифри, щоб будь-хто міг їх перевірити, а не вірити нам на слово: чотири висоти активації, час блоку й мітку часу генезису mainnet узято з власних мережевих параметрів ланцюга та визначення генезису; правило рангу й значення 128, поділене на ранг, узято з перевірок коректності у верифікаторі доказів, де стара й нова межі стоять поруч; а версії сертифіката й солоне виведення взято з мережевого формату та модуля seed. Усе, чого код не стверджує, у цю статтю не включено, а не домислено.