По данным Foresight News, Виталик Бутерин опубликовал статью под названием «Изучая круг STARK», в которой подчеркивается значительные достижения в этой области. Бутерин отмечает, что Starkware может доказать 620 000 хэшей Poseidon2 в секунду на ноутбуке M3. Эта возможность предполагает, что если Poseidon2 доверять как хэш-функции, то один из наиболее сложных аспектов создания эффективной ZK-EVM будет решен.
Бутерин объясняет, что по сравнению с обычными STARK круговые STARK не усложняют задачу разработчикам. Математика, лежащая в основе «полиномов», которыми управляет круговая FRI, противоречива здравому смыслу и требует времени для понимания. Однако эта сложность инкапсулирована и скрыта от разработчиков, что упрощает им работу с системой.
Он считает, что объединение таких технологий, как Mersenne31, BabyBear, и методов бинарных полей, таких как Binius, расширяет пределы эффективности STARK на базовом уровне. Ожидается, что будущее оптимизации STARK будет сосредоточено на наиболее эффективной арифметизации примитивов, таких как хеш-функции и сигнатуры, создании рекурсивных структур для большего распараллеливания, арифметизации виртуальных машин для улучшения опыта разработчиков и других задачах более высокого уровня.