Laut Foresight News hat Vitalik Buterin einen Artikel mit dem Titel „Exploring Circle STARKs“ veröffentlicht, in dem er bedeutende Fortschritte auf diesem Gebiet hervorhebt. Buterin weist darauf hin, dass Starkware auf einem M3-Laptop 620.000 Poseidon2-Hashes pro Sekunde nachweisen kann. Diese Fähigkeit deutet darauf hin, dass, wenn Poseidon2 als Hash-Funktion vertrauenswürdig ist, einer der schwierigsten Aspekte bei der Erstellung eines effizienten ZK-EVM gelöst ist.

Buterin erklärt, dass Circle STARKs im Vergleich zu herkömmlichen STARKs für Entwickler keine große Komplexität bedeuten. Die Mathematik hinter den „Polynomen“, die von Circle FRI betrieben werden, ist nicht intuitiv und braucht Zeit, um sie zu verstehen. Diese Komplexität ist jedoch gekapselt und vor Entwicklern verborgen, was ihnen die Arbeit mit dem System erleichtert.

Er glaubt, dass die Kombination von Technologien wie Mersenne31, BabyBear und binären Feldtechniken wie Binius die Effizienzgrenzen von STARKs auf der grundlegenden Ebene erweitert. Die Zukunft der STARK-Optimierung wird sich voraussichtlich auf die effizienteste Arithmetik von Primitiven wie Hash-Funktionen und Signaturen, die Erstellung rekursiver Strukturen für mehr Parallelisierung, die Arithmetik virtueller Maschinen zur Verbesserung der Entwicklererfahrung und andere Aufgaben auf höherer Ebene konzentrieren.