Корректность ParanO(1)d в отраслевых метриках
Параметры рабочей реализации оценены по метрикам Plonky2, RISC Zero и ethSTARK; гипотетические оценки отделены от конечных границ, опирающихся на теоремы.
Архив исследований
Все исследования
Статьи, заметки о протоколах, инженерные исследования и полученные результаты. Материалы упорядочены по дате фиксации результата.
↗
FROST-GKR: протокол глобальной трассы для пакетного Poseidon2b
Трасса из трёх столбцов, зафиксированных обязательствами, сводит весь пакет вычислений Poseidon2b к двум проверкам sumcheck.
Почему HistoryStep использует два класса доказательств
HistoryStep — рекурсивное доказательство перехода состояния блока. B64 обрабатывает до 64 пользовательских страниц транзакций и укладывается в бюджет подготовки на эталонном ноутбуке; B255 расширяет то же отношение до предельных 255 страниц блока. Измерения не выявили полезного диапазона для третьего класса.
Почему блок принимается только с рекурсивным доказательством
Ранний вариант сначала принимал блок, а его рекурсивное доказательство строил позже в фоне. Поэтому каноническая цепь могла опережать вершину, уже подтверждённую HistoryStep, и узлу приходилось сохранять и восстанавливать отдельную очередь. В принятой архитектуре блок принимается только вместе со своим HistoryStep: один атомарный объект, одна каноническая высота и никаких отложенных доказательств.
Один раз доказать блок, затем искать nonce
HistoryStep связывает все семантические поля заголовка в области без nonce. PoW может изменять nonce, не перестраивая доказательство перехода.
Начальная синхронизация из proof-carrying State
Подключающийся узел проверяет заголовки и одно рекурсивное доказательство переходов на финализированной границе, устанавливает точный Live State и применяет не более восемнадцати последних блоков.
Идентификаторы поколений UTXO вместо карантина консенсуса
Монотонный идентификатор создания в существующем поле значения делает устаревшие открытия слотов недействительными без второго корня консенсуса и карантина повторного использования.
Один формат доказательства для четырёх аппаратных путей
PCLMUL, VPCLMUL, AVX-512 и PMULL выполняют одну и ту же арифметику GF(2¹²⁸), не меняя представление свидетеля или байты доказательства.
Один глобальный проход Poseidon вместо девяти проходов проверяющей стороны
Измерение полной композиции показало, что независимые проходы проверяющей стороны увеличивали потребление памяти свыше 30 ГБ. Общая область устранила этот множитель.
Рекурсивная проверяющая схема должна была поместиться внутрь самой себя
Класс с областью ограничений из 2^23 позиций рекурсивно замыкается: каждое доказательство проверяет предшественника с той же аутентифицированной матрицей и той же формой публичных данных.
AuthStream: ограничение нагрузки авторизации на весь блок
Потоковая компиляция обработала 14–16 МиБ приватных данных авторизации с ограниченным потреблением памяти и накладными расходами 4,7%. Исследованное итоговое доказательство не уложилось в допустимую задержку рабочей сети.
Доказательство стало на 20% меньше и на 68% медленнее
Объединение двух отношений Merkle сэкономило 5,94 КБ, но увеличило общую многолинейную трассу и убрало параллелизм. Время доказательства выросло с 2,68 до 4,50 секунды.
Один владелец — одно доказательство авторизации
Публичная арифметика транзакции относится к отношению блока. Кошелёк доказывает один закрытый факт — владение средствами — даже если расходование содержит 1 020 входов.
Привязка компактного смешанного открытия к исходному обязательству
Тест с подменой A/A′ отделяет низкостепенную согласованность от связи с исходным обязательством. Корень источника и общие запросы восстанавливают эту связь.
Три эксперимента с полиномиальными обязательствами и обнаруженные ими узкие места
Ladder FRI выявил стоимость доказательства в байтах, FRI-Binius — проблему привязки к исходному обязательству, а BaseFold — стоимость включения проверяющей схемы в следующее доказательство.
По выбранной теме исследований нет.