Menurut Foresight News, Vitalik Buterin telah menerbitkan artikel berjudul 'Menjelajahi Circle STARKs,' yang menyoroti kemajuan signifikan di bidang ini. Buterin mencatat bahwa Starkware dapat membuktikan 620.000 hash Poseidon2 per detik pada laptop M3. Kemampuan ini menunjukkan bahwa jika Poseidon2 dipercaya sebagai fungsi hash, salah satu aspek paling menantang dalam menciptakan ZK-EVM yang efisien telah diatasi.

Buterin menjelaskan bahwa dibandingkan dengan STARK konvensional, STARK lingkaran tidak menambah banyak kerumitan bagi pengembang. Matematika di balik 'polinomial' yang dioperasikan oleh lingkaran FRI berlawanan dengan intuisi dan membutuhkan waktu untuk memahaminya. Namun, kompleksitas ini dikemas dan disembunyikan dari pengembang, sehingga memudahkan mereka untuk bekerja dengan sistem.

Dia percaya bahwa menggabungkan teknologi seperti Mersenne31, BabyBear, dan teknik bidang biner seperti Binius akan mendorong batas efisiensi STARK pada tingkat dasar. Masa depan pengoptimalan STARK diharapkan berfokus pada aritmatika primitif yang paling efisien seperti fungsi hash dan tanda tangan, pembuatan struktur rekursif untuk lebih banyak paralelisasi, aritmatika mesin virtual untuk meningkatkan pengalaman pengembang, dan tugas tingkat tinggi lainnya.