Potrivit Foresight News, Vitalik Buterin a publicat un articol intitulat „Exploring Circle STARKs”, subliniind progrese semnificative în domeniu. Buterin notează că Starkware poate dovedi 620.000 de hashe-uri Poseidon2 pe secundă pe un laptop M3. Această capacitate sugerează că, dacă Poseidon2 este de încredere ca funcție hash, unul dintre cele mai provocatoare aspecte ale creării unui ZK-EVM eficient a fost abordat.

Buterin explică că, în comparație cu STARK-urile convenționale, STARK-urile cercului nu adaugă multă complexitate pentru dezvoltatori. Matematica din spatele „polinoamelor” operate de cercul FRI este contraintuitivă și necesită timp pentru a înțelege. Cu toate acestea, această complexitate este încapsulată și ascunsă de dezvoltatori, făcându-le mai ușor să lucreze cu sistemul.

El crede că combinarea tehnologiilor precum Mersenne31, BabyBear și a tehnicilor de câmp binar precum Binius împinge limitele de eficiență ale STARK-urilor la nivel fundamental. Viitorul optimizării STARK se așteaptă să se concentreze pe cea mai eficientă aritmetizare a primitivelor, cum ar fi funcțiile hash și semnăturile, crearea de structuri recursive pentru mai multă paralelizare, aritmetizarea mașinilor virtuale pentru a îmbunătăți experiența dezvoltatorului și alte sarcini de nivel superior.