В последние годы тенденция проектирования протокола STARKs смещается в сторону использования меньших полей. В самых ранних реализациях STARKs использовалось 256-битное поле, но такая конструкция имеет низкую эффективность. Для повышения эффективности STARKs начали использовать более мелкие поля, такие как Goldilocks, Mersenne31 и BabyBear.
Использование малых полей привело к некоторым проблемам, таким как недостаточная случайность. Для решения этой проблемы существуют два варианта: провести несколько случайных проверок или расширить поле. Расширенное поле похоже на множественное, но основано на конечном поле.
Circle STARKs является изящным решением. Задано простое число p, можно найти группу размера p, обладающую свойством два к одному. Эта группа состоит из точек, которые удовлетворяют определённым условиям, например, набор точек, для которых x^2 mod p равно некоторому значению.
! [Новая работа Виталика: Исследуйте круглые СТАРКИ (https://img-cdn.gateio.im/webp-social/moments-b32679a50fc463cfc1c831d30ab2d7e2.webp)
Circle STARKs использует специальное FFT, называемое Circle FFT. Объектами обработки являются не строгие многочлены, а пространство Римана-Роша. Разработчикам не нужно понимать конкретные детали, достаточно обрабатывать многочлены как множество оценочных значений.
Circle STARKs очень эффективны на полях простых чисел размером 31. В отличие от SNARKs с большими полями, они могут более полно использовать вычислительное пространство. Несмотря на то, что Binius в некоторых аспектах лучше, концепция Circle STARKs более проста.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
11 Лайков
Награда
11
4
Поделиться
комментарий
0/400
YieldWhisperer
· 17ч назад
мне все равно, я видел эту математику в 2018 году... те же старые векторы атак, просто переупакованные
Посмотреть ОригиналОтветить0
GasWrangler
· 17ч назад
на самом деле, уменьшение размера поля математически превосходно, но вы все игнорируете узкое место случайности... смх
Посмотреть ОригиналОтветить0
BlockchainFoodie
· 17ч назад
так же, как уменьшение сложного соуса... меньшие поля = лучший вкус, правда, правда
Посмотреть ОригиналОтветить0
CryptoCrazyGF
· 17ч назад
Девушка с бурным характером, которая любит хвастаться своими профессиональными знаниями
Circle STARKs：эффективное и простое новое решение для zk-SNARKs
Исследование Circle STARKs
В последние годы тенденция проектирования протокола STARKs смещается в сторону использования меньших полей. В самых ранних реализациях STARKs использовалось 256-битное поле, но такая конструкция имеет низкую эффективность. Для повышения эффективности STARKs начали использовать более мелкие поля, такие как Goldilocks, Mersenne31 и BabyBear.
Использование малых полей привело к некоторым проблемам, таким как недостаточная случайность. Для решения этой проблемы существуют два варианта: провести несколько случайных проверок или расширить поле. Расширенное поле похоже на множественное, но основано на конечном поле.
! Новая работа Виталика: исследование круга STARKs
Circle STARKs является изящным решением. Задано простое число p, можно найти группу размера p, обладающую свойством два к одному. Эта группа состоит из точек, которые удовлетворяют определённым условиям, например, набор точек, для которых x^2 mod p равно некоторому значению.
! [Новая работа Виталика: Исследуйте круглые СТАРКИ (https://img-cdn.gateio.im/webp-social/moments-b32679a50fc463cfc1c831d30ab2d7e2.webp)
Circle STARKs использует специальное FFT, называемое Circle FFT. Объектами обработки являются не строгие многочлены, а пространство Римана-Роша. Разработчикам не нужно понимать конкретные детали, достаточно обрабатывать многочлены как множество оценочных значений.
! Новая работа Виталика: исследование круга STARKs
При реализации Circle STARKs необходимо обратить внимание на следующие моменты:
! Новая работа Виталика: Исследование круга СТАРКОВ
Circle STARKs очень эффективны на полях простых чисел размером 31. В отличие от SNARKs с большими полями, они могут более полно использовать вычислительное пространство. Несмотря на то, что Binius в некоторых аспектах лучше, концепция Circle STARKs более проста.
! Новая работа Виталика: Исследование круговых СТАРКОВ
Будущая оптимизация STARK может сосредоточиться на:
! Новая работа Виталика: Exploring Circle STARKs
В целом, Circle STARKs является концепцией, которая проста, но эффективна, и это реализация STARK, достойная дальнейшего изучения и применения.
! Новое творение Виталика: исследование круга STARKs