Podle Foresight News publikoval Vitalik Buterin článek s názvem 'Exploring Circle STARKs', který zdůrazňuje významný pokrok v této oblasti. Buterin poznamenává, že Starkware dokáže prokázat 620 000 hashů Poseidon2 za sekundu na notebooku M3. Tato schopnost naznačuje, že pokud je Poseidon2 důvěryhodný jako hashovací funkce, byl vyřešen jeden z nejnáročnějších aspektů vytváření efektivního ZK-EVM.

Buterin vysvětluje, že ve srovnání s konvenčními STARKy kruhové STARKy nepřidávají vývojářům příliš složitost. Matematika za „polynomy“ provozovanými kruhem FRI je kontraintuitivní a její pochopení vyžaduje čas. Tato složitost je však před vývojáři zapouzdřena a skryta, což jim usnadňuje práci se systémem.

Věří, že kombinace technologií jako Mersenne31, BabyBear a technik binárního pole, jako je Binius, posouvá hranice účinnosti STARKů na základní úrovni. Očekává se, že budoucnost optimalizace STARK se zaměří na nejúčinnější aritmetizaci primitiv, jako jsou hashovací funkce a signatury, vytváření rekurzivních struktur pro větší paralelizaci, aritmetizaci virtuálních strojů pro zlepšení zkušeností vývojářů a další úkoly vyšší úrovně.