Дизайн протокола STARKs в последние годы стремится использовать более мелкие поля для повышения скорости доказательства. Например, Starkware может доказывать 620,000 хешей Poseidon2 в секунду на ноутбуке M3. В этой статье будет рассмотрено, как работают эти технологии, с особым вниманием к решению Circle STARKs.
Одной из распространённых проблем при использовании меньших полей является то, что злоумышленники могут попытаться взломать протокол, перебирая ограниченное количество возможных значений. Решения включают многократные случайные проверки или расширение полей. Расширенные поля аналогичны множествам, но основаны на конечном поле.
Умность Circle STARKs заключается в том, что можно найти группу размером p, обладающую аналогичными свойствами двусторонней функции. Эта группа состоит из точек, удовлетворяющих определённым условиям, например, набор точек, где x^2 mod p равно какому-то значению.
! [Новая работа Виталика: Исследуйте круглые СТАРКИ (https://img-cdn.gateio.im/webp-social/moments-b32679a50fc463cfc1c831d30ab2d7e2.webp)
Circle STARKs поддерживает FFT, но обрабатываемый объект не строго является многочленом, а пространством Римана-Роха. В качестве разработчика вы почти можете игнорировать этот момент, просто храните многочлены в качестве набора значений для оценки.
В области коммерческих вычислений Circle STARKs требует оценки в двух точках для доказательства, добавляя виртуальную точку. Для исчезающих многочленов Circle STARKs использует специфическую функциональную форму.
Circle STARKs использует модифицированный обратный порядок бит, чтобы отразить свою особую структуру сворачивания. Этот порядок делает FRI более экономичным по пространству.
Эффективность Circle STARKs очень высока, она полностью использует пространство в вычислительном отслеживании. Хотя Binius в некоторых аспектах лучше, концепция Circle STARKs проще.
В целом, Circle STARKs не сложнее обычных STARKs для разработчиков. Будущие направления оптимизации STARK могут включать: оптимизацию арифметики для базовых криптографических примитивов, рекурсивные конструкции для повышения параллелизма, улучшение арифметики виртуальной машины для оптимизации опыта разработки.
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
12 Лайков
Награда
12
3
Поделиться
комментарий
0/400
OnChain_Detective
· 07-21 05:30
хмм... анализ паттернов показывает подозрительные гэпы в реализации circlestark, если честно
Глубина анализа технологии Circle STARKs: новое направление для эффективной верификации
Исследование Circle STARKs
Дизайн протокола STARKs в последние годы стремится использовать более мелкие поля для повышения скорости доказательства. Например, Starkware может доказывать 620,000 хешей Poseidon2 в секунду на ноутбуке M3. В этой статье будет рассмотрено, как работают эти технологии, с особым вниманием к решению Circle STARKs.
Одной из распространённых проблем при использовании меньших полей является то, что злоумышленники могут попытаться взломать протокол, перебирая ограниченное количество возможных значений. Решения включают многократные случайные проверки или расширение полей. Расширенные поля аналогичны множествам, но основаны на конечном поле.
! Новая работа Виталика: исследование круга STARKs
Умность Circle STARKs заключается в том, что можно найти группу размером p, обладающую аналогичными свойствами двусторонней функции. Эта группа состоит из точек, удовлетворяющих определённым условиям, например, набор точек, где x^2 mod p равно какому-то значению.
! [Новая работа Виталика: Исследуйте круглые СТАРКИ (https://img-cdn.gateio.im/webp-social/moments-b32679a50fc463cfc1c831d30ab2d7e2.webp)
Circle STARKs поддерживает FFT, но обрабатываемый объект не строго является многочленом, а пространством Римана-Роха. В качестве разработчика вы почти можете игнорировать этот момент, просто храните многочлены в качестве набора значений для оценки.
! Новая работа Виталика: исследование круга STARKs
В области коммерческих вычислений Circle STARKs требует оценки в двух точках для доказательства, добавляя виртуальную точку. Для исчезающих многочленов Circle STARKs использует специфическую функциональную форму.
! Новая работа Виталика: Исследование круга СТАРКОВ
Circle STARKs использует модифицированный обратный порядок бит, чтобы отразить свою особую структуру сворачивания. Этот порядок делает FRI более экономичным по пространству.
Эффективность Circle STARKs очень высока, она полностью использует пространство в вычислительном отслеживании. Хотя Binius в некоторых аспектах лучше, концепция Circle STARKs проще.
В целом, Circle STARKs не сложнее обычных STARKs для разработчиков. Будущие направления оптимизации STARK могут включать: оптимизацию арифметики для базовых криптографических примитивов, рекурсивные конструкции для повышения параллелизма, улучшение арифметики виртуальной машины для оптимизации опыта разработки.