De acordo com o Foresight News, Vitalik Buterin publicou um artigo intitulado ‘Exploring Circle STARKs’, destacando avanços significativos no campo. Buterin observa que a Starkware pode provar 620.000 hashes Poseidon2 por segundo em um laptop M3. Esta capacidade sugere que se o Poseidon2 for confiável como uma função hash, um dos aspectos mais desafiadores da criação de um ZK-EVM eficiente foi resolvido.

Buterin explica que, em comparação com os STARKs convencionais, os STARKs circulares não acrescentam muita complexidade para os desenvolvedores. A matemática por trás dos 'polinômios' operados pelo círculo FRI é contra-intuitiva e leva tempo para ser compreendida. No entanto, essa complexidade é encapsulada e ocultada dos desenvolvedores, facilitando o trabalho deles com o sistema.

Ele acredita que a combinação de tecnologias como Mersenne31, BabyBear e técnicas de campo binário como Binius está ampliando os limites de eficiência dos STARKs no nível fundamental. Espera-se que o futuro da otimização STARK se concentre na aritmética mais eficiente de primitivos, como funções hash e assinaturas, na criação de estruturas recursivas para maior paralelização, na aritmética de máquinas virtuais para melhorar a experiência do desenvolvedor e em outras tarefas de nível superior.