В последние годы проектирование протоколов STARKs стало стремиться к использованию более мелких полей. Ранние реализации использовали 256-битные поля, но их эффективность была низкой. Чтобы решить эту проблему, STARKs начали переходить на использование более мелких полей, таких как Goldilocks, Mersenne31 и BabyBear. Этот переход значительно увеличил скорость доказательства.
Одна из распространенных проблем при использовании меньших полей заключается в том, что случайно выбранные параметры могут быть угаданы злоумышленником. Решения включают в себя проведение множества случайных проверок или увеличение поля. Увеличение поля похоже на множественное число, но основано на конечном поле. Это позволяет выполнять более сложные вычисления в конечном поле, что повышает безопасность.
Circle STARKs — это хитроумное решение, которое позволяет реализовать эффективный FRI на малых полях, таких как Mersenne31. Оно использует набор точек на круге в качестве группы, и эти точки следуют определенным правилам сложения. Конструкции Circle FRI и Circle FFT аналогичны обычному FRI, но объектом обработки является пространство Римана-Роша, а не строгие многочлены.
! [Новая работа Виталика: Исследуйте круглые СТАРКИ (https://img-cdn.gateio.im/webp-social/moments-b32679a50fc463cfc1c831d30ab2d7e2.webp)
При реализации Circle STARKs необходимо использовать некоторые специальные приемы для замены традиционных операций умножения и исчезающих многочленов. Также порядок оценки должен быть изменен на специальный порядок обратной свертки.
В целом, Circle STARKs не намного сложнее для разработчиков, чем обычные STARKs. Это эффективное решение STARK, особенно подходящее для использования в 31-битном простом поле. В сочетании с другими технологиями, такими как Mersenne31, BabyBear и т.д., мы приближаемся к предельной эффективности базового уровня STARKs.
Будущие направления оптимизации STARK могут включать: аритметическую оптимизацию основных криптографических примитивов, рекурсивные конструкции для повышения параллелизма, аритметическую виртуальную машину для улучшения опыта разработки и т. д. Эти оптимизации дальнейшим образом повысят производительность и удобство использования STARK.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
12 Лайков
Награда
12
8
Поделиться
комментарий
0/400
BanklessAtHeart
· 2ч назад
Маленькое поле действительно yyds.
Посмотреть ОригиналОтветить0
NFTRegretter
· 17ч назад
FRI стала немного быстрее, чем раньше.
Посмотреть ОригиналОтветить0
WalletManager
· 08-04 06:32
Оптимизация маленьких полей — это основное направление. Код хранится, и в этом нет ничего плохого.
Посмотреть ОригиналОтветить0
StableBoi
· 08-04 06:32
Ну и честь для Златовласки!
Посмотреть ОригиналОтветить0
NFTFreezer
· 08-04 06:30
Доказательство скорости стало быстрее, чем у geth?
Посмотреть ОригиналОтветить0
ColdWalletGuardian
· 08-04 06:30
Неясно, но впечатляет. Немного не понимаю, объясните, пожалуйста.
Посмотреть ОригиналОтветить0
CrashHotline
· 08-04 06:24
Маленькие поля действительно работают намного быстрее!
Посмотреть ОригиналОтветить0
GraphGuru
· 08-04 06:17
Ой, это новое решение выглядит довольно интересно.
Circle STARKs: Новый подход к эффективному FRI на малых полях
Исследование Circle STARKs
В последние годы проектирование протоколов STARKs стало стремиться к использованию более мелких полей. Ранние реализации использовали 256-битные поля, но их эффективность была низкой. Чтобы решить эту проблему, STARKs начали переходить на использование более мелких полей, таких как Goldilocks, Mersenne31 и BabyBear. Этот переход значительно увеличил скорость доказательства.
! Новая работа Виталика: исследование круга STARKs
Одна из распространенных проблем при использовании меньших полей заключается в том, что случайно выбранные параметры могут быть угаданы злоумышленником. Решения включают в себя проведение множества случайных проверок или увеличение поля. Увеличение поля похоже на множественное число, но основано на конечном поле. Это позволяет выполнять более сложные вычисления в конечном поле, что повышает безопасность.
! Новая работа Виталика: исследование круга STARKs
Circle STARKs — это хитроумное решение, которое позволяет реализовать эффективный FRI на малых полях, таких как Mersenne31. Оно использует набор точек на круге в качестве группы, и эти точки следуют определенным правилам сложения. Конструкции Circle FRI и Circle FFT аналогичны обычному FRI, но объектом обработки является пространство Римана-Роша, а не строгие многочлены.
! [Новая работа Виталика: Исследуйте круглые СТАРКИ (https://img-cdn.gateio.im/webp-social/moments-b32679a50fc463cfc1c831d30ab2d7e2.webp)
При реализации Circle STARKs необходимо использовать некоторые специальные приемы для замены традиционных операций умножения и исчезающих многочленов. Также порядок оценки должен быть изменен на специальный порядок обратной свертки.
! Новая работа Виталика: исследование круга STARKs
В целом, Circle STARKs не намного сложнее для разработчиков, чем обычные STARKs. Это эффективное решение STARK, особенно подходящее для использования в 31-битном простом поле. В сочетании с другими технологиями, такими как Mersenne31, BabyBear и т.д., мы приближаемся к предельной эффективности базового уровня STARKs.
! Новая работа Виталика: Исследование круга СТАРКОВ
Будущие направления оптимизации STARK могут включать: аритметическую оптимизацию основных криптографических примитивов, рекурсивные конструкции для повышения параллелизма, аритметическую виртуальную машину для улучшения опыта разработки и т. д. Эти оптимизации дальнейшим образом повысят производительность и удобство использования STARK.
! Новая работа Виталика: Исследование круговых СТАРКОВ