O(1) Lab · Технические исследования
Криптографические протоколы, архитектуры проверяемого состояния и результаты исследований, полученные при разработке ParanO(1)d.
01 · Новое
В исследовании параметры рабочей реализации ParanO(1)d оцениваются по классическим методикам Plonky2, RISC Zero и ethSTARK. Гипотетические оценки отделены от конечных границ, опирающихся на теоремы, а каждое опубликованное значение закреплено исполняемым расчётом на Rust. Сравнение проводится только внутри соответствующей метрики.
Трасса из трёх столбцов, зафиксированных обязательствами, сводит весь пакет вычислений Poseidon2b к двум проверкам sumcheck.
HistoryStep — рекурсивное доказательство перехода состояния блока. B64 обрабатывает до 64 пользовательских страниц транзакций и укладывается в бюджет подготовки на эталонном ноутбуке; B255 расширяет то же отношение до предельных 255 страниц блока. Измерения не выявили полезного диапазона для третьего класса.
Ранний вариант сначала принимал блок, а его рекурсивное доказательство строил позже в фоне. Поэтому каноническая цепь могла опережать вершину, уже подтверждённую HistoryStep, и узлу приходилось сохранять и восстанавливать отдельную очередь. В принятой архитектуре блок принимается только вместе со своим HistoryStep: один атомарный объект, одна каноническая высота и никаких отложенных доказательств.
HistoryStep связывает все семантические поля заголовка в области без nonce. PoW может изменять nonce, не перестраивая доказательство перехода.
Подключающийся узел проверяет заголовки и одно рекурсивное доказательство переходов на финализированной границе, устанавливает точный Live State и применяет не более восемнадцати последних блоков.
Монотонный идентификатор создания в существующем поле значения делает устаревшие открытия слотов недействительными без второго корня консенсуса и карантина повторного использования.
02 · Избранные работы