• Circle STARK снижает риск, увеличивая количество значений, которые злоумышленникам необходимо угадать.

  • Как указано в сообщении, STARK иногда работают с неэффективными 256-битными полями.

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

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

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

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

Повышение безопасности

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

Более того, целостность протокола сохраняется благодаря этому механизму безопасности, который представляет собой вычислительный барьер для злоумышленников. Кроме того, важной частью Circle STARKs является интерактивное доказательство близости Oracle Fast Reed-Solomon (FRI), которое демонстрирует, что функция является полиномом определенной степени.

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

Выделенные новости криптовалют сегодня:

Станет ли Ethereum свидетелем прорыва цен на фоне ходлинга эмитентов ETF?