Foresight News'e göre Vitalik Buterin, bu alandaki önemli ilerlemeleri vurgulayan 'Çevre STARK'ları Keşfetmek' başlıklı bir makale yayınladı. Buterin, Starkware'in bir M3 dizüstü bilgisayarda saniyede 620.000 Poseidon2 karmasını kanıtlayabildiğini belirtiyor. Bu yetenek, Poseidon2'ye bir karma işlevi olarak güvenilmesi durumunda verimli bir ZK-EVM oluşturmanın en zorlu yönlerinden birinin ele alındığını göstermektedir.

Buterin, geleneksel STARK'larla karşılaştırıldığında çember STARK'ların geliştiricilere fazla karmaşıklık katmadığını açıklıyor. FRI çemberi tarafından işletilen 'polinomların' ardındaki matematik mantığa aykırıdır ve anlaşılması zaman alır. Ancak bu karmaşıklık, geliştiricilerin sistemle çalışmasını kolaylaştıracak şekilde kapsüllenmiş ve gizlenmiştir.

Mersenne31, BabyBear gibi teknolojileri ve Binius gibi ikili alan tekniklerini birleştirmenin, STARK'ların temel düzeyde verimlilik sınırlarını zorladığına inanıyor. STARK optimizasyonunun geleceğinin, hash işlevleri ve imzalar gibi ilkellerin en verimli aritmetikleştirilmesine, daha fazla paralelleştirme için özyinelemeli yapılar oluşturulmasına, geliştirici deneyimini geliştirmek için sanal makinelerin aritmetikleştirilmesine ve diğer üst düzey görevlere odaklanması bekleniyor.