Виталик Бутерин представляет Circle STARK для повышения эффективности блокчейна

Соучредитель Ethereum Виталик Бутерин представил новый криптографический протокол под названием Circle STARKs, который обещает улучшить безопасность и эффективность блокчейна.

В своем последнем посте Бутерин объясняет, что этот технологический прорыв предполагает использование более мелких полей, таких как Мерсенн31, для значительного повышения скорости испытаний без ущерба для мер безопасности.

«Самой важной тенденцией в разработке протокола STARK за последние два года стал переход к работе на небольших полях».

Связанный: Чарльз Хоскинсон отвергает точку зрения Виталика Бутерина о голосовании за криптовалюту

Меньшие поля, большие выгоды

Согласно сообщению, традиционные масштабируемые прозрачные аргументы знаний (STARK) работают с 256-битными полями, которые, хотя и безопасны, обычно неэффективны.

Circle STARK использует меньшие поля, что приводит к снижению вычислительных затрат, более высокой скорости проверки и более эффективной прибыли, например, проверке 620 000 хэшей Poseidon2 в секунду на ноутбуке M3.

Бутерин отмечает, что предыдущая реализация STARK делала поля меньшего размера «естественно совместимыми с проверкой подписей на основе эллиптических кривых», но «приводила к неэффективности» из-за большого количества задействованных чисел.

Связанный: Виталик Бутерин предупреждает о политиках, утверждающих, что они «за криптовалюту»

Круг безопасности STARK

Традиционные небольшие поля имеют ограниченные возможные значения и могут подвергаться атакам грубой силы.

Круговые STARK противодействуют этой уязвимости, выполняя несколько случайных проверок и используя поля расширения, расширяя набор значений, которые злоумышленникам необходимо угадать.

Эта мера безопасности создает вычислительный барьер для злоумышленников, сохраняя целостность протокола.

«При использовании STARK для меньших полей у нас есть проблема: существует всего около двух миллиардов возможных значений x на выбор, и поэтому злоумышленнику, желающему создать фальшивое доказательство, нужно попробовать всего два миллиарда раз — большая работа, но довольновыполнимо для решительного нападающего!»

Связанный: StarkWare проверяет первое доказательство с нулевым разглашением Биткоин

Практические последствия

Интерактивные доказательства близости Oracle Fast Reed-Solomon (FRI) доказывают, что функция является полиномом определенной степени и является ключевым аспектом Circle STARK.

Представляя Circle FRI, подход, который поддерживает целостность криптографического процесса, Circle STARK гарантирует, что неполиномиальные входные данные не подтвердятся.

Круговые STARK предлагают большую гибкость и универсальность для эффективной производительности вычислений за счет использования небольших полей и этой новой математической структуры.