عندما تبدو تلك التفاعلات فعالة. قد تشعر حتى بأنها ضرورية. تتحرك القرارات بشكل أسرع عندما تنهار إلى تأكيد بسيط.
هناك شيء يميل إلى أن يتم ضغطه في هذا الانتقال، على الرغم من ذلك. لست متأكدًا مما إذا كان ذلك مهمًا دائمًا. أحيانًا يكون كذلك.
تتبع إثباتات المعرفة الصفرية نمطًا مشابهًا، ولكن بشكل أكثر تطورًا. إنها تسمح لطرف واحد بإثبات أن شيئًا ما صحيح دون الكشف عن البيانات الأساسية. في كثير من الحالات، هذه هي النقطة بأكملها. يتم الحفاظ على الخصوصية، ويتم تقليل التعرض، وتصبح التحقق قابلة للنقل عبر الأنظمة التي لا تحتاج إلى الثقة ببعضها البعض مباشرة.
ضمن بروتوكول Sign، يتخذ هذا شكلًا محددًا. تصبح الشهادات وحدة الثقة. تُقدم مطالبة، وتُرفق بها إثبات، ويتحقق النظام مما إذا كان هذا الإثبات يفي بشروط معينة. إذا كان كذلك، فإن الشهادة تثبت.
يبدأ الأمر بكيفية تشكيل المطالبة. يجب على شخص ما أن يقرر ما يحتاج إلى إثباته، سواء كان ذلك الأهلية أو الهوية أو السمعة أو المشاركة في حدث سابق ما. ثم يجب هيكلة المطالبة بطريقة يمكن تقليصها إلى شيء قابل للإثبات. ليس كل شيء يتناسب مع هذا التنسيق بسهولة. المعلومات التي تعتمد على السياق تميل إلى مقاومة الضغط، لذلك تتم تبسيطها قبل أن يتم إنتاج الإثبات.
هذا بالفعل نوع من المقايضة، حتى لو كانت خفية. كلما كانت الحالة الأصلية أغنى، كان عليها أن تعيد تشكيل نفسها إلى شيء يمكن لنظام الإثبات التعامل معه.
ثم يتم إنشاء الإثبات. يتم تحويل البيانات الأساسية إلى كائن تشفيري. يقوم النظام بتشفير المطالبة في قيود وينتج شيئًا يمكن التحقق منه لاحقًا. في هذه المرحلة، لم تعد البيانات الأصلية مرئية. إنها موجودة فقط كشيء يفي بشرط.
هنا حيث تعمل الخصوصية. لا يحتاج المحقق إلى رؤية التفاصيل. يحتاج فقط إلى تأكيد أن القيود قد تم الوفاء بها.
لكنها أيضًا حيث تختفي السرد. ماذا أدى إلى المطالبة؟ هل كانت هناك غموض في كيفية تفسيرها؟ هل كانت هناك حالات طرفية تغيرت تقريبًا نتيجة لذلك؟ لا شيء من ذلك يسافر مع الإثبات. لم يُصمم النظام لحمله، وليس ذلك نقدًا، بل ملاحظة حول ما يُترك خلفه.
بعد ذلك، يتم إرفاق الإثبات بشهادة وكتابته في النظام. في بروتوكول Sign، يصبح هذا جزءًا من شبكة أوسع من المطالبات التي يمكن الإشارة إليها أو إعادة استخدامها أو تركيبها مع الآخرين. الآن الشهادة قائمة بذاتها.
هذا مفيد حقًا. يقلل من الاحتكاك. يسمح لأجزاء مختلفة من النظام البيئي بالتفاعل دون الحاجة إلى إعادة تقييم مستمرة.
لكنه يقدم أيضًا نوعًا من المسافة. كل شهادة غير مرتبطة بالظروف التي أنتجتها. مع مرور الوقت، تتراكم طبقات من هذه الشهادات. يبدو الهيكل متماسكًا من الخارج.
المرحلة النهائية هي التحقق. يتحقق المراقب من الإثبات. الناتج ثنائي. صالح أو غير صالح. إذا كان صالحًا، تُقبل المطالبة.
هذه هي النقطة الأكثر حدًا في العملية بأكملها. تتقلص كل التعقيدات السابقة إلى قطعة واحدة فقط من المعلومات.
يعمل لأن النظام صُمم من أجل ذلك بالضبط. لكن البساطة يمكن أن تكون مضللة بطرق يسهل تفويتها.
إثبات صالح لا يشرح لماذا تكون المطالبة مهمة. لا يظهر مدى قرب المطالبة من الفشل. لا يكشف ما إذا كانت هناك تفسيرات بديلة ممكنة. يظهر أن شرطًا ما تم الوفاء به، وليس أكثر من ذلك.
في العديد من الحالات، يكفي ذلك.
لكن ليس دائمًا. هناك حالات حيث لا يكون السياق مجرد معلومات إضافية بجانب المطالبة. إنه جزء مما تعنيه المطالبة. إزالته لا تحمي الخصوصية فقط. إنها تعيد تشكيل الشيء الذي تم المطالبة به.
في بروتوكول Sign، حيث يمكن إعادة استخدام الشهادات عبر تطبيقات مختلفة، يصبح هذا أكثر وضوحًا. قد يتم استهلاك إثبات تم إنتاجه في سياق واحد في آخر حيث تكون الافتراضات مختلفة قليلاً. لا يزال التحقق يمر. لكن التفسير قد يتغير.
لا شعور بمشكلة في أي خطوة بمفردها. كل مرحلة تقوم بما يُفترض بها القيام به. يتم تعريف المطالبة، ويتم إنتاج الإثبات، ويتم تسجيل الشهادة، ويتم تنفيذ التحقق.
تحدث عملية الضغط تدريجياً، على الرغم من ذلك. أولاً في كيفية صياغة المطالبة. ثم في كيفية بناء الإثبات. ثم في كيفية تخزين الشهادة. ثم في كيفية تفسير التحقق.
في النهاية، ما يتبقى هو شيء قابل للنقل وفعال للغاية، ولكنه أيضًا منفصل عن الظروف التي أعطته معنى في المقام الأول.
أنا حقًا غير متأكد ما إذا كان ذلك عيبًا أو مجرد خاصية من التصميم. قد يكون كلاهما، اعتمادًا على ما تُستخدم من أجله الشهادة.
في بعض البيئات، تقليل كل شيء إلى نتيجة نعم/لا هو بالضبط ما يسمح للأنظمة بالتوسع. البديل، إعادة التقييم المستمرة، لا يصمد جيدًا في الإعدادات الموزعة. هذه قيود حقيقية، ليست تافهة.
ومع ذلك، هناك سؤال يبقى في الخلفية عندما أفكر في هذا.
إذا أصبحت الثقة مجموعة من الإثباتات التي لم تعد تحمل سياقها الخاص، فإن الفهم يتحول بعيدًا عن البيانات نفسها نحو الافتراضات التي تم إجراؤها عند إنشاء الإثباتات. وهذه الافتراضات لا تسافر دائمًا بنفس سهولة ما تفعله الإثباتات.
عن قرب، مع ذلك، تتكشف العملية على مراحل. كل مرحلة هي حيث يحدث شيء هادئ دون ضجيج.🚀
@SignOfficial $SIGN