Почему Pearl четыре раза менял консенсус за 27 000 блоков

На этой неделе Pearl прошёл блок 99 000 основной сети, а вместе с ним и четвёртое изменение консенсуса за 27 065 блоков. Два из четырёх были хардфорками и два софтфорками, что важно для того, что должен был сделать майнер, но не для того, почему каждый из них произошёл. Четыре обновления так близко друг к другу выглядят как цепочка в беде. На деле почти наоборот. Если читать их в порядке блоков, это не четыре отдельные проблемы, а одна проблема, к которой подошли с четырёх сторон, и последнее обновление её закрывает. Каждая высота, правило и версия ниже взяты из исходного кода консенсуса самой цепочки, а не из объявлений.

Что Pearl просит делать майнера

Начнём с того, что Pearl просит делать майнера, потому что без этого ничего остального не понять. Pearl запустил основную сеть 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 не несёт и вспомогательного блока.

С нашей стороны каждое из этих изменений было готово до своего блока форка, так что майнеру нужно было поменять только бинарный файл майнера. Тот же адрес, тот же порт, тот же кошелёк.

Откуда эти цифры

Откуда цифры, чтобы любой мог их проверить, а не верить нам на слово: четыре высоты активации, время блока и метка времени генезиса основной сети взяты из сетевых параметров и определения генезиса самой цепочки; правило ранга и величина 128, делённое на ранг, взяты из проверок корректности верификатора доказательств, где старая и новая границы стоят рядом; а версии сертификата и солёный вывод взяты из сетевого формата и модуля seed. Всё, чего исходный код не говорит, в эту статью не включено, а не додумано.