:ملخص سريع
- تستند حجة Canton المضادة لإثباتات المعرفة الصفرية على افتراض خفي بعدم وجود نظام احتياطي لرصد الأعطال.
- نموذج Canton القائم على الثقة فقط لا يحتوي على طبقة تشفير، مما يترك المفاتيح المخترقة لنشر الضرر بصمت.
- يستخدم Prividium ثلاث طبقات دفاع مستقلة، مما يبقي أي اختراق محصوراً في سلسلة مؤسسة واحدة.
- يواجه DAML نفس مخاوف النضج التي يثيرها Canton حول إثباتات المعرفة الصفرية، ولكن مع عدد أقل بكثير من العيون الأمنية التي تراقبه.
إثباتات المعرفة الصفرية في مركز نقاش متزايد في التمويل المؤسسي. جادل مؤسسو Canton Network بأن إثباتات المعرفة الصفرية تشكل مخاطر غير مقبولة للأنظمة المالية الحيوية.
لقد أثاروا هذه القضية مع المشترين والجهات التنظيمية، علناً وخاصة. رد عام من باحث المعرفة الصفرية Alex يتحدى هذه الحجة مباشرة.
يقارن الرد بين المناهج المعمارية لـ Canton وPrividium.
قضية المخاطر لدى Canton والافتراض الذي تستند إليه
تتمحور حجة Canton ضد إثباتات المعرفة الصفرية حول تعقيدها. قد تمر الأخطاء في مثل هذه الأنظمة دون اكتشاف لأن البيانات الأساسية تبقى خاصة.
إذا انتشر خلل بصمت، فقد يخلق مخاطر نظامية عبر الشبكات المالية. القلق حقيقي، لكن المنطق الذي يتبعه يحتوي على فجوة.
يفترض التفكير أن إثباتات المعرفة الصفرية هي خط الدفاع الوحيد في النظام. يرسم Alex توازياً مع الطيران والضوابط النووية والأجهزة الطبية.
كل منها معقد وحيوي وقادر على الفشل الكارثي. لم يتم التخلي عن أي منها لهذا السبب - فهي تعمل من خلال التكرار والاحتواء، وليس غياب المخاطر.
في منشور على X، أطّر @gluk64 الأمر كنمط أوسع. أي تقنية معقدة وحيوية يمكن أن تفشل بشكل كارثي ستفشل في اختبار Canton.
الافتراض الخفي الذي يقوم بكل العمل هو عدم وجود نظام احتياطي. هذا الافتراض، وليس التقنية نفسها، هو ما يخلق خطراً نظامياً.
تُوضح بنية Canton نفسها هذه النقطة. يعتمد نموذج الخصوصية الخاص بها فقط على المشغلين الموثوقين لفصل البيانات بين المشاركين. لا توجد طبقة تحقق تشفيرية في مكانها.
إذا تم اختراق مفاتيح المشغل، تنتشر الحالة المتلاعب بها بصمت عبر السلاسل غير الشفافة دون أي شيء لرصدها.
الدفاع الطبقي لـ Prividium وسؤال المعايير المفتوحة
يبني Prividium نموذجه على ثلاث طبقات دفاع مستقلة. يقوم الشركاء المؤسسيون بتشغيل العقد ضمن بيئاتهم التنظيمية الخاصة.
ثم تضيف إثباتات المعرفة الصفرية طبقة تحقق تشفيرية فوق الأمن التشغيلي. مع نضوج أنظمة الإثبات، يمكن للعديد من المثبتين المستقلين التحقق من نفس الحساب. يتم بعد ذلك رصد خلل في تطبيق واحد بواسطة آخر.
يتم بناء الاحتواء في البنية المعمارية حسب التصميم. كل مثيل من Prividium هو سلسلة منفصلة يتم تشغيلها بواسطة مؤسسة واحدة.
تمر التفاعلات بين السلاسل عبر آليات محاسبية يتم تطبيقها بشكل مستقل من قبل المؤسسات المشاركة أو على السلسلة. حتى الهجوم المشترك على تكنولوجيا المعلومات الداخلية وخطأ في إثبات المعرفة الصفرية يظل محصوراً في تلك السلسلة الواحدة.
يضيف سؤال المعايير المفتوحة طبقة أخرى للمقارنة. تعكس خطوة ZKsync نحو التكافؤ الكامل لـ EVM المبدأ القائل بأن الانحراف عن المعايير المفتوحة يوسع سطح الهجوم.
واجهت البنية التحتية لـ Ethereum أكثر من عقد من الاختبارات العدائية مع مئات المليارات على المحك. بنت تلك العملية معايير تدقيق أقوى وأدوات تحقق رسمية وأنماط تصميم معززة.
تنطبق مخاوف Canton بشأن نضج إثباتات المعرفة الصفرية بالتساوي على DAML، لغة العقد الذكي الخاصة بها. يعمل DAML ضمن نظام بيئي مغلق مع عدد أقل بكثير من المطورين والباحثين الأمنيين الذين يراقبونه.
كل دورة ثغرات عملت Ethereum من خلالها لا تزال أمام DAML. البنية المعمارية التي لديها أطول سجل حافل في أقسى الظروف تحمل أقل مخاطر.
ظهر المنشور إثباتات المعرفة الصفرية تتعرض لانتقادات حيث ينازع Canton دورها في التمويل المؤسسي لأول مرة على Blockonomi.
المصدر: https://blockonomi.com/zk-proofs-draw-fire-as-canton-disputes-their-role-in-institutional-finance/
