من الممكن تماما كتابة بروتوكولات DeFi (وأكثر من ذلك بكثير) مع الاعتماد على ZKPs للخصوصية - وهذا بالضبط ما تم تصميم Miden للقيام به. الحيلة الرئيسية هي إعادة تصور كيفية عمل الدولة وبدلا من استخدام حالة متجانسة ، تكييف نموذج الفاعل (شيء يستخدم في الأنظمة الموزعة لعقود). ثم يمكن أن يكون لدينا جهات فاعلة خاصة يمكنها التفاعل مع الجهات الفاعلة العامة التي تسيطر على الدولة المشتركة. أو يمكن أن يكون لدينا جهات فاعلة شبه خاصة (الدولة معروفة لبعض المستخدمين ، ولكن ليس للشبكة بأكملها) ويمكن أن تتفاعل هذه أيضا مع كل من الجهات الفاعلة الخاصة بالكامل أو الجهات الفاعلة العامة. هذا نموذج قوي للغاية يغطي عددا كبيرا من حالات استخدام DeFi - من AMMs و CLBOs المجهولة ، إلى العملات المستقرة الخاصة المتوافقة. وشيء لطيف آخر: لكتابة بروتوكول DeFi هذا ، لا نحتاج إلى مهندسين يفهمون ZKPs - يمكنك كتابة كل شيء في Rust. أنا أحب FHE - تقنية رائعة حقا وهي تتيح بعض حالات الاستخدام التي لا يمكن ل ZKPs معالجتها (أي وجود حالة مشتركة خاصة حقا) - ولكنها تأتي أيضا مع نفقات أداء ضخمة للشبكة. يكمن جمال ZKPs في أنها تقلل بالفعل من حمل الشبكة - المعاملة التي أثبتت جدواها محليا لا تحتاج إلى تنفيذها بواسطة الشبكة (التحقق من إثباتات ZK رخيص جدا) - نسمي هذا المفهوم Edge blockchain. بينما مع FHE ، تصبح كل معاملة أكثر تكلفة بمقدار 100 مرة (أو 1000 مرة) للشبكة. ستساعد ASICs هنا بالتأكيد ، ولكن هذا يعني أيضا أن كل عقدة تحقق ستحتاج إلى تشغيل ASICs هذه وإلا فلن يتمكنوا من متابعة الشبكة. ومطالبة كل عقدة بالحصول على ASIC يشبه إلى حد ما مطالبة كل عقدة Bitcoin بأن تكون عامل منجم.