Selon Foresight News, Vitalik Buterin a publié un article intitulé « Exploring Circle STARKs », soulignant les avancées significatives dans le domaine. Buterin note que Starkware peut prouver 620 000 hachages Poséidon2 par seconde sur un ordinateur portable M3. Cette capacité suggère que si Poséidon2 est fiable en tant que fonction de hachage, l'un des aspects les plus difficiles de la création d'un ZK-EVM efficace a été résolu.

Buterin explique que par rapport aux STARK conventionnels, les Circle STARK n'ajoutent pas beaucoup de complexité aux développeurs. Les mathématiques derrière les « polynômes » opérés par le cercle FRI sont contre-intuitives et prennent du temps à comprendre. Cependant, cette complexité est encapsulée et cachée aux développeurs, ce qui leur permet de travailler plus facilement avec le système.

Il estime que la combinaison de technologies telles que Mersenne31, BabyBear et de techniques de champ binaire telles que Binius repousse les limites d'efficacité des STARK au niveau fondamental. L'avenir de l'optimisation STARK devrait se concentrer sur l'arithmétisation la plus efficace des primitives telles que les fonctions de hachage et les signatures, la création de structures récursives pour plus de parallélisation, l'arithmétique des machines virtuelles pour améliorer l'expérience des développeurs et d'autres tâches de niveau supérieur.