В последние годы проектирование протоколов STARKs стало стремиться к использованию более маленьких математических полей. Первоначальные реализации STARKs использовали 256-битные поля, но такая конструкция имеет низкую эффективность. Чтобы решить эту проблему, STARKs начали переходить на использование более маленьких полей, таких как Goldilocks, Mersenne31 и BabyBear.
Использование меньших полей создает некоторые проблемы, такие как вопросы безопасности. Решения включают проведение многократных случайных проверок и расширение полей. Расширенные поля похожи на множества, но основаны на конечном поле. Это позволяет нам выполнять более сложные вычисления в конечном поле, повышая безопасность.
Круговые STARKs — это изящное решение. Учитывая простое число p, можно найти группу размером p, обладающую аналогичными свойствами взаимного соответствия. Эта группа состоит из точек, удовлетворяющих определенным условиям, например, набором точек, для которых x^2 mod p равно какому-то определенному значению.
! [Новая работа Виталика: Исследуйте круглые СТАРКИ (https://img-cdn.gateio.im/webp-social/moments-b32679a50fc463cfc1c831d30ab2d7e2.webp)
Circle STARKs поддерживает алгоритм FFT, но обрабатываемые объекты не являются строго многочленами, а представляют собой математические объекты, называемые пространствами Римана-Роша. Разработчики могут практически полностью игнорировать этот факт и просто хранить многочлены как набор значений, оцениваемых на определённой области.
В Circle STARKs традиционные методы коммерческих вычислений требуют корректировки. Мы доказываем это, проводя оценку в двух точках, добавляя виртуальную точку, о которой не нужно беспокоиться.
Circle STARKs показывают отличные результаты с точки зрения эффективности. Они полностью используют пространство в вычислительных треках для полезной работы, уменьшая неиспользуемое пространство. Хотя Binius превосходит в некоторых аспектах, Circle STARKs концептуально проще.
В целом, Circle STARKs не сложнее обычных STARKs для разработчиков. Хотя базовая математика сложна, эта сложность хорошо скрыта. В будущем оптимизация STARKs может сосредоточиться на арифметизации криптографических примитивов, рекурсивных конструкциях и улучшении опыта разработчиков с виртуальными машинами.
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
20 Лайков
Награда
20
4
Поделиться
комментарий
0/400
GateUser-26d7f434
· 08-02 02:57
Технический прорыв в конечном итоге будет успешным
Circle STARKs: Эффективная и безопасная новая генерация zk-SNARKs технологий
Исследование Circle STARKs
В последние годы проектирование протоколов STARKs стало стремиться к использованию более маленьких математических полей. Первоначальные реализации STARKs использовали 256-битные поля, но такая конструкция имеет низкую эффективность. Чтобы решить эту проблему, STARKs начали переходить на использование более маленьких полей, таких как Goldilocks, Mersenne31 и BabyBear.
Использование меньших полей создает некоторые проблемы, такие как вопросы безопасности. Решения включают проведение многократных случайных проверок и расширение полей. Расширенные поля похожи на множества, но основаны на конечном поле. Это позволяет нам выполнять более сложные вычисления в конечном поле, повышая безопасность.
! Новая работа Виталика: исследование круга STARKs
Круговые STARKs — это изящное решение. Учитывая простое число p, можно найти группу размером p, обладающую аналогичными свойствами взаимного соответствия. Эта группа состоит из точек, удовлетворяющих определенным условиям, например, набором точек, для которых x^2 mod p равно какому-то определенному значению.
! [Новая работа Виталика: Исследуйте круглые СТАРКИ (https://img-cdn.gateio.im/webp-social/moments-b32679a50fc463cfc1c831d30ab2d7e2.webp)
Circle STARKs поддерживает алгоритм FFT, но обрабатываемые объекты не являются строго многочленами, а представляют собой математические объекты, называемые пространствами Римана-Роша. Разработчики могут практически полностью игнорировать этот факт и просто хранить многочлены как набор значений, оцениваемых на определённой области.
В Circle STARKs традиционные методы коммерческих вычислений требуют корректировки. Мы доказываем это, проводя оценку в двух точках, добавляя виртуальную точку, о которой не нужно беспокоиться.
! Новая работа Виталика: Исследование круга СТАРКОВ
Circle STARKs показывают отличные результаты с точки зрения эффективности. Они полностью используют пространство в вычислительных треках для полезной работы, уменьшая неиспользуемое пространство. Хотя Binius превосходит в некоторых аспектах, Circle STARKs концептуально проще.
! Новая работа Виталика: Исследование круговых СТАРКОВ
В целом, Circle STARKs не сложнее обычных STARKs для разработчиков. Хотя базовая математика сложна, эта сложность хорошо скрыта. В будущем оптимизация STARKs может сосредоточиться на арифметизации криптографических примитивов, рекурсивных конструкциях и улучшении опыта разработчиков с виртуальными машинами.