الرأي: براهين المعرفة الصفرية ليست الحل الصحيح لـ DeFi

المؤلف: دارين كلاين ، مترجم blockworks: Shan Ouba ، Golden Finance

تعمل العديد من الفرق بجد لتحقيق DeFi منعدمة المعرفة ، لكنهم جميعًا يتعاملون مع نفس المنطق الأساسي.

في بودكاست Lightspeed الأخير ، أعرب كايل ساماني من شركة Multicoin Capital عن ثقته في أن براهين انعدام المعرفة ليست الحل الصحيح لمخاوف الخصوصية في DeFi. إنه يعتقد أن براهين المعرفة الصفرية لها استخدامات في مجالات أخرى ، لكنها قد لا تكون قابلة للتطبيق في DeFi. **

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

ومع ذلك ، إذا كان هدف DeFi هو الخصوصية ، فإن براهين انعدام المعرفة ليست حلاً مناسبًا. في DeFi ، يجب مراعاة مفهوم "الحالة المشتركة" ، أي عند إجراء المعاملات المالية ، يتم تنفيذ العمليات الحسابية بين مختلف المشاركين ويتم الالتزام بالمعاملات الصفرية. لا يوجد مفهوم الدولة العالمية في DeFi ، مما يجعل من المستحيل التفكير في الحالة العالمية ، مما يجعل براهين المعرفة الصفرية غير فعالة في DeFi.

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

التفكير من أعلى إلى أسفل

في حجته لشرح عدم قابلية تطبيق براهين المعرفة الصفرية (ZK) في DeFi ، قدم كايل ساماني فرضية أساسية باستخدام zcash (ZEC) كمثال. باستخدام zcash ، يُظهر إثبات أي معاملة أنه تم إرسال سلسلة من مخرجات المعاملات غير المنفقة (UTXOs) إلى سلسلة من "النقاط الكبيرة المشفرة" من العناوين الخاصة.

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

على الرغم من أن تداول zcash لا يمكن نظريًا أن يتجاوز أبدًا 21 مليونًا لأنه يحتوي على نفس قيود التوريد مثل bitcoin fork ، نظرًا لتصميمه المستند إلى الخصوصية ، لا يمكن تدقيق العرض. هذا يعني أيضًا أنه لا يمكن مراجعة النظام من أعلى إلى أسفل لتحديد ما إذا كان إجمالي العرض من zcash لا يزال ثابتًا عند 21 مليون. كان هناك بالفعل خطأ كارثي محتمل في zcash تم الإبلاغ عنه وإصلاحه في عام 2019.

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

بينما تعمل العديد من الفرق بجد لتنفيذ SDK للمعرفة الصفرية ، فإنه يعتقد أنهم ما زالوا يتعاملون مع مشكلة منطقية أساسية للغاية. اقترح أن الطريقة الصحيحة لتحقيق الخصوصية في DeFi هي من خلال التشفير المتماثل تمامًا (FHE). من خلال تشفير العقود من طرف إلى طرف وتطبيق انتقالات الحالة بواسطة المحققين ، يمكن الحفاظ على المنطق الأساسي للنظام ، وهي الطريقة الصحيحة لحل مشكلة الخصوصية.

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