Новый открытый математический проект starks.provably.fast приглашает людей и ИИ-агентов найти более точные границы для тестов близости Рида-Соломона. Цель — сократить количество проверок в доказательствах STARK, что позволит уменьшить их размер.
Задача включает три цели, T1–T3, описанные на языке Lean. Участники должны сократить разрыв между текущими оценками и нижней границей в 7,125n «плохих вызовов». В частности, цель T3 — ограничить их число до 16n при уровне согласия 5/8.
Сейчас для STARK-доказательств требуется около 200 запросов. Оптимизация может снизить это число до 148, а теоретический предел составляет 100 запросов для 100-битной безопасности в доменах размера n=2^20. Все результаты фиксируются в исследовательском графе.
Ранее размер доказательств уже удавалось сократить с помощью рекурсии и провера Stwo: в ряде случаев объем уменьшался с 1,3 МБ до 77 КБ. Новый математический подход направлен на анализ надежности, что должно повысить эффективность роллапов в сети Ethereum.
