Виталик Бутерин, Ethereum's вундеркинд, сделал сенсационное заявление. Он представил Circle STARKs, новый криптографический протокол. Он призван революционизировать безопасность и эффективность блокчейна.
Бутерин объяснил всё в своем последнем блоге. Протокол использует меньшие поля, такие как Mersenne31. Это значительно увеличивает скорость доказательств. Безопасность не нарушена.
"Самая важная тенденция в дизайне протокола STARK за последние два года - это переход к работе с малыми полями," написал Бутерин.
Традиционные STARKs используют 256-битные поля. Они безопасны, но громоздки. Circle STARKs меняют правила игры. Они сокращают вычислительные затраты. Скорости доказательств взлетают.
Результаты впечатляют. Ноутбук M3 может проверять 620,000 Poseidon2 хешей в секунду. Это большое дело.
Но есть загвоздка. Малые поля уязвимы для атак грубой силы. У Бутерина есть решение. Circle STARKs выполняют несколько случайных проверок. Они также используют поля расширения.
Это создает огромную проблему для потенциальных атакующих. Вычислительный барьер очень высок. Это сохраняет протокол безопасным.
Бутерин объясняет проблему: "С STARKs на малых полях у нас есть проблема: существует всего около двух миллиардов возможных значений x, из которых можно выбирать, и поэтому атаку нужно попытаться всего лишь два миллиарда раз - много работы, но вполне осуществимо для решительного атакующего!"
Circle STARKs вводят новый подход под названием Circle FRI. Он важен для поддержания криптографической целостности. Неполиномиальные входные данные не проходят доказательство. Это умный обходной путь.
Вывод? Circle STARKs предлагают большую выгоду. Они гибкие и универсальные. Это большой шаг вперед для вычислительной производительности в мире блокчейна.