الانتقال إلى المحتوى
Financial Context Wiki

المراكم التشفيرية

دليل يركز على التحقق من المراكم التشفيرية، ويتناول التصاميم القائمة على RSA والتجزئة، وشواهد العضوية وعدم العضوية، والتحديثات الديناميكية، واستخدامات سلاسل الكتل، والمخاطر التشغيلية.

آخر تحديث

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

الإجابة المباشرة

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

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

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

آلية العمل

  1. حدّد المجموعة بدقة. عرّف الترميز المعياري للعناصر، وطريقة التعامل مع التكرارات، وقواعد الترتيب حيثما تنطبق، وفصل النطاقات، والإصدار المحدد للالتزام. لا يثبت برهان خاص بترميز أو جذر حالة معين أي شيء عن ترميز أو جذر آخر.

  2. نفّذ إعداد المخطط. قد لا يحتاج المركم القائم على التجزئة إلا إلى معلمات تجزئة عامة. أما مركم RSA فيستخدم مجموعة ذات رتبة مجهولة، تُشتق عادةً من معامل RSA هو N؛ ويتطلب الأمان ألا تتمكن الجهات غير المخولة من استغلال تحليل هذا المعامل إلى عوامله. ويمكن لمخططات أخرى استخدام الاقترانات أو مجموعات الأصناف أو الشبكات أو معلمات عامة إضافية ذات افتراضات ثقة مختلفة.

  3. حوّل العناصر إلى التمثيل الجبري. في بناء RSA مبسط، يُحوّل كل عنصر x_i بطريقة حتمية إلى ممثل أولي مميز p_i. ومع الأساس g، يكون المركم:

    A = g^(p_1 * p_2 * ... * p_n) mod N

  4. أنشئ شاهد عضوية. بالنسبة إلى العنصر الذي يمثله p_i، احذف عامله من الأس:

    w_i = g^(product of p_j for all j != i) mod N

  5. تحقق مقابل المركم المحدد بالضبط. يفحص المُتحقق المدخلات المعيارية ويقيّم:

    w_i^(p_i) mod N = A

    بموجب افتراض الأمان الذي يعتمد عليه المخطط، ينبغي أن يكون تحقيق هذه المساواة لعنصر خارج المجموعة المتراكمة غير ممكن عمليًا. ولا تثبت المساواة أن العنصر نفسه صادق أو مخول.

  6. عالج التحديثات وعدم العضوية كلًا على حدة. تحدد المخططات الديناميكية كيف تغير عمليات الإضافة والحذف A وكيف تُحدّث الشواهد المتأثرة. وتضيف المخططات الشاملة شاهدًا مميزًا لعدم العضوية وخوارزمية تحقق خاصة به. ويجب أن ترفض التطبيقات الشواهد القديمة والتحديثات المرتبطة بحالة مختلفة.

  7. قارن البنى القائمة على التجزئة وفق تكاليفها الفعلية. تُعد شجرة Merkle مركمًا قائمًا على التجزئة بالمعنى الواسع: جذرها قصير، بينما يحتوي برهان العضوية على تجزئات الأشقاء على طول مسار، ومن ثم ينمو لوغاريتميًا مع عدد الأوراق. ويمكن للمخططات القائمة على RSA توفير شواهد فردية ثابتة الحجم، لكن لإنشاء البراهين وصيانة الشواهد والإعداد والحساب تكاليف مختلفة.

أمثلة تطبيقية

  • حجم برهان Merkle. تحتاج شجرة Merkle ثنائية متوازنة تضم 1,048,576 = 2^20 ورقة إلى 20 تجزئة شقيقة لمسار تضمين واحد. ومع تجزئات طولها 32 بايت، يساوي ذلك 20 * 32 = 640 bytes قبل بيانات الورقة وبتات الموضع وأعباء التسلسل. ويظل الجذر بطول 32 بايت.
  • ثبات الحجم لا يعني ثبات مقدار العمل. في بناء RSA المبسط، يظل كل من A وw_i عنصرًا واحدًا من المجموعة مع نمو المجموعة. ومع ذلك، قد يظل أس حاصل الضرب، وتوليد الممثلين الأوليين، والتحديثات الدفعية، وتوزيع الشواهد المحدّثة بحاجة إلى قدر كبير من الحساب أو البيانات المساعدة.
  • يغيّر مركم UTXO الجهة التي تخزن كل نوع من البيانات. يمكن لعقدة ذات حالة مضغوطة الاحتفاظ بمركم للمخرجات غير المنفقة والتحقق من إنفاق ما فقط عندما تتلقى المخرج مع برهان عضوية حالي. ويظل على مشاركين آخرين الاحتفاظ بحالة كافية لإنشاء تلك البراهين، كما يجب أن تزيل التحديثات المخرجات المنفقة وتضيف المخرجات المنشأة حديثًا.
  • ينطبق الحد نفسه على الإبطال. يمكن لحامل بيانات اعتماد إثبات أن معرّفًا ما لا يزال في مركم الأعضاء النشطين، أو استخدام تصميم شامل لإثبات غيابه عن مجموعة الإبطال. يصادق البرهان على المجموعة التي التزمت بها الجهة المُصدرة؛ لكنه لا يثبت أن الجهة المُصدرة طبقت سياسة إبطال عادلة أو صحيحة.

المخاطر

  • استخدام ترميزات غامضة أو غير معيارية للعناصر، بما يسمح بتمثيل العنصر المنطقي نفسه بصور مختلفة.
  • تحويل العناصر إلى ممثلين أوليين بصورة خاطئة أو من دون ضوابط التصادم التي يتطلبها المخطط.
  • الثقة في معامل RSA قد يكون تحليلُه إلى عوامله معروفًا لجهة الإعداد أو لمهاجم.
  • اعتبار مراسم إعداد متعددة الأطراف آمنة من دون التحقق من سجلها وافتراضات المشاركين وربط المعلمات.
  • السماح لمسؤول باستبدال المعلمات العامة أو إصدارات المركم من دون قواعد ترحيل موثقة بالمصادقة.
  • التحقق من شاهد مقابل قيمة مركم قديمة أو غير نهائية أو اختارها مهاجم.
  • تطبيق إضافة أو حذف أو تحديث شاهد من كتلة أو فرع أو حقبة أو إصدار مجموعة غير صحيح.
  • افتراض أن شاهد العضوية يثبت أيضًا صحة العنصر أو ملكيته أو التفويض به أو قيمته الاقتصادية.
  • افتراض أن الالتزام القصير يجعل المجموعة الأساسية متاحة أو قابلة للاستعادة.
  • فقدان البيانات أو الخدمة اللازمة لإنشاء الشواهد الحالية، مما يجعل حالة صحيحة غير قابلة للاستخدام.
  • إغفال دعم عدم العضوية مع اعتماد التطبيق ضمنيًا على براهين الغياب.
  • الخلط بين مسار Merkle وشاهد RSA وفتح كثير الحدود وبرهان الصلاحية كما لو كانت عناصر قابلة للتبادل.
  • تجاهل تكاليف الحذف، أو حركة تحديث الشواهد، أو زمن إنشاء البراهين، أو المدخلات المستخدمة لحجب الخدمة.
  • عدم ربط البراهين ببروتوكول وسلسلة وعقد وجذر حالة ونطاق وإصدار تسلسل محددة.
  • الاعتماد على تطبيق واحد غير مدقق أو عمليات حسابية مخصصة من دون متجهات اختبار مستقلة.
  • افتراض أن أمان RSA أو الاقترانات أو اللوغاريتمات المتقطعة التقليدي سيظل قائمًا أمام حاسوب كمي ذي قدرة تشفيرية مؤثرة.

مفاهيم خاطئة شائعة

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

مواضيع ذات صلة

المصادر

التنقل

ابحث في الويكي...