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