https://lab.parano1d.org/ru/Статьи, протокольные разработки, воспроизводимые инженерные исследования и результаты O(1) Lab.ruSat, 01 Aug 2026 15:58:14 GMThttps://lab.parano1d.org/ru/research/parano1d-soundness-industry-metrics/https://lab.parano1d.org/ru/research/parano1d-soundness-industry-metrics/Fri, 31 Jul 2026 12:00:00 GMTКорректность доказательствПараметры рабочей реализации оценены по метрикам Plonky2, RISC Zero и ethSTARK; гипотетические оценки отделены от конечных границ, опирающихся на теоремы.https://lab.parano1d.org/ru/research/frost-gkr-global-trace-protocol/https://lab.parano1d.org/ru/research/frost-gkr-global-trace-protocol/Fri, 31 Jul 2026 12:00:00 GMTСистемы доказательствТрасса из трёх столбцов, зафиксированных обязательствами, сводит весь пакет вычислений Poseidon2b к двум проверкам sumcheck.https://lab.parano1d.org/ru/research/b64-b255-proof-classes/https://lab.parano1d.org/ru/research/b64-b255-proof-classes/Fri, 17 Jul 2026 12:00:00 GMTРекурсивное доказательствоHistoryStep — рекурсивное доказательство перехода состояния блока. B64 обрабатывает до 64 пользовательских страниц транзакций и укладывается в бюджет подготовки на эталонном ноутбуке; B255 расширяет то же отношение до предельных 255 страниц блока. Измерения не выявили полезного диапазона для третьего класса.https://lab.parano1d.org/ru/research/atomic-history-step/https://lab.parano1d.org/ru/research/atomic-history-step/Wed, 15 Jul 2026 12:00:00 GMTКонсенсусРанний вариант сначала принимал блок, а его рекурсивное доказательство строил позже в фоне. Поэтому каноническая цепь могла опережать вершину, уже подтверждённую HistoryStep, и узлу приходилось сохранять и восстанавливать отдельную очередь. В принятой архитектуре блок принимается только вместе со своим HistoryStep: один атомарный объект, одна каноническая высота и никаких отложенных доказательств.https://lab.parano1d.org/ru/research/prove-once-search-nonces/https://lab.parano1d.org/ru/research/prove-once-search-nonces/Wed, 15 Jul 2026 12:00:00 GMTМайнингHistoryStep связывает все семантические поля заголовка в области без nonce. PoW может изменять nonce, не перестраивая доказательство перехода.https://lab.parano1d.org/ru/research/proof-carrying-state-sync/https://lab.parano1d.org/ru/research/proof-carrying-state-sync/Sun, 12 Jul 2026 12:00:00 GMTProof-carrying StateПодключающийся узел проверяет заголовки и одно рекурсивное доказательство переходов на финализированной границе, устанавливает точный Live State и применяет не более восемнадцати последних блоков.https://lab.parano1d.org/ru/research/utxo-incarnations/https://lab.parano1d.org/ru/research/utxo-incarnations/Fri, 10 Jul 2026 12:00:00 GMTLive StateМонотонный идентификатор создания в существующем поле значения делает устаревшие открытия слотов недействительными без второго корня консенсуса и карантина повторного использования.https://lab.parano1d.org/ru/research/binary-field-kernels/https://lab.parano1d.org/ru/research/binary-field-kernels/Thu, 09 Jul 2026 12:00:00 GMTБинарные поляPCLMUL, VPCLMUL, AVX-512 и PMULL выполняют одну и ту же арифметику GF(2¹²⁸), не меняя представление свидетеля или байты доказательства.https://lab.parano1d.org/ru/research/single-global-walk/https://lab.parano1d.org/ru/research/single-global-walk/Mon, 06 Jul 2026 12:00:00 GMTРекурсивное доказательствоИзмерение полной композиции показало, что независимые проходы проверяющей стороны увеличивали потребление памяти свыше 30 ГБ. Общая область устранила этот множитель.https://lab.parano1d.org/ru/research/recursive-fixed-point/https://lab.parano1d.org/ru/research/recursive-fixed-point/Sun, 05 Jul 2026 12:00:00 GMTРекурсивное доказательствоКласс с областью ограничений из 2^23 позиций рекурсивно замыкается: каждое доказательство проверяет предшественника с той же аутентифицированной матрицей и той же формой публичных данных.https://lab.parano1d.org/ru/research/authstream-proof-compiler/https://lab.parano1d.org/ru/research/authstream-proof-compiler/Sun, 28 Jun 2026 12:00:00 GMTИнженерия доказательствПотоковая компиляция обработала 14–16 МиБ приватных данных авторизации с ограниченным потреблением памяти и накладными расходами 4,7%. Исследованное итоговое доказательство не уложилось в допустимую задержку рабочей сети.https://lab.parano1d.org/ru/research/merkle-fusion-negative-result/https://lab.parano1d.org/ru/research/merkle-fusion-negative-result/Thu, 25 Jun 2026 12:00:00 GMTИнженерия доказательствОбъединение двух отношений Merkle сэкономило 5,94 КБ, но увеличило общую многолинейную трассу и убрало параллелизм. Время доказательства выросло с 2,68 до 4,50 секунды.https://lab.parano1d.org/ru/research/owner-batched-authorization/https://lab.parano1d.org/ru/research/owner-batched-authorization/Wed, 24 Jun 2026 12:00:00 GMTАвторизация кошелькаПубличная арифметика транзакции относится к отношению блока. Кошелёк доказывает один закрытый факт — владение средствами — даже если расходование содержит 1 020 входов.https://lab.parano1d.org/ru/research/binding-a-mixed-opening/https://lab.parano1d.org/ru/research/binding-a-mixed-opening/Sun, 21 Jun 2026 12:00:00 GMTПолиномиальные обязательстваТест с подменой A/A′ отделяет низкостепенную согласованность от связи с исходным обязательством. Корень источника и общие запросы восстанавливают эту связь.https://lab.parano1d.org/ru/research/pcs-implementation-trail/https://lab.parano1d.org/ru/research/pcs-implementation-trail/Sun, 21 Jun 2026 12:00:00 GMTПолиномиальные обязательстваLadder FRI выявил стоимость доказательства в байтах, FRI-Binius — проблему привязки к исходному обязательству, а BaseFold — стоимость включения проверяющей схемы в следующее доказательство.