اکوسیستم zkEVM موفق شده زمان اثبات بلاک‌های اتریوم را به محدوده بلادرنگ برساند، اما بنیاد اتریوم اکنون هشدار می‌دهد که سرعت بدون امنیت اثبات‌پذیر خطرناک است. بسیاری از zkEVMهای مبتنی بر STARK به فرضیات ریاضی متکی بوده‌اند که اخیراً نقض شده‌اند و سطح امنیت واقعی آن‌ها را کاهش داده‌اند. به همین دلیل، بنیاد اتریوم تمرکز را از عملکرد به صحت منتقل کرده و یک نقشه راه سه‌مرحله‌ای برای رسیدن به امنیت ۱۲۸ بیتی اثبات‌پذیر ترسیم کرده است. ابزارهایی مانند soundcalc، WHIR و معماری‌های بازگشتی ساخت‌یافته قرار است این هدف را ممکن کنند، اما چالش اصلی نه فقط محاسبات، بلکه اثبات رسمی و ممیزی کامل این سیستم‌های پیچیده است. اگر این مسیر موفق شود، zkEVM می‌تواند به هسته اصلی مقیاس‌پذیری و تسویه اتریوم تبدیل شود.