في مجال خصوصية البلوكشين وإثباتات المعرفة الصفرية، يصرح الأشخاص الذين قاموا بتطوير عميق حقًا أن نقطة الألم الأساسية هي أن ZK لم تكن أبدًا مسألة قابلية الوظيفة، بل مسألة الأداء والقابلية للاستخدام. فحتى أرقى الأوراق البحثية والبيانات البيضاء، بمجرد الانتقال إلى مرحلة النشر الفعلي، غالبًا ما يستغرق وقت إثبات التوليد عشرات الثواني أو حتى دقائق، مما يؤدي في النهاية إلى انهيار تجربة المستخدم.

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

خلال السنوات الماضية، كانت هناك قلة قليلة من السلاسل التي يمكنها التعامل مع منطق الخصوصية المعقد، والسبب ليس أن نظرية التشفير غير ناضجة، بل أن بيئة التنفيذ الأساسية لا تلبي المتطلبات. ولهذا السبب، اتخذت Dusk مسارًا عمليًا مختلفًا تمامًا: بدلاً من إصلاح إطار EVM، من الأفضل إعادة تصميمه من مستوى الآلة الافتراضية بالكامل، ولهذا طورت محرك الآلة الافتراضية Piecrust.

تحديد هدف Piecrust VM واضح جدًا — فهو لا يسعى إلى التعميم، بل هو بيئة تنفيذ مصممة خصيصًا لحسابات المعرفة الصفرية. غالبًا ما يُغفل أهمية هذا الاختيار التصميمي. فـ EVM في جوهره محسّن من أجل استقرار الحالة وإمكانية إعادة التشغيل، ولم يُراعِ أبدًا ملاءمته للودود مع الإثباتات. تشغيل حسابات المعرفة الصفرية على EVM يعني تنفيذ منطق الأعمال جنبًا إلى جنب مع تحمل عبء إثبات ضخم إضافي.

عكسًا لهذا، قلبت Dusk هذا المفهوم رأسًا على عقب: بما أن الهدف هو الخصوصية والحسابات القابلة للتحقق، فإن تصميم نموذج التنفيذ، مجموعة التعليمات، وإدارة الحالة يجب أن تدور حول إثبات المعرفة الصفرية منذ اليوم الأول. والنتيجة هي قفزة في الأداء تبدو غير بديهية ولكنها عملية — حيث تم تقليل زمن توليد الإثبات بشكل كبير، مما حول ZK من مجرد فكرة مثالية على الورق إلى منتج قابل للاستخدام.