نشر فيتاليك بوتيرين مقالًا بعنوان "استكشاف دائرة STARKs". وذكر المقال أنه في العامين الماضيين، كان الاتجاه الأكثر أهمية في تصميم بروتوكول STARK هو التحول إلى العمل على نطاق صغير، وقد أدى هذا التحول إلى تحول كبير زيادة في سرعة الإثبات. في الوقت الحالي، يمكن استخدام Starkware على أجهزة الكمبيوتر المحمولة M3 التي تم إثبات 620.000 تجزئة لها في Poseidon2 في الثانية، مما يعني أنه إذا كنا على استعداد للوثوق في Poseidon2 كوظيفة تجزئة، فإن الجزء الأصعب في إنشاء ZK-EVM فعال. تم حلها.
يعتقد فيتاليك أنه من خلال الجمع بين تقنيات المجال الثنائي مثل Mersenne31 وBabyBear وBinius، يبدو الأمر وكأننا نقترب من حدود كفاءة "الطبقة الأساسية" لـ STARK. في هذه المرحلة، أتوقع أن تتحول حدود تحسين STARK نحو إجراء العمليات الحسابية الأكثر كفاءة على البدائيات مثل وظائف التجزئة والتوقيعات (وتحسين تلك البدائيات نفسها لهذا الغرض)، والقيام بالإنشاءات العودية لتحقيق المزيد من التوازي، وإجراء العمليات الحسابية على الجهاز الافتراضي لتحسين تجربة المطور والمهام الأخرى ذات المستوى الأعلى.