مثلث زوكو

مثلث زوكو هو معضلة ثلاثية لثلاث خصائص يعتبرها بعض الناس مرغوبة لأسماء المشاركين في بروتوكول الشبكة : ^{[ 1 ]}

• ذات معنى بشري: يتم تزويد المستخدمين بأسماء ذات معنى ولا تُنسى (منخفضة الإنتروبيا).
• آمن: يجب أن يكون مقدار الضرر الذي يمكن أن يلحقه كيان خبيث بالنظام في أدنى حد ممكن.
• اللامركزية: يتم حل الأسماء بشكل صحيح إلى كياناتها المعنية دون استخدام سلطة أو خدمة مركزية.

افترضت زوكو ويلكوكس-أوهيرن أنه لا يمكن لأي نوع من الأسماء أن يحقق أكثر من ميزتين. على سبيل المثال: يوفر نظام DNSSec نظام تسمية آمنًا وذا معنى بشري، ولكنه ليس لامركزيًا لأنه يعتمد على خوادم جذر موثوقة؛ عناوين .onion وعناوين بيتكوين آمنة ولامركزية ولكنها ليست ذات معنى بشري؛ ويستخدم بروتوكول I2P خدمات ترجمة الأسماء الآمنة (لأنها تعمل محليًا) والتي توفر أسماء ذات معنى بشري - ولكنها تفشل في توفير كيانات فريدة عند استخدامها عالميًا في شبكة لامركزية بدون سلطات. ^{[ أ ]}

تتضمن العديد من الأنظمة التي تُظهر جميع خصائص مثلث زوكو الثلاثة ما يلي:

• أوضحت ورقة عالم الكمبيوتر نيك سزابو بعنوان "تأمين سندات الملكية بسلطة المالك" أنه يمكن تحقيق جميع الخصائص الثلاث حتى حدود تحمل الأخطاء البيزنطية . ^{[ 2 ]}
• وصف الناشط آرون شوارتز نظام تسمية قائم على بيتكوين، يستخدم تقنية سلسلة الكتل الموزعة لبيتكوين كآلية إثبات عمل لتحديد ملكية أسماء النطاقات. ^{[ 3 ]} لا تزال هذه الأنظمة عرضة لهجوم سيبيل ، ^{[ 4 ]} ولكنها آمنة وفقًا لافتراضات بيزنطية.
• قام المدون السياسي اليميني المتطرف كورتيس يارفين بتطبيق نسخة لامركزية من عناوين IP في Urbit تقوم بتشفيرها إلى أسماء مكونة من أربعة مقاطع لفظية يسهل قراءتها. ^{[ 5 ]}

تُطبّق العديد من المنصات حلولاً لدحض فرضية زوكو، بما في ذلك: تويستر (التي تستخدم نظام شوارتز مع نظام مشابه لبيتكوين)، وبلوكستاك (سلسلة كتل منفصلة)، ونيمكوين (سلسلة كتل منفصلة)، وLBRY (سلسلة كتل منفصلة - اكتشاف المحتوى، والملكية، ومشاركة الملفات من نظير إلى نظير )، ومونيرو ، وأوبن ألياس ، ^{[ 6 ]} وخدمة أسماء إيثيريوم ، وبروتوكول المصافحة . ^{[ 7 ]}

• اسم التدليل
• نظام أسماء جنو
• نظرية CAP