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