Według Foresight News Vitalik Buterin opublikował artykuł zatytułowany „Exploring Circle STARKs”, w którym podkreślił znaczący postęp w tej dziedzinie. Buterin zauważa, że ​​Starkware może sprawdzić 620 000 skrótów Poseidon2 na sekundę na laptopie M3. Ta zdolność sugeruje, że jeśli Poseidon2 jest zaufany jako funkcja skrótu, rozwiązano jeden z najtrudniejszych aspektów tworzenia wydajnego ZK-EVM.

Buterin wyjaśnia, że ​​w porównaniu z konwencjonalnymi STARKami, okrągłe STARK nie powodują większej złożoności dla programistów. Matematyka stojąca za „wielomianami” obsługiwanymi przez okrąg FRI jest sprzeczna z intuicją, a jej zrozumienie wymaga czasu. Jednak ta złożoność jest zamknięta i ukryta przed programistami, co ułatwia im pracę z systemem.

Wierzy, że połączenie technologii takich jak Mersenne31, BabyBear i technik pola binarnego, takich jak Binius, przesuwa granice wydajności STARKów na poziomie podstawowym. Oczekuje się, że przyszłość optymalizacji STARK skupi się na najbardziej wydajnej arytmetyce prymitywów, takich jak funkcje skrótu i ​​podpisy, tworzeniu struktur rekurencyjnych w celu większej równoległości, arytmetyce maszyn wirtualnych w celu poprawy doświadczenia programistów i innych zadaniach wyższego poziomu.