Según Foresight News, Vitalik Buterin ha publicado un artículo titulado 'Exploring Circle STARKs', destacando avances significativos en este campo. Buterin señala que Starkware puede probar 620.000 hashes Poseidon2 por segundo en una computadora portátil M3. Esta capacidad sugiere que si se confía en Poseidon2 como función hash, se ha abordado uno de los aspectos más desafiantes de la creación de un ZK-EVM eficiente.

Buterin explica que, en comparación con los STARK convencionales, los STARK circulares no añaden mucha complejidad a los desarrolladores. Las matemáticas detrás de los 'polinomios' operados por el círculo FRI son contraintuitivas y lleva tiempo comprenderlas. Sin embargo, esta complejidad está encapsulada y oculta a los desarrolladores, lo que les facilita el trabajo con el sistema.

Él cree que la combinación de tecnologías como Mersenne31, BabyBear y técnicas de campo binario como Binius está superando los límites de eficiencia de STARK al nivel fundamental. Se espera que el futuro de la optimización de STARK se centre en la aritmética más eficiente de primitivas como funciones hash y firmas, la creación de estructuras recursivas para una mayor paralelización, la aritmética de máquinas virtuales para mejorar la experiencia del desarrollador y otras tareas de nivel superior.