Исследование Circle STARKs

В последние годы тенденция проектирования протоколов STARKs заключается в переходе к использованию более мелких математических полей. Первые реализации STARKs использовали 256-битное поле, но такая конструкция менее эффективна. Чтобы повысить скорость доказательства, STARKs начали использовать более мелкие поля, такие как Goldilocks, Mersenne31 и BabyBear.

Использование малых полей может значительно увеличить скорость доказательства, но также приводит к некоторым проблемам с безопасностью. Основная проблема заключается в том, что количество выборочных случайных значений в малых полях ограничено, что упрощает их угадывание злоумышленниками. Для решения этой проблемы существует два подхода: проводить многократные случайные проверки или использовать расширенные поля.

! Новая работа Виталика: исследование круга STARKs

Circle STARKs — это умное решение, которое реализует эффективный протокол FRI на поле Mersenne31. Circle STARKs использует геометрические свойства круговой группы для построения системы доказательства, аналогичной обычному FRI.

Ключевые моменты Circle STARKs включают:

1. Используйте двустороннее отображение на круговой группе вместо квадратного отображения в обычном FRI.
2. Сжать многочлен в одноразмерное пространство для обработки
3. Разработан специальный алгоритм Circle FFT
4. Использование различных коммерческих операций и методов построения исчезающих многочленов
5. Используйте измененный обратный порядковый номер.

! Новая работа Виталика: исследование круга STARKs

По сравнению с обычными STARK, Circle STARK концептуально не намного сложнее. Он скрывает сложную математику, и разработчики могут использовать его так же, как обычные STARK.

! Новая работа Виталика: Исследование круга СТАРКОВ

Circle STARKs в сочетании с полем Мерсенна 31 может реализовать очень эффективную систему доказательств. Это в полной мере использует преимущества 31-битного простого поля, уменьшая затраты по пространству.

! Новая работа Виталика: Исследование круговых СТАРКОВ

Будущие направления оптимизации STARKs могут включать:

• Оптимизация арифметики базовых криптографических примитивов, таких как хеш-функции.
• Использование рекурсивного построения для повышения параллелизма
• Улучшение арифметики виртуальной машины для повышения качества разработки

! Новая работа Виталика: Exploring Circle STARKs

Circle STARKs является умным и эффективным вариантом STARK, который предлагает новый подход к созданию более быстрых и более практичных систем нулевых знаний.