Глоссарий

Адрес

Представление образа 256-битного секрета расходования в Poseidon2b. В интерфейсах Parano1d адрес кодируется строкой bech32m вида o1….

Активный адрес

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

Атомарная денежная единица (μNOID)

Минимальная денежная единица протокола. Один NOID равен 1 000 000 μNOID.

B64 / B255

Два класса доказательства HistoryStep для разной вместимости блока. B64 поддерживает до 64 пользовательских страниц, B255 — до 255; оба класса доказывают одно и то же отношение.

BaseFold

Протокол полиномиальных обязательств на основе кодирования и свёртки, применяемый в бинарном стеке доказательств Parano1d вместе с FRI-Binius.

Binius

Семейство протоколов доказательств над бинарными полями. В Parano1d его компоненты используются для сведения и проверки полиномиальных отношений над бинарным башенным полем.

DNS-сид

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

FRI

Прозрачный протокол проверки близости функции к полиному низкой степени. Он не требует доверенной настройки и является частью полиномиального стека доказательств Parano1d.

FROST-GKR

Сведение по столбцам, зафиксированным криптографическими обязательствами. Оно выражает пакетные отношения Poseidon2b и Merkle на общих булевых гиперкубах и сводит их с помощью многолинейного протокола sumcheck.

GossipSub

Протокол широковещательной P2P-рассылки из семейства libp2p. В Parano1d через него распространяются логические транзакции и объявления блоков; крупные данные синхронизации передаются отдельным протоколом «запрос — ответ».

HistoryStep

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

IOP

Интерактивное доказательство с оракульным доступом (Interactive Oracle Proof). Проверяющая сторона запрашивает ограниченное число позиций в закодированном представлении, а не читает его целиком.

JSON-RPC / RPC

Локальный программный интерфейс ноды, кошелька и внешнего майнера. JSON-RPC задаёт формат вызовов и ответов, а доступ к нему по умолчанию ограничен локальным интерфейсом.

Live State

Актуально материализованный State, который работающая нода хранит, проверяет и передаёт новым нодам. Название не следует переводить буквально; оно не отменяет необходимость хранить текущее множество UTXO.

MDBX

Встраиваемая транзакционная база данных, в которой нода хранит канонический State, метаданные цепочки, заголовки и ограниченные данные отката.

Merkle-дерево, корень и путь

Хеш-дерево, корень которого криптографически фиксирует все листья. Путь Merkle содержит соседние хеши, необходимые для проверки включения одного листа без передачи всего дерева.

P2P и пир

P2P — одноранговая сеть без обязательного центрального сервера. Пир — удалённая нода, с которой установлено такое соединение.

PagedSpend

От одной до 128 упорядоченных страниц Tx8x2, объединённых в одну атомарную логическую транзакцию кошелька.

PCS

Схема полиномиальных обязательств (Polynomial Commitment Scheme). Она позволяет сначала зафиксировать полином, а затем доказать заявленные значения этого полинома без раскрытия всех его коэффициентов или значений.

Poseidon2b

Перестановка Poseidon2 над бинарным башенным полем GF(2^128), используемая в Parano1d для адресов, транзакций, деревьев Merkle, обязательств, идентификаторов блоков, транскриптов и proof of work. Суффикс b обозначает бинарную арифметическую среду проекта.

Proof of work (PoW)

Доказательство выполнения работы, которое упорядочивает уже доказанные переходы и выбирает ветвь с наибольшей накопленной работой. В Parano1d поиск nonce начинается только после построения доказательства HistoryStep.

Proof-native Layer 1

Архитектура сети первого уровня, в которой доказательства являются обязательными объектами консенсуса. Каждый принятый блок доказывает точный переход State и проверяет предыдущее терминальное доказательство HistoryStep; proof of work упорядочивает только допустимые переходы.

R1CS

Система ограничений ранга один (Rank-1 Constraint System): представление арифметического вычисления в виде набора билинейных равенств. В Parano1d используется бинарное отношение R1CS.

RBR-анализ

Анализ корректности по раундам (round-by-round soundness), который отдельно ограничивает вероятность ошибки в каждом раунде интерактивного протокола, а затем даёт общую верхнюю границу в рамках указанной модели.

State

Точный канонический объект UTXO: разреженный индексированный вектор и счётчики консенсуса, зафиксированные текущим заголовком блока. Написанное с заглавной буквы слово State обозначает именно этот объект протокола, а не статус интерфейса или процесса.

Tx8x2

Фиксированная физическая страница транзакции с восемью возможными входами и двумя возможными выходами.

UTXO

Неизрасходованный выход транзакции (Unspent Transaction Output). В Parano1d это занятая запись State, содержащая сумму, владельца и creation_id.

Аллокатор слотов

Детерминированный механизм выбора свободных позиций для новых UTXO. Сначала он использует освобождённые слоты и только затем открывает новое пространство State.

Бинарное башенное поле

Конечное поле GF(2^128), построенное как башня расширений над GF(2). В нём выполняется арифметика основной системы доказательств Parano1d.

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

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

Доказательство с нулевым разглашением

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

Доказывающая и проверяющая стороны

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

Домен State

Диапазон допустимых индексов слотов, равный 2^log_slots. В Parano1d log_slots изменяется от 24 до 32.

Жёсткая финальность

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

Идентификатор блока (Block ID)

Хеш Poseidon2b полного канонического заголовка, включая nonce, с отдельным доменным тегом. Используется для родительских ссылок и идентификации цепи.

Идентификатор создания (Creation ID)

Новый идентификатор, назначаемый при записи UTXO в слот. Он не позволяет устаревшей ссылке потратить следующего владельца того же числового слота.

Капсула авторизации

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

Корректность доказательства

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

Криптографическое обязательство и открытие

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

Логическая транзакция

Один атомарный PagedSpend, который может состоять из нескольких физических страниц, но имеет один идентификатор и одну авторизацию кошелька.

Манифест снимка

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

Мастер-секрет

Локальный 256-битный корень, из которого кошелёк детерминированно получает индексированные секреты расходования и адреса. Потеря мастер-секрета означает потерю доступа к средствам.

Материализация

Запись уже доказанных изменений канонических слотов в точный локальный State полной ноды. Не следует путать с вычислением или доказательством перехода.

Мемпул

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

Мультиадрес libp2p (multiaddress)

Самоописывающий сетевой адрес libp2p, в котором одной строкой задаются транспорт, IP-адрес или DNS-имя, порт и при необходимости идентификатор пира.

Независимая от истории проверка (history-stateless)

Проверка текущего State не требует воспроизводить исторические транзакции. Нода всё равно хранит и передаёт Live State, поэтому система не является системой без состояния.

Nonce

Одноразовое 128-битное поле заголовка, которое майнер перебирает при поиске PoW. Изменение nonce не меняет уже доказанный семантический заголовок.

Окно хранения тел блоков

Последние 18 полностью принятых блоков, для которых нода обслуживает полные данные транзакций. Канонические заголовки хранятся постоянно.

Пиринговый протокол «запрос — ответ»

Типизированный обмен libp2p, в котором один пир запрашивает конкретный объект, а другой возвращает ограниченный ответ. Через него передаются данные синхронизации, которые не следует помещать в широковещательный gossip.

Полиномиальные протоколы sumcheck, zerocheck и lincheck

sumcheck сводит утверждение о сумме значений многолинейного полинома к проверкам в случайной точке. zerocheck проверяет тождественное равенство нулю на булевом гиперкубе. lincheck проверяет линейные отношения между зафиксированными полиномами.

Полнота доказательства

Свойство completeness: корректно сформированное доказательство истинного утверждения принимается честной проверяющей стороной.

Полная нода

Сетевая нода, которая независимо проверяет правила консенсуса, хранит Live State и заголовки и ретранслирует допустимые данные. В документации используется термин «нода» (node).

Принятый пакет блока (accepted block bundle)

Атомарная пара канонических байтов блока и соответствующего терминального доказательства HistoryStep. Ни одна из частей не принимается отдельно.

Предполагаемая оценка (conjectured)

Численная оценка, зависящая от явно указанной аналитической гипотезы, а не от полного доказательства для произвольного противника. В документации Parano1d это уточнение сохраняется рядом со значением.

PoW-майнер и доказывающая нода

Доказывающая нода выбирает транзакции, строит точный переход State и доказательство HistoryStep. Майнер PoW перебирает nonce уже подготовленного заголовка; эти роли могут выполняться одним процессом или нодой и внешним вычислителем.

Разделение доменов

Использование разных фиксированных тегов для разных назначений одной хеш-функции. Это не позволяет принять хеш объекта одного типа за хеш объекта другого типа.

Реорганизация

Замена недавнего канонического суффикса другой допустимой ветвью с большей накопленной работой. Жёсткая финальность ограничивает глубину такой замены.

Рекурсивное доказательство

Доказательство, отношение которого проверяет предыдущее доказательство. В HistoryStep это связывает последовательность переходов без роста размера терминального доказательства вместе с высотой цепочки.

Сегмент State

Группа из 2^16 последовательных слотов. Сегмент физически хранится только при наличии активного UTXO; пустой сегмент представлен каноническим корнем пустого поддерева.

Семантический идентификатор заголовка (Semantic header ID)

Проекция заголовка без nonce, связанная внутри HistoryStep. Она фиксирует все остальные поля заголовка, значимые для консенсуса.

Свидетель

Свидетель (witness) — данные, которыми располагает доказывающая сторона для построения доказательства. В авторизации кошелька свидетелем служит секрет расходования. При построении блока роль свидетеля выполняет публично доступный State.

Сжигаемая комиссия за рост State

Часть комиссии за чистое увеличение числа занятых слотов UTXO. Она зависит от заполнения State и не может быть получена майнером.

Слот

Одна индексированная позиция точного разреженного вектора UTXO. Пустой слот может быть безопасно использован повторно с новым creation_id.

Снимок

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

Терминальное доказательство HistoryStep

Результат рекурсивного доказательства фиксированного формата для текущего HistoryStep.

Транзакция награды (coinbase)

Системная транзакция без пользовательских входов, создающая предусмотренную протоколом выплату майнеру. Флаг --coinbase задаёт адрес такой выплаты для внешнего майнинга.

Транскрипт доказательства

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

Доверенная настройка

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

Toy Problem

Гипотетическая модель, используемая Plonky2 и RISC Zero для перевода кодовой скорости, числа запросов и предварительного перебора в предполагаемую оценку стойкости FRI. Название модели и пометка conjectured сохраняются при сравнении значений.