- Виталик Бутерин представил криптографический протокол Circle STARKs.
- Circle STARKs используют малые поля для увеличения скорости доказательства.
- Они обходят брутфорс-атаки с помощью случайных проверок и полей расширения.
Виталик Бутерин, соучредитель Ethereum, недавно представил новый криптографический протокол под названием Circle STARKs, который обещает улучшить безопасность и эффективность блокчейнов, используя криптографию малых полей.
В его последней статье, Виталик объясняет, что этот технологический скачок использует меньшие поля, такие как Мерсенн31, чтобы значительно улучшить скорость доказательства, не нарушая меры безопасности.
Преимущества малых полей
Традиционные STARKs, или Масштабируемые Прозрачные Аргументы Знания (Scalable Transparent ARguments of Knowledge), обычно работают на полях 256 бит, которые, хотя и безопасны, часто неэффективны. В отличие от них, Circle STARKs используют меньшие поля, снижая вычислительные затраты и увеличивая скорости доказательств. Например, они позволяют проверить 620 000 хэшей Poseidon2 в секунду на ноутбуке M3.
Безопасность Circle STARKs
Одним из вызовов традиционных малых полей является их потенциальная уязвимость к брутфорс-атакам из-за своих ограниченных значений. Circle STARKs обходят эту уязвимость, выполняя несколько случайных проверок и используя поля расширения, что увеличивает набор значений, которые должны угадать злоумышленники.
Добавляя несколько случайных проверок, вычислительный барьер становится запретительным для злоумышленников, поддерживая целостность протокола.
Практические последствия
Быстрые Интерактивные Доказательства Близости полиномов Рида-Соломона (FRI) демонстрируют, что функция является полиномом определенной степени, и составляют ключевой аспект Circle STARKs. Внедрение Circle FRI, подхода, который поддерживает целостность криптографического процесса, гарантирует, что неполиномиальные входы терпят неудачу в доказательстве.
Circle STARKs предоставляют больше гибкости и универсальности для эффективной вычислительной работы, используя малые поля и эту новую математическую структуру. Это позволяет не только улучшить безопасность и эффективность блокчейнов, но и снизить затраты и ускорить процессы проверки.
