Практика протокола
ONETHICS ①
Проверяйте настоящее. Знайте свои права. Храните доказательства. Стройте для тех, кто придёт после нас.
PARANO1D LAB / Все статьи
Все исследования
Статьи, заметки о протоколах, инженерные исследования и полученные результаты. Материалы упорядочены по дате фиксации результата.
Все темы
Статей: 23
→
Прикладное исследование
Live Agents. Самостоятельность без доверия к чужому API.
Каждый участник проверяет средства и полномочия через собственный Agent Core и обменивается проверяемыми чеками с другими агентами.
Исследование безопасности
Сентябрьский отчёт по безопасности
Новые работы о Poseidon2b, закладках в матрицах, Fiat-Shamir и границах soundness. Проверяем их на параметрах работающей сети.
Архитектура протокола
Parano1d v2. От живой стоимости к живым правам
Proof-native смарт-контракты с постквантовой защитой: программируемые права остаются проверяемыми после удаления истории взаимодействий.
Проектирование протокола
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), параллельные квантовые запросы к оракулу, стоимость…
Анализ безопасности
Безопасность FS-FRI в Parano1d: анализ по Block–Tiwari
Точный анализ штатного рекурсивного доказательства State по методике Block–Tiwari даёт 127 доказуемых и 127 предполагаемых бит при целевом уровне 128 бит.
Статья
FROST-GKR: единая трасса для множества вычислений Poseidon2b
FROST-GKR объединяет 59 вычислений Poseidon2b в единую трассу. Обязательства фиксируют три столбца свидетеля, а 472 вызова sumcheck для проверки ограничений…
Исследование протокола
Почему блок принимается только с рекурсивным доказательством
Ранний вариант сначала принимал блок, а его рекурсивное доказательство строил позже в фоне. Поэтому каноническая цепь могла опережать вершину, уже…
Исследование протокола
Один раз доказать блок, затем искать 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 КБ, но увеличило общую многолинейную трассу и убрало параллелизм.
Конструкция протокола
Один владелец — одно доказательство авторизации
Один владелец создаёт одну капсулу авторизации со скрытием свидетеля для полной логической операции, а HistoryStep доказывает открытый переход State.
Исследование безопасности
Привязка компактного смешанного открытия к исходному обязательству
Cap источника Poseidon2b, аутентифицированные тензорные свёртки и общий набор запросов связывают каждое компактное открытие FRI с зафиксированными столбцами.
Сравнительное исследование
Три эксперимента с полиномиальными обязательствами и обнаруженные ими узкие места
Ladder FRI выявил стоимость доказательства в байтах, FRI-Binius — проблему привязки к исходному обязательству, а BaseFold — стоимость включения проверяющей…