من الظاهر، @0xMiden يستخدم مجموعة أدوات ZK الناضجة،

لكن الحاجز الحقيقي ليس في علم التشفير نفسه.

ما يصعب نسخه هو المسار الذي بدأ من البداية حول «إثبات التنفيذ»
تصميم عكسي للآلة الافتراضية، مجموعة التعليمات ونموذج الحسابات.

هذا يعني أنه ليس مجرد «إضافة ZK» على نموذج التنفيذ الحالي،
بل يعتبر ZK شرطًا أساسيًا لنموذج التنفيذ.

بمجرد اتخاذ هذا الخيار، من الصعب تعديله في منتصف الطريق،
كما يفسر سبب بطء التقدم في هذا المسار، لكنه يظل متماسكًا من حيث الهيكل.