لا تزال معظم L2s تعمل على آلة إيثريوم الأصلية: جهاز كمبيوتر مشترك يعيد تنفيذ كل معاملة حتى يتفق الشبكة على حالة عامة واحدة. هذا التصميم لا يمكنه تنفيذ المالية الحقيقية. الخصوصية تصبح إصلاحًا مؤقتًا. الدفعات المستقلة لا تزال تنتظر في قائمة عالمية. المنطق التجاري المعقد مكلف، ويمكن لكل منافس مراقبته. يدّعي @0xMiden أن ZK تغيّر وظيفة السلسلة. إذا كان بإمكان المستخدم تنفيذ العملية محليًا وإثبات صحة الانتقال، فلن تحتاج الشبكة إلى المعاملة. إنها تحتاج إلى الإثبات. هذا هو بلوك تشين الحافة. حالة حسابك تعيش معك. السلسلة تخزن التزامًا، وليس الحساب. الملحوظات تنقل القيمة بين الحسابات. المعاملة هي تحديث حساب واحد لنفسه ونشر STARK. تتحقق الشبكة من الإثبات، وتحديث الالتزامات، وتسجل القيم الملغاة. إنها لا تعيد تشغيل راتبك أو تتعلم رصيدك إلا إذا اخترت حسابًا عامًا. هذا هو السبب في أنهم تجاهلوا مسار zkEVM. التوافق مع EVM ينسخ إيثريوم بتكاليف أقل. لكنه لا يزال يفترض وجود حاسوب عام شفاف. يمكنك تغليف ذلك بالإثباتات. لكنك لا تستطيع جعله يتوقف عن التسريب أو التسلسل. المستخدمون يحتفظون بالحالة المحلية، ويجب على الأجهزة إثبات الصلاحية، ولا تزال الحالة العامة المشتركة بحاجة إلى الشبكة. لكن الفرضية بسيطة. كان البيتكوين ذهبًا. كانت إيثريوم حاسوبًا عامًا. Miden تحاول أن تكون نقطة تسويق للحسابات التي تثبت صحتها.