Parano1d v2. Вместимость блоков и консенсус

В proof-native сети недостаточно решить, сколько транзакций помещается в блок. Нужно ещё доказать весь его переход и проверить получившийся объект на машинах, которые поддерживают сеть. Вместимость, время построения доказательства и нагрузка на узлы определяют друг друга.

В v2 этот выбор выражен двумя классами: Small по умолчанию и Large, который оператор выпускающего блоки сервера может разрешить отдельно. Контрактное ядро у них одинаковое. Целевой интервал — 30 секунд.

Сначала договоримся, что считаем

Физическая единица блока — страница Tx8x2: до восьми входов и двух выходов в 323 байтах. Обычный платёж с одним входом и двумя выходами занимает одну страницу. Крупную логическую транзакцию PagedSpend собирает из нескольких страниц, сохраняя единый txid, комиссию, капсулу авторизации и квитанцию.

Поэтому «страница» и «транзакция» не всегда равнозначны. Консолидация множества входов может занять несколько страниц. Вызов контракта занимает одну страницу и расходует один конкретный контрактный выход. Предел входов считается на весь блок.

Все ограничения действуют одновременно. Small вмещает 63 одностраничных платежа, 63 вызова либо их смесь на 63 страницы. В Large помещается 206 одностраничных платежей или 63 вызова и ещё 143 платежа — если общая сумма входов не превышает 504. Большой класс даёт больше места для платежей вокруг той же контрактной нагрузки.

Основной coinbase учитывается отдельно. Если нужен дополнительный обязательный системный выход на отдельной странице, пользователям остаётся 62 или 205 страниц. Одна обычная логическая транзакция может занимать до 128 страниц, но также обязана укладываться в бюджет выбранного класса и общий предел входов.

За что платит матрица

Число m задаёт размер дополненной до степени двойки области доказательства: $2^{23}$ позиций для m23 и $2^{24}$ для m24. В этой области должны поместиться авторизация, точные изменения State, исполнение контрактов, рекурсивная проверка предыдущего доказательства и остальные правила блока.

Эти позиции нельзя напрямую перевести в число платежей. Важна стоимость всей схемы. Даже почти пустой блок выбранного класса доказывает фиксированное отношение: время построения не уменьшается пропорционально числу занятых страниц.

Оба класса используют одно ядро из 16 инструкций и двух постоянных счётчиков. Программа не меняет смысл при попадании в Large, а разработчику не приходится выбирать отдельную, урезанную модель исполнения для Small.

Выбор для производителя блока

Флаг --v2-large-blocks разрешает серверу создавать Large. Дальше класс выбирается с учётом комиссий. Сам флаг не заставляет строить каждый блок по большой матрице; в GUI такого переключателя нет. Все проверяющие узлы принимают оба класса.

У более дорогого доказательства должен быть смысл для майнера. Поэтому дополнительную платёжную вместимость можно использовать там, где она оправдывает вычислительную работу, сохраняя Small обычным режимом производства.

Путь блока остаётся атомарным: собрать точный кандидат, доказать переход, зафиксировать шаблон и искать nonce для proof of work. Блок принимается вместе с соответствующим HistoryStep. Отдельного «догоняющего» фронта доказанных блоков в консенсусе нет.

Как понимать 30 секунд

Это целевой средний интервал между блоками сети, включающий полный путь производства. Нельзя прибавить к нему время прувинга и считать, что затем каждому майнеру гарантированы ещё 30 секунд на PoW. Конкретная машина также не получает обещания находить блок каждые полминуты.

При целевом интервале Small даёт верхнюю вместимость 2,1 одностраничного платежа в секунду, Large — около 6,87. Для контрактных вызовов у обоих классов предел одинаковый: 2,1 вызова в секунду. Реальная пропускная способность зависит от выбранных классов, состава транзакций, количества входов, времени доказательства и фактического выхода блоков.

Временные окна всей сети

Новый интервал касается не только майнинга. Всё, что выражено в блоках, получает другую номинальную длительность. V2 явно учитывает границу старого и нового режима в расчёте сложности.

ASERT считает старые и новые интервалы по соответствующим сторонам форка. После реорганизации правила вновь выбираются по высоте кандидата. Контрактные сроки привязаны к высоте включения: сутки — это номинально 2 880 блоков, а приложению всё равно нужен запас на подтверждение.

Что передаёт и проверяет узел

Транспортный предел терминального доказательства сохраняется: 1 100 000 байт. Верхние границы v2 составляют 1 014 132 байта для Small и 1 081 396 для Large. Вместимость исполнения увеличена внутри явно ограниченного сетевого объекта.

Первое доказательство v2 связано с аутентифицированным последним блоком прежнего режима. Переходный релиз содержит обе генерации матриц. Механизм их вывода из эксплуатации позволяет готовить следующие версии без старых матриц, сохраняя проверяемую связь с прежней цепью.

После Large его обязательства не исчезают из накопленного доказательства истории. Верификатор может повторно использовать точные утверждения, которые он уже проверил и сохранил в ограниченном кэше. Новые утверждения и переходы продолжают проходить аутентификацию. Смена класса не создаёт разрыва в истории доказательств.

Профиль, на который можно опереться

V2 задаёт согласованный бюджет для приёма транзакций, сборки блока, проверки и контрактных приложений. У сети есть более вместительный основной класс, дополнительная платёжная ёмкость по выбору производителя и одинаковые правила контрактов для всех.

Полные ограничения приведены в справочнике параметров. В отчёте о производительности каждый замер сопровождается условиями и характеристиками оборудования.

Следующие части серии: токеномика v2 и переход от живой стоимости к живым правам.