В последние годы тенденция проектирования протоколов STARKs заключается в переходе к использованию более мелких математических полей. Первые реализации STARKs использовали 256-битное поле, но такая конструкция менее эффективна. Чтобы повысить скорость доказательства, STARKs начали использовать более мелкие поля, такие как Goldilocks, Mersenne31 и BabyBear.
Использование малых полей может значительно увеличить скорость доказательства, но также приводит к некоторым проблемам с безопасностью. Основная проблема заключается в том, что количество выборочных случайных значений в малых полях ограничено, что упрощает их угадывание злоумышленниками. Для решения этой проблемы существует два подхода: проводить многократные случайные проверки или использовать расширенные поля.
Circle STARKs — это умное решение, которое реализует эффективный протокол FRI на поле Mersenne31. Circle STARKs использует геометрические свойства круговой группы для построения системы доказательства, аналогичной обычному FRI.
Ключевые моменты Circle STARKs включают:
Используйте двустороннее отображение на круговой группе вместо квадратного отображения в обычном FRI.
Сжать многочлен в одноразмерное пространство для обработки
Разработан специальный алгоритм Circle FFT
Использование различных коммерческих операций и методов построения исчезающих многочленов
По сравнению с обычными STARK, Circle STARK концептуально не намного сложнее. Он скрывает сложную математику, и разработчики могут использовать его так же, как обычные STARK.
Circle STARKs в сочетании с полем Мерсенна 31 может реализовать очень эффективную систему доказательств. Это в полной мере использует преимущества 31-битного простого поля, уменьшая затраты по пространству.
Circle STARKs является умным и эффективным вариантом STARK, который предлагает новый подход к созданию более быстрых и более практичных систем нулевых знаний.
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
Circle STARKs: Использование геометрии круговых групп для повышения эффективности zk-SNARKs
Исследование Circle STARKs
В последние годы тенденция проектирования протоколов STARKs заключается в переходе к использованию более мелких математических полей. Первые реализации STARKs использовали 256-битное поле, но такая конструкция менее эффективна. Чтобы повысить скорость доказательства, STARKs начали использовать более мелкие поля, такие как Goldilocks, Mersenne31 и BabyBear.
Использование малых полей может значительно увеличить скорость доказательства, но также приводит к некоторым проблемам с безопасностью. Основная проблема заключается в том, что количество выборочных случайных значений в малых полях ограничено, что упрощает их угадывание злоумышленниками. Для решения этой проблемы существует два подхода: проводить многократные случайные проверки или использовать расширенные поля.
! Новая работа Виталика: исследование круга STARKs
Circle STARKs — это умное решение, которое реализует эффективный протокол FRI на поле Mersenne31. Circle STARKs использует геометрические свойства круговой группы для построения системы доказательства, аналогичной обычному FRI.
Ключевые моменты Circle STARKs включают:
! Новая работа Виталика: исследование круга STARKs
По сравнению с обычными STARK, Circle STARK концептуально не намного сложнее. Он скрывает сложную математику, и разработчики могут использовать его так же, как обычные STARK.
! Новая работа Виталика: Исследование круга СТАРКОВ
Circle STARKs в сочетании с полем Мерсенна 31 может реализовать очень эффективную систему доказательств. Это в полной мере использует преимущества 31-битного простого поля, уменьшая затраты по пространству.
! Новая работа Виталика: Исследование круговых СТАРКОВ
Будущие направления оптимизации STARKs могут включать:
! Новая работа Виталика: Exploring Circle STARKs
Circle STARKs является умным и эффективным вариантом STARK, который предлагает новый подход к созданию более быстрых и более практичных систем нулевых знаний.