Miden في تصميم الحسابات يلعب بشكل جديد. كل حساب يمتلك مساحة حالة مستقلة، ينفذ منطق المعاملة محليًا، ثم يتحقق من تغير الحالة عبر إثبات المعرفة الصفرية. هذه ممارسة مثيرة للاهتمام لنموذج الممثل على البلوكشين.

الجانب الذكي الحقيقي يكمن في طريقة تفاعل الحسابات — فهي ليست تتواصل مباشرة، بل تتبادل المعلومات عبر آلية "notes". كما أن عمل المدققين على السلسلة أصبح أبسط بكثير: لا حاجة لإعادة تنفيذ كل عملية خطوة بخطوة، فقط التحقق من هذه الإثباتات التشفيرية. بهذه الطريقة، يضمن النظام الأمان ويقلل بشكل كبير من تكلفة التحقق. هذه الفكرة تمثل اختراقًا كبيرًا في قابلية التوسع.