Proof-native Layer 1

Proof-native Layer 1 — архитектура сети первого уровня, в которой доказательство является обязательной частью каждого перехода консенсуса.

Обычная полная нода получает текущее состояние, повторно исполняя цепочку. Исторические входы находятся в самой цепочке, а нода по порядку воспроизводит каждый переход состояния. После проверки удаление архивных данных может сократить расход диска, но исходная зависимость остаётся: настоящее принимается потому, что нода самостоятельно восстановила его из прошлого.

Parano1d меняет само значение блока. Блок — не просто набор операций, которые обязан выполнить каждый пир. Вместе с ним приходит рекурсивный HistoryStep, доказывающий, что:

публичное отношение блока выполнено;
полученные корень UTXO и счётчики консенсуса точно фиксируют State после перехода;
предыдущее терминальное доказательство HistoryStep было корректно.

Формат терминального доказательства фиксирован. Проверка блока на высоте 10 000 или 10 000 000 не требует доказательства, растущего вместе с высотой.

Куда переместилось исполнение

Работа не исчезла. Она перенесена к участнику, у которого уже есть необходимый свидетель.

Кошелёк знает секрет расходования и поэтому доказывает авторизацию. Майнер располагает Live State и выбранным содержимым блока, поэтому доказывает переход State. Пиры проверяют оба результата. Они не восстанавливают свидетель кошелька и не повторяют публичные вычисления майнера.

Такое разделение сделано намеренно:

Участник	Приватное или дорогое знание	Результат
Кошелёк	256-битный секрет владельца	Рандомизированная авторизация, привязанная к одному логическому расходованию
Майнер	Выбранные логические транзакции и Live State	Рекурсивное доказательство полного перехода блока
Полная нода	При проверке не использует свидетель	Результат проверки и канонические записи слотов

Майнер не может подделать полномочия кошелька, а корректное доказательство кошелька не разрешает переход с несуществующими или уже потраченными входами. Необходимы оба доказательства.

Что хранит полная нода

Полностью синхронизированная нода хранит:

Live State — актуально материализованный State: точный канонический разреженный UTXO-вектор и его счётчики консенсуса;
все компактные заголовки;
текущее терминальное доказательство HistoryStep;
последние 18 полностью принятых блоков;
ограниченный объём данных отката для неглубоких реорганизаций.

Тела старых транзакций не нужны для активной проверки. После завершения окна хранения их можно удалить. Заголовки остаются навсегда, поскольку PoW и выбор ветви по-прежнему требуют истории накопленной работы.

Таким образом, Parano1d не зависит от истории, но не является системой без состояния. Для подключения всё ещё нужен Live State. Объём его передачи соответствует текущему использованию сети, а стоимость проверки больше не растёт вместе с общим числом когда-либо обработанных транзакций.

Применение доказанного блока

После проверки нода материализует канонические записи слотов в MDBX. Она не запускает логическое исполнение транзакций заново, чтобы вычислить эти записи. Каждый вход очищает одну точную запись {slot_index, creation_id}, а каждый выход устанавливает одну новую выделенную запись. Корень State после перехода криптографически связывает полученный результат.

Здесь важны три разные операции:

исполнение вычисляет и доказывает переход;
проверка проверяет доказательство;
материализация записывает уже доказанный результат в локальное хранилище.

Именно это разделение позволяет обычной ноде оставаться полноценным участником консенсуса, не становясь доказывающей стороной.

Подключение без повтора истории

Если отставание не превышает 18 блоков, нода скачивает сохранённые полные блоки и проверяет их обычным способом. При большем отставании она скачивает постоянные заголовки, аутентифицированный снимок на финализированной границе, соответствующее терминальное доказательство и недавний полный суффикс.

Снимок сначала попадает во временную область. Корни его сегментов восстанавливают зафиксированный корень State, а граница сверяется с каноническим заголовком и рекурсивным терминальным доказательством. Только после этого снимок устанавливается. Недавний суффикс применяется обычным способом.

Передача снимка не создаёт доверенной контрольной точки. Пиры предоставляют данные, а их допустимость определяют доказательства консенсуса и PoW.

Роль proof of work

Рекурсивные доказательства не выбирают цепочку. Parano1d использует proof of work (PoW) для упорядочивания и устойчивого к Sybil-атакам выбора ветви. Майнер сначала доказывает не зависящую от nonce часть блока, затем ищет 128-битный nonce фиксированного заголовка.

Вычислительная мощность может выбрать одну из конкурирующих допустимых ветвей. Она не способна превратить неверную авторизацию, корень State или рекурсивное терминальное доказательство в допустимый блок.

Поток между компонентами описан в обзоре архитектуры, а протокол подключения — в разделе «Синхронизация».