В последние годы тенденция в проектировании протоколов STARKs заключается в переходе на использование меньших полей. Первоначальные реализации STARKs использовали 256-битные поля, но такая конструкция имела низкую эффективность. Для повышения эффективности STARKs начали использовать более мелкие поля, такие как Goldilocks, Mersenne31 и BabyBear.
Проблема использования меньших полей заключается в том, что существует только около 2 миллиардов возможных случайных значений на выбор, что является выполнимым для злоумышленников, желающих подделать доказательства. Решения включают в себя проведение нескольких случайных проверок или расширение поля.
Circle STARKs предлагает эффективный метод реализации FRI на малых полях, таких как Mersenne31. Он использует особые свойства точек на окружности для построения группы размером p с характеристиками, похожими на двустороннее отображение.
! [Новая работа Виталика: Исследуйте круглые СТАРКИ (https://img-cdn.gateio.im/webp-social/moments-b32679a50fc463cfc1c831d30ab2d7e2.webp)
Ключевые технологии Circle STARKs включают:
Используйте точки на круге для расчетов, а не одно число
Специальное отображение 2 в 1 для уменьшения размера набора данных
Алгоритм Circle FFT для обработки пространства Римана-Роша
Улучшенные коммерческие расчеты и конструкции исчезающих многочленов
По сравнению с обычными STARKs, Circle STARKs концептуально не намного сложнее. Они предоставляют разработчикам способ создания эффективных STARKs на малых полях, что, как ожидается, позволит достичь предела эффективности базового уровня STARKs.
Circle STARKs представляет собой важный прогресс в технологии STARK, который открывает новые возможности для создания эффективных систем доказательства с нулевым знанием на малых полях.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
Circle STARKs: прорывная технология эффективных нулевых доказательств с малым полем
Исследование Circle STARKs
В последние годы тенденция в проектировании протоколов STARKs заключается в переходе на использование меньших полей. Первоначальные реализации STARKs использовали 256-битные поля, но такая конструкция имела низкую эффективность. Для повышения эффективности STARKs начали использовать более мелкие поля, такие как Goldilocks, Mersenne31 и BabyBear.
Проблема использования меньших полей заключается в том, что существует только около 2 миллиардов возможных случайных значений на выбор, что является выполнимым для злоумышленников, желающих подделать доказательства. Решения включают в себя проведение нескольких случайных проверок или расширение поля.
! Новая работа Виталика: исследование круга STARKs
Circle STARKs предлагает эффективный метод реализации FRI на малых полях, таких как Mersenne31. Он использует особые свойства точек на окружности для построения группы размером p с характеристиками, похожими на двустороннее отображение.
! [Новая работа Виталика: Исследуйте круглые СТАРКИ (https://img-cdn.gateio.im/webp-social/moments-b32679a50fc463cfc1c831d30ab2d7e2.webp)
Ключевые технологии Circle STARKs включают:
! Новая работа Виталика: исследование круга STARKs
По сравнению с обычными STARKs, Circle STARKs концептуально не намного сложнее. Они предоставляют разработчикам способ создания эффективных STARKs на малых полях, что, как ожидается, позволит достичь предела эффективности базового уровня STARKs.
! Новая работа Виталика: Исследование круга СТАРКОВ
Будущие оптимизации STARKs могут включать в себя:
! Новая работа Виталика: Исследование круговых СТАРКОВ
Circle STARKs представляет собой важный прогресс в технологии STARK, который открывает новые возможности для создания эффективных систем доказательства с нулевым знанием на малых полях.
! Новое творение Виталика: исследование круга STARKs