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