Воскресенье , 9 февраля 2025
Новость дня
Home / Биткойн / Виталик Бутерин представляет Circle STARK для повышения эффективности блокчейна

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

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

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

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

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

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

Содержание

  1. Меньшие поля, большие выгоды
  2. Круг безопасности STARK
  3. Практические последствия

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

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

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

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

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

Читайте также:  Криптовалютные приложения видят вредоносные всплывающие окна после того, как Ace Drainer взломал библиотеку анимации

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

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

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

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

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

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

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

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

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

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

Источник: cryptohamster.org