Secondo Foresight News, Vitalik Buterin ha pubblicato un articolo intitolato "Exploring Circle STARKs", evidenziando progressi significativi nel campo. Buterin osserva che Starkware può provare 620.000 hash Poseidon2 al secondo su un laptop M3. Questa capacità suggerisce che se Poseidon2 è considerato affidabile come funzione hash, uno degli aspetti più impegnativi della creazione di un efficiente ZK-EVM è stato risolto.

Buterin spiega che, rispetto agli STARK convenzionali, gli STARK circolari non aggiungono molta complessità per gli sviluppatori. La matematica dietro i "polinomi" gestiti dal circolo FRI è controintuitiva e richiede tempo per essere compresa. Tuttavia, questa complessità è incapsulata e nascosta agli sviluppatori, rendendo loro più semplice lavorare con il sistema.

Crede che la combinazione di tecnologie come Mersenne31, BabyBear e tecniche di campo binario come Binius stia spingendo i limiti di efficienza degli STARK a livello fondamentale. Si prevede che il futuro dell'ottimizzazione STARK si concentrerà sull'aritmeticizzazione più efficiente di primitive come funzioni hash e firme, creando strutture ricorsive per una maggiore parallelizzazione, aritmetizzando le macchine virtuali per migliorare l'esperienza degli sviluppatori e altre attività di livello superiore.