The Present Must Prove the Past
Может ли блокчейн проверить своё текущее состояние, не воспроизводя всю историю исполнения от genesis?
Архив исследований
Все исследования
Статьи, заметки о протоколах, инженерные исследования и полученные результаты. Материалы упорядочены по дате фиксации результата.
↗
Децентрализация во времени
Сеть не должна становиться менее децентрализованной только потому, что стареет.
Poseidon2b безопасен!
Безопасность относится к точной инстанциации. Фиксируем GF(2^128), ширину четыре, матрицы, 8+58 раундов и feed-forward mode, затем применяем опубликованные атаки.
ONETHICS ①
Запускайте собственный верификатор. Не раздувайте общий State. Храните доказательства, которые важны вам.
Parano1d соответствует NIST PQC Category 1
Исполняемая сквозная теорема охватывает рекурсивное доказательство состояния целиком (end-to-end), параллельные квантовые запросы к оракулу, стоимость когерентного ответа Poseidon2b и все значения NIST MAXDEPTH.
Безопасность FS-FRI в Parano1d: анализ по Block–Tiwari
Точный анализ штатного рекурсивного доказательства State по методике Block–Tiwari даёт 127 доказуемых и 127 предполагаемых бит при целевом уровне 128 бит.
FROST-GKR: единая трасса для множества вычислений Poseidon2b
FROST-GKR объединяет 59 вычислений Poseidon2b в единую трассу. Обязательства фиксируют три столбца свидетеля, а 472 вызова sumcheck для проверки ограничений заменяются двумя.
Почему блок принимается только с рекурсивным доказательством
Ранний вариант сначала принимал блок, а его рекурсивное доказательство строил позже в фоне. Поэтому каноническая цепь могла опережать вершину, уже подтверждённую HistoryStep, и узлу приходилось сохранять и восстанавливать отдельную очередь. В принятой архитектуре блок принимается только вместе со своим HistoryStep: один атомарный объект, одна каноническая высота и никаких отложенных доказательств.
Один раз доказать блок, затем искать nonce
HistoryStep связывает все семантические поля заголовка в области без nonce. PoW может изменять nonce, не перестраивая доказательство перехода.
Начальная синхронизация из proof-carrying State
Подключающийся узел проверяет заголовки и одно рекурсивное доказательство переходов на финализированной границе, устанавливает точный Live State и применяет не более восемнадцати последних блоков.
Идентификаторы поколений UTXO вместо карантина консенсуса
Монотонный идентификатор создания в существующем поле значения делает устаревшие открытия слотов недействительными без второго корня консенсуса и карантина повторного использования.
Один формат доказательства для четырёх аппаратных путей
PCLMUL, VPCLMUL, AVX-512 и PMULL выполняют одну арифметику GF(2¹²⁸), не меняя раскладку свидетеля и байты доказательства.
Один глобальный проход Poseidon вместо девяти проходов рекурсивного верификатора
Три группы Link и шесть групп Block используют один упорядоченный 66-слойный проход Poseidon2b вместо девяти отдельных трасс рекурсивного верификатора.
AuthStream: ограничение нагрузки авторизации на весь блок
В прежней схеме на 255 авторизаций потоковая компиляция обработала 14–16 МиБ закрытых данных с накладными расходами 4,7%. Завершающее доказательство не уложилось в допустимую задержку.
Доказательство стало на 20% меньше и на 68% медленнее
Объединение двух отношений Merkle сэкономило 5,94 КБ, но увеличило общую многолинейную трассу и убрало параллелизм. Время доказательства выросло с 2,68 до 4,50 секунды.
Один владелец — одно доказательство авторизации
Один владелец создаёт одну капсулу авторизации со скрытием свидетеля для полной логической операции, а HistoryStep доказывает открытый переход State.
Привязка компактного смешанного открытия к исходному обязательству
Cap источника Poseidon2b, аутентифицированные тензорные свёртки и общий набор запросов связывают каждое компактное открытие FRI с зафиксированными столбцами.
Три эксперимента с полиномиальными обязательствами и обнаруженные ими узкие места
Ladder FRI выявил стоимость доказательства в байтах, FRI-Binius — проблему привязки к исходному обязательству, а BaseFold — стоимость включения проверяющей схемы в следующее доказательство.
По выбранной теме исследований нет.