Parano1d ①
Proof-native Layer 1 ordered by proof of work.
У блокчейн-сетей есть фундаментальный архитектурный изъян: настоящее само себя не доказывает. Его валидность наследуется из накопленной истории. Bitcoin восстанавливает эту валидность, проверяя цепочку от genesis. Другие сети могут ускорять начальную синхронизацию с помощью snapshots или checkpoints, но это лишь переносит зависимость вперёд: текущее состояние всё равно не несёт доказательства собственного валидного пути от genesis.
Поэтому новая проверяющая нода должна либо самостоятельно восстановить этот путь, либо полагаться на состояние, полученное в результате предыдущей исторической проверки.
Это не временное ограничение. Оно заложено в самой модели.
Parano1d создан, чтобы убрать эту зависимость.
Корректность перехода доказывается один раз — там, где уже есть вся необходимая
информация. Кошелёк доказывает право распоряжаться средствами, используя
свидетель, известный только владельцу. Майнер доказывает публичную логику транзакций и точный
переход State. Сеть проверяет готовые доказательства вместо того, чтобы
снова выполнять те же вычисления.
Каждый принятый блок содержит рекурсивный HistoryStep, который доказывает точный
переход State в этом блоке, включая новый корень UTXO и счётчики консенсуса, и проверяет предыдущее
терминальное доказательство HistoryStep. Новая нода может аутентифицировать
текущий State и проверить недавний суффикс реорганизации,
не исполняя всю цепочку от генезиса.
Когда Live State несёт собственное доказательство, потраченные записи
можно удалять, а освободившиеся слоты — использовать повторно.
Владению больше не нужны открытый ключ и цифровая подпись. Рост State
можно тарифицировать напрямую. Proof of work упорядочивает переходы, чья
корректность уже доказана. Возраст сети перестаёт превращаться в требование к
оборудованию.
Фундаментальное отличие
| Обычный блокчейн | Parano1d | |
|---|---|---|
| Проверка | Каждая полная нода заново исполняет транзакции | Владелец свидетеля строит доказательство, сеть его проверяет |
| Первичная синхронизация | Восстановление состояния от генезиса | Аутентификация Live State и проверка недавнего суффикса |
| Владение | Подпись открытым ключом | Новое доказательство с нулевым разглашением знания прообраза Poseidon2b |
| Состояние | Производная от накопленной истории | Live State является самостоятельным объектом консенсуса |
| Потраченные выходы | Остаются частью обязательной истории | Слоты очищаются и безопасно используются повторно |
| Proof of work | Упорядочивает журнал исполнения | Упорядочивает переходы State с доказанной корректностью |
| Постквантовый переход | Требует замены схемы владения | В консенсусе транзакций нет схемы на эллиптических кривых |
Один переход — одно доказательство
При отправке NOID кошелёк выбирает свои UTXO и создаёт одну атомарную
транзакцию PagedSpend. Для пары {logical_txid, input_owner} он строит новое
рандомизированное доказательство авторизации, скрывающее свидетеля. 256-битный
секрет расходования никогда не покидает кошелёк.
Авторизация не зависит от State: она не содержит путь Merkle UTXO и не
привязана к одному корню State. Публичным свидетелем служит Live State,
которым располагает майнер. Отдельно майнер доказывает, что каждый вход существует, каждый
выходной слот свободен, баланс значений и комиссии точны, а полученные корень и
счётчики State вычислены корректно.
Мемпул проверяет полную логическую транзакцию до её ретрансляции. Майнер объединяет
принятые транзакции, точный переход State и предыдущее
терминальное доказательство в следующий HistoryStep.
Сначала он доказывает не зависящую от nonce часть блока и только
после этого ищет PoW nonce.
Пиры получают один атомарный пакет
{block, HistoryStep terminal}. Они
проверяют доказательство и соответствие nonce целевому значению, а затем
применяют доказанные записи слотов к
локальному UTXO-набору. Результат материализуется без повторного исполнения
логики транзакций.
Полная схема прохождения транзакции и блока →
Майнинг требует State
Одной вычислительной мощности недостаточно для создания блоков. Майнинг
требует State; поиск nonce начинается только после завершения доказательства.
Независимый майнер следует за канонической цепочкой, хранит Live State,
выбирает транзакции и доказывает точный следующий HistoryStep.
Лишь после завершения доказательства встроенный или внешний вычислитель может
искать nonce неизменяемого заголовка Poseidon2b. Отдельный хэш-движок не
способен создать блок или изменить переход, над которым он работает.
Поэтому майнинговая инфраструктура одновременно является сетевой: независимый производитель блоков — это доказывающая полная нода с подключённой вычислительной мощностью, а не просто устройство перебора nonce.
Как устроен майнинг и как запустить майнер →
Настоящее, которое доказывает само себя
Каждый HistoryStep доказывает отношение текущего блока и внутри того же
отношения проверяет предыдущее терминальное доказательство. Размер доказательства и работа
проверяющей стороны не растут вместе с высотой цепочки.
Активная нода хранит Live State, компактные заголовки для подсчёта накопленной
работы и тела последних 42 канонических блоков для конкурирующих майнеров и
реорганизаций. Подключающаяся нода аутентифицирует финализированный State
соответствующим терминальным доказательством, затем проверяет одно рекурсивное
терминальное доказательство на вершине недавнего суффикса и применяет связанные
тела.
Parano1d не зависит от истории, но не является системой без состояния.
Передача Live State масштабируется вместе с текущим UTXO-набором. От возраста
цепочки больше не зависит объём исполнения, необходимый для доказательства
корректности этого State.
Владение без подписей
Адрес — это образ 256-битного секрета расходования в Poseidon2b. Владение доказывается с нулевым разглашением как знание этого прообраза, привязанное ко всей логической транзакции. В сети нет ни открытого ключа, ни подписи транзакции.
Капсула авторизации независимо рандомизируется при каждом расходовании, даже если один адрес используется повторно. Консенсус транзакций не содержит эллиптических кривых. Ключ Ed25519 в libp2p идентифицирует только пир и не даёт никаких прав на средства или консенсус.
Parano1d прозрачен и не является приватным блокчейном. Значения, владельцы и ретранслируемые транзакции публичны. Нулевое разглашение защищает секрет расходования. Протокол сокращает штатный срок хранения тел транзакций, но не может помешать третьим сторонам архивировать публичные транзакции.
Live State
State представляет собой точный разреженный вектор индексированных UTXO вместе
со счётчиками консенсуса, необходимыми для его однозначной интерпретации.
При расходовании слот очищается, а аллокатор использует свободные позиции
раньше, чем открывает новое пространство State. Каждый выход получает
новый creation_id, поэтому повторное использование индекса никогда не
оживит старую ссылку.
Вектор разделён на сегменты по 2^16 слотов. Пустые сегменты виртуальны, а
сегмент исчезает после расходования последнего UTXO. Домен слотов начинается с
2^24 и может расширяться без копирования State, переноса выходов и
остановки сети.
Комиссия различает обычный ввод-вывод и чистый прирост State. Компонент за
рост State увеличивается вместе с заполнением и сжигается; при
консолидации плата за рост отсутствует. После расширения домена награда за блок
сокращается вдвое, но никогда не опускается ниже 1 NOID.
Единый бинарный стек доказательств
Арифметика зафиксированных трасс использует бинарное башенное
поле GF(2^128). Штатный
слой C1 с расширенным пространством вызовов переносит вызовы Fiat–Shamir, терминальные утверждения и
аутентификацию рекурсивных регионов в GF(2^256). Одна перестановка Poseidon2b
используется для адресов, транзакций, деревьев Merkle, корней State,
транскриптов, идентификаторов
блоков и PoW.
FROST-GKR упаковывает пакеты Poseidon2b и Merkle-пути в прямые отношения
степени семь на общих булевых гиперкубах. Пакетные
sumcheck, zerocheck и lincheck
и FRI-Binius замыкают бинарное отношение R1CS без доверенной настройки.
Авторизация кошелька, точный переход State и рекурсивная проверка цепочки
компонуются внутри одной арифметической системы, а не соединяются постфактум из
разных систем доказательств.
Корректность и стойкость
| Криптографическое утверждение | Текущий штатный результат |
|---|---|
| Целевая стойкость FRI | 128 бит |
| Доказуемая стойкость FS-FRI по Block–Tiwari | 127 бит |
| Предполагаемая стойкость FS-FRI по Block–Tiwari | 127 бит |
| Последовательная граница в идеальной QROM при вероятности успеха 1/2 | 64,707407428576 бита |
| Категория постквантовой криптографии NIST | Category 1 |
| Доминирующая нижняя граница произведения числа вентилей на глубину для Category 1 | 173,391078499301 бита |
Запас относительно ориентира NIST 2^170 |
3,391078499301 бита |
| Полная верхняя оценка в идеальной модели на ресурсной границе Category 1 | 0,049330348228363684 |
Block и Tiwari определяют конкретную стойкость FS-FRI как минимум ожидаемой классической работы в запросах к случайному оракулу по всем положительным целочисленным бюджетам запросов. Для штатных профилей B25 и B255 их определения и целочисленное представление дают 127 доказуемых и 127 предполагаемых бит. Полный расчёт и сравнение с опубликованными системами приведены в доказательстве по Block–Tiwari.
Отдельная сквозная игра корректности проверяет, способен ли один квантовый
противник, сохраняющий состояние между запросами, заставить штатную проверяющую
сторону принять недопустимый терминальный State в конце рекурсивной цепочки доказательств от
генезиса. При выполнении указанных в теореме предпосылок для фиксированной
Poseidon2b, пакетной цены произведения числа вентилей на глубину и платы по
числу вентилей за скалярный ответ сквозная постквантовая корректность проверки
текущего состояния сети доказана от генезиса на уровне NIST PQC Category 1.
Отдельный аудит содержит полные конструкции ответов и ограниченную снизу оценку
скалярного ответа. См. доказательство QROM и Category 1,
учёт ресурсов ответа
и модель безопасности.
Профиль протокола
| Параметр | Значение |
|---|---|
| Средний целевой интервал блока | 20 секунд |
| Стандартный класс майнера | B25, m=22, до 25 эффективных позиций страниц |
| Большой класс майнера | B255, m=24, до 255 эффективных позиций страниц |
| Максимум логических транзакций в блоке | 255 |
| Максимальная пропускная способность одностраничных транзакций | 12,75 TPS |
| Максимум входов одной транзакции | 1 020 |
| Максимум выходов одной транзакции | 256 |
| Суффикс недавних блоков и реорганизаций | 18 блоков |
Домен State |
от 2^24 до 2^32 слотов |
Начало работы
- Установите нативный GUI-кошелёк из последнего релиза. Он включает и самостоятельно управляет собственной полной нодой.
- Прочитайте обзор архитектуры, чтобы проследить
путь транзакции от кошелька до принятого
State. - Запустите обычную ноду в Linux.
- Запустите встроенный или внешний майнер.
- Изучите или соберите исходный код с закреплённой версией Rust toolchain.
Исходный код является каноническим определением поведения консенсуса. Спецификация протокола описывает эти правила в стабильной форме, не зависящей от конкретной реализации.