Saskaņā ar Foresight News, Vitalik Buterin ir publicējis rakstu ar nosaukumu "Izpētīt apļa STARKs", uzsverot būtiskus sasniegumus šajā jomā. Buterins atzīmē, ka Starkware var pierādīt 620 000 Poseidon2 jaucējvārdu sekundē M3 klēpjdatorā. Šī iespēja liecina, ka, ja Poseidon2 tiek uzticēts kā jaucējfunkcijai, ir atrisināts viens no vissarežģītākajiem efektīvas ZK-EVM izveides aspektiem.

Buterīns skaidro, ka, salīdzinot ar parastajiem STARK, apļa STARK izstrādātājiem nerada daudz sarežģītības. Matemātika aiz "polinomiem", ko darbina aplis FRI, ir pretrunā intuitīvai un prasa laiku, lai to saprastu. Tomēr šī sarežģītība ir iekapsulēta un paslēpta no izstrādātājiem, tādējādi viņiem ir vieglāk strādāt ar sistēmu.

Viņš uzskata, ka, apvienojot tādas tehnoloģijas kā Mersenne31, BabyBear un binārā lauka metodes, piemēram, Binius, tiek izvirzītas STARK efektivitātes robežas pamata līmenī. Paredzams, ka STARK optimizācijas nākotne koncentrēsies uz visefektīvāko primitīvu, piemēram, jaucējfunkciju un parakstu, aritmetizēšanu, rekursīvu struktūru izveidi lielākai paralēlošanai, virtuālo mašīnu aritmetizēšanu, lai uzlabotu izstrādātāja pieredzi, un citiem augstāka līmeņa uzdevumiem.