Parano1d Lab · Технические исследования
Криптографические протоколы, архитектуры проверяемого состояния и результаты исследований, полученные при разработке Parano1d.
01 · Новое
Как v2 расширяет живую стоимость до программируемых прав: авторизация без подписей, постквантовая защита при опубликованных предпосылках, обязательства программ и счётчиков, общее рекурсивное доказательство исполнения, шесть шаблонов, переносимые квитанции и восстановление после офлайн-периода.
Проверяйте настоящее. Знайте свои права. Храните доказательства. Стройте для тех, кто придёт после нас.
Каждый участник проверяет средства и полномочия через собственный Agent Core и обменивается проверяемыми чеками с другими агентами. Эксплорер или чужой API не определяет, что считать валидным. Parano1d делает это практичным без скачивания и повторного исполнения всей истории транзакций сети.
Новые работы о Poseidon2b, закладках в матрицах, Fiat-Shamir и границах soundness. Проверяем их на параметрах работающей сети.
Два класса блока, одно контрактное ядро и цель 30 секунд. Вычислительный бюджет становится явным профилем сети.
Высота определяет эмиссию, заполненность — цену живого хранения. Почему мы изменили исходный график и сохранили стимул экономить State.
Сеть не должна становиться менее децентрализованной только потому, что стареет.
Безопасность относится к точной инстанциации. Фиксируем GF(2^128), ширину четыре, матрицы, 8+58 раундов и feed-forward mode, затем применяем опубликованные атаки.
Может ли блокчейн проверить своё текущее состояние, не воспроизводя всю историю исполнения от genesis?
Исполняемая сквозная теорема охватывает рекурсивное доказательство состояния целиком (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 · Избранные работы
