التزام بيدرسن

ما هو التزام بيدرسن؟

التزام بيدرسن هو مخطط التزام تشفيري يتيح للمستخدم إخفاء قيمة مع الالتزام بها تحديدًا، بحيث لا يمكن تغييرها لاحقًا.

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

غالبًا ما يُشرح مخطط الالتزام من خلال تشبيه ظرف مختوم.

تضع قيمة سرية داخل ظرف، ثم تغلقه وتعرض الظرف المختوم على الآخرين.

لا يستطيع الآخرون رؤية القيمة الموجودة داخله، لكنك لا تستطيع أيضًا تغييرها بعد إغلاق الظرف.

يحقق التزام بيدرسن هذا الأثر بالرياضيات بدلًا من الورق.

يرتبط البناء الأصلي بورقة توربن بريدس بيدرسن تقاسم الأسرار القابل للتحقق، الآمن من حيث المعلومات، وغير التفاعلي، التي قدمت التزامات تُستخدم في تقاسم الأسرار القابل للتحقق.

غالبًا ما تُمثّل الصيغة المبسطة القياسية على النحو التالي

.

في هذه الصيغة، تمثل

الالتزام، وتمثل القيمة المخفية، ويمثل عامل التعمية العشوائي، بينما تمثل و نقطتي توليد مستقلتين في مجموعة تشفيرية.

تظل القيمة

مخفية لأن عامل التعمية العشوائي يحجبها.

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

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

أهم النقاط حول التزامات بيدرسن

• • يخفي التزام بيدرسن قيمة، مع إلزام مقدم الالتزام بها.
  • تأخذ الصيغة عادةً الشكل
    C = rG + vH
    ، حيث تمثل
    v
    القيمة ويمثل
    r
    عامل التعمية.
  • يوفر الالتزام خاصية الإخفاء لأن عامل التعمية العشوائي يمنع الآخرين من معرفة القيمة الملتزم بها.
  • وهو ملزم لأن مقدم الالتزام لا يستطيع بسهولة فتح الالتزام نفسه على أنه قيمتان مختلفتان.
  • يتمتع بخاصية التجانس الجمعي، ما يعني إمكانية جمع الالتزامات بطرق مفيدة.
  • يُستخدم على نطاق واسع في المعاملات السرية وإثباتات النطاق وأنظمة المعرفة الصفرية وتصميمات البلوكشين التي تركز على الخصوصية.

أهمية التزامات بيدرسن في عالم العملات المشفرة

تنبع أهمية التزامات بيدرسن من أن البلوكشينات العامة تطرح تحديًا يتعلق بالخصوصية.

تجعل كثير من البلوكشينات بيانات المعاملات مرئية للجميع.

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

تساعد التزامات بيدرسن على معالجة جزء من هذه المشكلة من خلال إخفاء المبالغ مع إتاحة إجراء فحوص رياضية.

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

يمكن لالتزام بيدرسن إخفاء كل مبلغ مع الحفاظ على بنية كافية لإثبات توازن الأرقام.

توضح شرح المعاملات السرية من مشروع Elements أن الأداة الأساسية وراء المعاملات السرية هي التزام بيدرسن.

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

وتكتسب التزامات بيدرسن أهمية أيضًا في إثباتات المعرفة الصفرية.

يمكن لإثبات المعرفة الصفرية إثبات أن قيمة مخفية وملتزمًا بها تستوفي قاعدة معينة دون الكشف عن القيمة نفسها.

وهذا يجعل الالتزامات مكوّنًا أساسيًا للتحويلات الخاصة والأرصدة المحمية والأصول السرية وأنظمة الإثبات والبروتوكولات التشفيرية الآمنة.

كيف يعمل التزام بيدرسن

يجمع التزام بيدرسن بين قيمة مخفية وبيانات سرية عشوائية.

القيمة المخفية هي ما يريد المستخدم الالتزام به.

وتُسمى البيانات السرية العشوائية عامل التعمية.

عامل التعمية ضروري لأنه يمنع الآخرين من تخمين القيمة المخفية.

إذا اعتمد الالتزام على القيمة وحدها، لأمكن لشخص تجربة قيم محتملة ومقارنة النتائج.

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

تتجنب التزامات بيدرسن ذلك من خلال مزج القيمة بالعشوائية.

من الصيغ الشائعة القائمة على المنحنيات الإهليلجية

.

تُضرب نقطة التوليد

في عامل التعمية .

وتُضرب نقطة التوليد

في القيمة .

ثم تُجمع النقطتان الناتجتان لإنشاء الالتزام

.

يمكن للجميع رؤية

، لكن لا يمكنهم اكتشاف بسهولة لأنهم لا يعرفون .

لاحقًا، يستطيع مقدم الالتزام الكشف عن

و لفتح الالتزام.

ويمكن للمتحقق إعادة حساب

والتأكد مما إذا كانت النتيجة تساوي الالتزام الأصلي.

إذا تطابقت النتيجة، يكون فتح الالتزام صحيحًا.

خاصية الإخفاء

تعني خاصية الإخفاء أن الالتزام لا يكشف القيمة الملتزم بها.

في التزام بيدرسن، عامل التعمية هو ما يوفر هذه الخصوصية.

إذا اختير عامل التعمية عشوائيًا وظل سريًا، فيمكن للالتزام إخفاء القيمة حتى عندما يكون الالتزام نفسه عامًا.

ولهذا تُعد التزامات بيدرسن مفيدة في أنظمة المعاملات السرية.

يمكن للبلوكشين عرض التزام على السلسلة دون إظهار المبلغ المرتبط به.

قد يرى المراقبون وقوع معاملة، لكنهم لا يستطيعون قراءة القيمة الملتزم بها مباشرةً من الالتزام وحده.

تعتمد خاصية الإخفاء على العشوائية السليمة.

إذا أُعيد استخدام عامل التعمية أو كان متوقعًا أو كُشف أو وُلّد بطريقة سيئة، فقد تضعف الخصوصية.

وبالنسبة إلى مطوري العملات المشفرة، فإن توليد الأرقام العشوائية بأمان ليس تفصيلًا ثانويًا.

بل هو جزء من أمان الالتزام نفسه.

خاصية الإلزام

تعني خاصية الإلزام أن مقدم الالتزام لا يستطيع بسهولة تغيير القيمة الملتزم بها بعد إنشاء الالتزام.

إذا التزم شخص بـ

، فلا ينبغي أن يتمكن لاحقًا من فتح الالتزام نفسه على أنه .

في التزامات بيدرسن، يعتمد الإلزام على صعوبة معرفة علاقة اللوغاريتم المتقطع بين نقطتي التوليد.

يجب اختيار النقطتين

و بحيث لا يعرف أحد عددًا سريًا يحقق .

إذا عرف شخص هذه العلاقة، فقد يتمكن من إنشاء فتحات مختلفة للالتزام نفسه.

وهذا من شأنه أن يخرق خاصية الإلزام.

لذلك، يُعد اختيار نقاط التوليد بطريقة موثوقة أمرًا مهمًا.

تستخدم أنظمة كثيرة أساليب اشتقاق لنقاط التوليد من نوع «لا شيء مخفي في الكُم» لتقليل الشك في أن شخصًا ما يعرف سرًا العلاقة بين نقطتي التوليد.

خاصية الإلزام هي ما يجعل الالتزام أكثر من مجرد تشفير.

فالتشفير يخفي البيانات، لكن الالتزام يربط المرسل أيضًا بقيمة واحدة.

خاصية التجانس

تُعد خاصية التجانس أحد الأسباب الرئيسية التي تجعل التزامات بيدرسن قيّمة جدًا في عالم العملات المشفرة.

تتمتع التزامات بيدرسن بالتجانس الجمعي.

ويعني ذلك إمكانية جمع الالتزامات، بحيث تقابل النتيجة التزامًا بمجموع القيم المخفية.

باستخدام الصيغة المبسطة، إذا كان

و، فإن .

تتيح هذه الخاصية للنظام التحقق من العلاقات الحسابية دون الكشف عن القيم.

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

لا يحتاج المتحقق إلى معرفة المبالغ المخفية للتأكد من توازن المعاملة.

وتشرح وثائق Elements هذا السلوك الجمعي من خلال توضيح أن مجموع الالتزامات يساوي التزامًا بمجموع البيانات وعوامل التعمية.

تجعل خاصية التجانس هذه التزامات بيدرسن مفيدة في الأنظمة المالية التي تحافظ على الخصوصية.

التزامات بيدرسن في المعاملات السرية

تستخدم المعاملات السرية التشفير لإخفاء مبالغ المعاملات مع إتاحة التحقق منها.

وتُعد التزامات بيدرسن أداة أساسية في هذا التصميم.

بدلًا من نشر المبلغ مباشرةً، يمكن للمعاملة نشر التزام بالمبلغ.

يمكن للمدققين التحقق من توازن الالتزامات، ما يعني أن المعاملة لا تنشئ قيمة من العدم.

لكن المدققين لا يرون المبالغ الدقيقة.

وهذا يمنح المستخدمين خصوصية مالية أكبر، مع الحفاظ على قواعد المعروض في النظام.

تحتاج المعاملات السرية أيضًا إلى إثباتات النطاق.

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

تُعد إثباتات النطاق ضرورية لأن الحساب المتجانس وحده قد يسمح للقيم السالبة المخفية بإخفاء التضخم.

يجب أن يثبت نظام المعاملات السرية الآمن توازن المعاملة وصحة النطاقات معًا.

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

التزامات بيدرسن وإثباتات النطاق

إثبات النطاق هو إثبات معرفة صفرية يثبت أن عددًا ملتزمًا به يقع ضمن نطاق صالح.

وهذا مهم لأن التزام بيدرسن يخفي القيمة بالكامل.

وعندما تكون القيمة مخفية، يحتاج المدققون إلى وسيلة أخرى للتأكد من أنها ليست سالبة أو أكبر من قيمة ممكنة.

على سبيل المثال، قد تبدو المعاملة متوازنة إذا استخدم أحد المخرجات المخفية قيمة سالبة سرًا.

تمنع إثباتات النطاق ذلك من خلال إثبات صلاحية كل مبلغ ملتزم به.

تُعد Bulletproofs أحد أنظمة إثبات النطاق المعروفة المستخدمة مع التزامات بيدرسن.

يوضح تنفيذ Bulletproofs من dalek دعمه لإثباتات النطاق الفردية والمجمّعة باستخدام مجموعة Ristretto.

تُعد إثباتات النطاق المجمّعة مفيدة لأنها قد تثبت نطاقات قيم متعددة بكفاءة أعلى من الإثباتات المنفصلة في حالات كثيرة.

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

غالبًا ما تكون كلتا الأداتين ضروريتين في أنظمة المعاملات التي تحافظ على الخصوصية.

التزامات بيدرسن في إثباتات المعرفة الصفرية

غالبًا ما تُستخدم التزامات بيدرسن داخل أنظمة إثبات المعرفة الصفرية.

يمكن للمُثبِت الالتزام بقيم سرية ثم إثبات عبارات بشأنها.

ويستطيع المتحقق فحص الإثبات دون معرفة الأسرار.

على سبيل المثال، قد يثبت المستخدم أن رصيدًا مخفيًا كافٍ لإجراء دفعة.

وقد يثبت المستخدم تساوي قيمتين ملتزم بهما.

وقد يثبت أن قيمة ملتزمًا بها تقع ضمن نطاق معين.

وقد يثبت بروتوكول أن مجموع المدخلات الملتزم بها يساوي مجموع المخرجات الملتزم بها.

يمكن لهذه الإثباتات دعم الخصوصية من دون تعطيل التحقق.

وهذا أحد الأهداف الأساسية لأنظمة الخصوصية الحديثة في عالم العملات المشفرة.

ينبغي أن تتمكن الشبكة العامة من رفض المعاملات غير الصالحة دون الاطلاع على كل التفاصيل الخاصة.

تساعد التزامات بيدرسن على تحقيق التوازن بين الخصوصية وقابلية التدقيق.

التزامات بيدرسن في الأنظمة الشبيهة بـ Zcash

تستخدم بعض بروتوكولات البلوكشين التي تركز على الخصوصية مخططات التزام لإخفاء تفاصيل المعاملات المحمية.

يحدد المواصفات الحالية لبروتوكول Zcash مخططات الالتزام، ويناقش التزامات على نمط بيدرسن ضمن تصميم البروتوكول.

تشرح المواصفات مخططات الالتزام من حيث متطلبات الإخفاء والإلزام.

كما تحدد التزامات بيدرسن متجانسة لالتزامات القيمة في مكونات المعاملات المحمية.

في هذا النوع من الأنظمة، يمكن لالتزام القيمة إخفاء المبلغ مع إتاحة التحقق من توازن المعاملة عبر إثبات معرفة صفرية.

لا تحتاج السلسلة العامة إلى عرض المبلغ الخام كي يثبت البروتوكول الحفاظ على القيمة.

يوضح هذا التصميم أن التزامات بيدرسن ليست مجرد فكرة أكاديمية.

بل هي أدوات تشفيرية عملية تُستخدم فعليًا في هندسة الخصوصية للبلوكشين.

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

ينبغي للمستخدمين ألا يفترضوا أن كل بروتوكول يستخدم الالتزامات يوفر المستوى نفسه من الخصوصية أو يعتمد النموذج الأمني نفسه.

التزام بيدرسن مقابل التزام التجزئة

يمكن إنشاء التزام تجزئة عبر تجزئة قيمة مع قيمة عشوائية لمرة واحدة.

على سبيل المثال، قد تبدو صيغة التزام تجزئة بسيطة هكذا

.

قد يوفر ذلك خاصيتي الإخفاء والإلزام إذا صُمم على نحو صحيح.

لكن التزام التجزئة الأساسي لا يدعم بطبيعته خاصية التجانس الجمعي نفسها التي يدعمها التزام بيدرسن.

وهذا الفرق مهم في عالم العملات المشفرة.

إذا كان النظام يحتاج فقط إلى إخفاء قيمة والكشف عنها لاحقًا، فقد يكون التزام التجزئة كافيًا.

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

تحتاج أنظمة المعاملات السرية إلى إجراء حسابات على القيم المخفية للتحقق من توازن الأموال.

ولهذا تنتشر التزامات بيدرسن في البروتوكولات المالية التي تحافظ على الخصوصية.

يعتمد الاختيار بين التزامات التجزئة والتزامات بيدرسن على احتياجات التطبيق.

التزام بيدرسن مقابل التشفير

التزام بيدرسن ليس هو نفسه التشفير.

يخفي التشفير المعلومات بحيث يستطيع شخص يملك المفتاح الصحيح فك تشفيرها وقراءتها.

أما الالتزام فيخفي المعلومات، مع إلزام مقدم الالتزام بقيمة محددة.

في كثير من مخططات الالتزام، لا يوجد مفتاح فك تشفير منفصل يكشف القيمة.

لا تُكشف القيمة إلا عندما يفتح مقدم الالتزام الالتزام بإظهار القيمة وعامل التعمية.

هذا الفرق مهم في أنظمة البلوكشين.

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

يُفيد التشفير في الرسائل السرية.

أما الالتزامات فتُفيد في الادعاءات المخفية القابلة للتحقق.

تستخدم أنظمة العملات المشفرة المتقدمة كثيرًا كلتا الأداتين، لكنهما تعالجان مشكلتين مختلفتين.

التزام بيدرسن مقابل التزام Merkle

يلتزم Merkle بمجموعة من البيانات باستخدام تجزئات مرتبة في شجرة.

يمكن لجذر Merkle الالتزام بأوراق كثيرة، كما يمكن لإثبات Merkle أن يبين أن عنصرًا واحدًا ينتمي إلى المجموعة الملتزم بها.

أما التزام بيدرسن، فيلتزم عادةً بقيمة باستخدام عامل تعمية.

تختلف الأداتان، لكن يمكن استخدامهما معًا.

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

تساعد شجرة Merkle على إثبات وجود كائن ملتزم به ضمن مجموعة أكبر.

ويساعد التزام بيدرسن على إخفاء قيمة داخل ذلك الكائن وإلزام مقدم الالتزام بها.

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

تنظم التزامات Merkle البيانات.

وتخفي التزامات بيدرسن القيم وتُلزم بها.

التزام بيدرسن مقابل التوقيع الرقمي

يثبت التوقيع الرقمي أن مفتاحًا خاصًا أذن برسالة ما.

أما التزام بيدرسن فيثبت أن شخصًا ما التزم بقيمة مخفية.

هاتان وظيفتان تشفيريتان مختلفتان.

يجيب التوقيع عن السؤال: «هل أذن هذا المفتاح بهذه الرسالة؟»

أما الالتزام فيجيب عن السؤال: «هل ثُبّتت هذه القيمة المخفية سابقًا من دون الكشف عنها؟»

قد تستخدم معاملات العملات المشفرة الأداتين معًا.

قد يوقّع المستخدم معاملةً للإذن بإنفاق الأموال.

وقد تتضمن المعاملة أيضًا التزامات لإخفاء المبالغ.

بعد ذلك، قد تثبت إثباتات المعرفة الصفرية توافق البيانات المخفية الملتزم بها مع قواعد البروتوكول.

لكل أداة دور مختلف ضمن التصميم الأمني الكامل.

أهمية اختيار نقاط التوليد

تتطلب التزامات بيدرسن نقطتي توليد مستقلتين.

غالبًا ما يُشار إليهما بالرمزين

و.

يعتمد أمان خاصية الإلزام على ألا يعرف أحد علاقة اللوغاريتم المتقطع بينهما.

إذا عرف مصمم ضار العلاقة بين

و، فقد يتمكن من فتح الالتزام على أنه قيم مختلفة.

ولهذا يجب أن يكون اشتقاق نقاط التوليد شفافًا وموثوقًا.

غالبًا ما تشتق البروتوكولات نقاط التوليد من التجزئات أو التسميات المفصولة حسب المجال، كي يتمكن المستخدمون من رؤية أن نقاط التوليد لم تُختر سرًا باستخدام باب خلفي مخفي.

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

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

ولا ينبغي ارتجاله.

عوامل التعمية

عامل التعمية هو السر العشوائي الذي يخفي القيمة الملتزم بها.

في الصيغة

، يمثّل عامل التعمية.

ينبغي توليد عامل التعمية باستخدام عشوائية آمنة.

ويجب ألا يكون قابلًا للتوقع.

كما ينبغي عدم إعادة استخدامه بطرق غير آمنة.

ويجب ألا يُكشف.

إذا كُشف عامل التعمية، فيمكن عادةً فتح الالتزام.

وإذا كان عامل التعمية ضعيفًا، فقد يتمكن المهاجمون من تخمين القيم الملتزم بها.

في أنظمة المعاملات، قد تُوازن عوامل التعمية بعناية أيضًا كي يثبت مجموع الالتزامات الحفاظ على القيمة.

وهذا يجعل إدارة عوامل التعمية جزءًا أساسيًا من تصميم المعاملات السرية.

فتح التزام بيدرسن

يعني فتح التزام بيدرسن الكشف عن القيمة وعامل التعمية اللذين أنشآه.

يتحقق المتحقق من صحة الفتح عبر إعادة حساب الالتزام.

إذا ساوى الالتزام المعاد حسابه الالتزام الأصلي، يكون الفتح صالحًا.

على سبيل المثال، إذا كان الالتزام الأصلي هو

، يكشف مقدم الالتزام عن و.

ثم يحسب المتحقق

.

إذا ساوت النتيجة

، يقبل المتحقق الفتح.

وإذا لم تتطابق، يُرفض الفتح.

في كثير من أنظمة خصوصية البلوكشين، لا تُفتح الالتزامات بالكامل للعامة.

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

وهذا يتيح الحفاظ على الخصوصية مع استمرار التحقق.

الإلزام الحاسوبي والإخفاء التام

غالبًا ما توصف التزامات بيدرسن بأنها تامة الإخفاء وملزمة حاسوبيًا.

يعني الإخفاء التام أن الالتزام لا يكشف أي معلومات عن القيمة إذا كان عامل التعمية عشوائيًا حقًا.

أما الإلزام الحاسوبي فيعني أن خرق خاصية الإلزام ينبغي أن يتطلب حل مسألة رياضية صعبة.

في معظم إعدادات المنحنيات الإهليلجية، ترتبط هذه المسألة الصعبة بمسألة اللوغاريتم المتقطع.

يُعد هذا النموذج الأمني غير مألوف ومفيدًا.

فهو يوفر خصوصية قوية جدًا للقيمة الملتزم بها، مع الاعتماد على افتراضات حاسوبية لمنع الغش.

لكن مستوى الأمان الفعلي يعتمد على المجموعة ونقاط التوليد والعشوائية والتنفيذ وسياق البروتوكول.

قد يظل المكوّن الرياضي السليم غير آمن إذا نُفذ بطريقة سيئة.

لذلك، لا تقل أهمية الهندسة التشفيرية عن أهمية الصيغة الرياضية.

التزامات بيدرسن والمنحنيات الإهليلجية

تُنفذ كثير من التزامات بيدرسن الحديثة باستخدام مجموعات المنحنيات الإهليلجية.

تُعد المنحنيات الإهليلجية مفيدة لأنها تدعم عمليات مجموعة فعالة وتمثيلات موجزة.

يمكن حساب صيغة الالتزام

باستخدام الضرب القياسي والجمع النقطي على المنحنى الإهليلجي.

قد تستخدم البروتوكولات المختلفة منحنيات ومجموعات مختلفة.

وتستخدم بعض الأنظمة مجموعات مصممة لتجنب مشكلات عامل المجموعة الفرعية الدقيقة.

توضح وثائق curve25519-dalek أن Ristretto بناء لمجموعة ذات رتبة أولية يوفر مزايا في السرعة والأمان دون عدم تطابق في التجريدات بسبب عامل المجموعة الفرعية.

وهذا مهم لأن اختيار المجموعة قد يؤثر في الأمان وتصميم الإثباتات وسلامة التنفيذ وقابلية التشغيل البيني.

ينبغي للمطورين عدم مزج نقاط المنحنى أو الترميزات أو افتراضات المجموعات الفرعية بلا تدقيق.

فمن السهل ارتكاب أخطاء في تفاصيل المجموعات التشفيرية، ويصعب على المستخدمين تدقيقها.

التزامات بيدرسن في الحوسبة متعددة الأطراف

تُعد التزامات بيدرسن مفيدة أيضًا في الحوسبة متعددة الأطراف والتشفير بعتبة.

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

يمكن للالتزام أن يساعد أحد الأطراف على إثبات التزامه بالبروتوكول بأمانة.

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

وهذا يساعد على منع مشارك غير نزيه من تغيير قيمته بعد الاطلاع على رسائل المشاركين الآخرين.

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

في البنية التحتية للعملات المشفرة، يمكن لأفكار مشابهة دعم المحافظ ذات العتبة وتوليد المفاتيح الموزع وأنظمة المدققين وضوابط الحفظ وبروتوكولات التوقيع الآمن.

الفكرة المشتركة هي المساءلة دون إفصاح غير ضروري.

التزامات بيدرسن والتحقق من المعروض

يتمثل أحد التحديات الرئيسية في أنظمة العملات المشفرة الخاصة في إثبات أن المعاملات المخفية لا تؤدي إلى تضخم المعروض.

إذا كانت المبالغ مخفية، فلا يزال على الشبكة التأكد من عدم إنشاء عملات سرًا.

تساعد التزامات بيدرسن لأن خاصية التجانس فيها تتيح إجراء فحوص توازن على القيم المخفية.

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

لكن يجب الجمع بين فحص التوازن وإثباتات النطاق وفحوص الصلاحية الأخرى.

وإلا فقد تكسر القيم السالبة المخفية أو الترميزات غير الصالحة النظام.

لذلك، يُعد التحقق من المعروض في الأنظمة الخاصة مسألة تصميم بروتوكول متكامل.

تُعد التزامات بيدرسن مكوّنًا أساسيًا، لكنها لا تمثل الحل كاملًا.

قيود التزامات بيدرسن

لا تثبت التزامات بيدرسن وحدها أن القيمة المخفية صالحة.

فهي تخفي القيمة وتُلزم مقدم الالتزام بها فحسب.

يلزم إثبات منفصل لإظهار أن القيمة تقع ضمن نطاق صالح.

وقد يلزم أيضًا إثبات منفصل لإظهار استيفاء القيمة الملتزم بها قواعد التطبيق المحددة.

كما أن التزامات بيدرسن لا تحدد مالك القيمة.

ولا تأذن بإنفاقها.

ولا تشفر الرسائل لمتلقيها.

ولا تمنع تلقائيًا تسرب البيانات الوصفية.

ولا تحمي المستخدمين من المحافظ الضارة أو العشوائية السيئة أو المعلمات غير الآمنة أو العقود الذكية المعيبة.

إنها أداة قوية، لكنها مجرد مكوّن تشفيري واحد ضمن نظام تشفيري أكبر.

مخاطر الأمان وأخطاء التنفيذ

من المخاطر الرئيسية ضعف العشوائية.

إذا كانت عوامل التعمية قابلة للتوقع، فقد تفشل الخصوصية.

ومن المخاطر الأخرى وجود أبواب خلفية في نقاط التوليد.

إذا عرف شخص العلاقة بين نقاط التوليد، فقد تفشل خاصية الإلزام.

الخطر الثالث هو غياب إثباتات النطاق.

إذا لم يُثبت أن القيم المخفية تقع ضمن النطاق، فقد يستغل المهاجمون المبالغ السالبة أو التي تتجاوز الحدود.

الخطر الرابع هو أخطاء المجموعة الفرعية أو عامل المجموعة الفرعية.

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

الخطر الخامس هو فشل الفصل حسب المجال.

إذا أُعيد استخدام معلمات الالتزام نفسها في سياقات مختلفة دون تسميات واضحة، فقد تتفاعل التوقيعات أو الإثباتات بطرق غير آمنة.

الخطر السادس هو ضعف تكامل المحفظة أو البروتوكول.

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

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

حالات الاستخدام الشائعة لالتزامات بيدرسن

تُستخدم التزامات بيدرسن في المعاملات السرية.

وتُستخدم في أنظمة إثبات النطاق.

وتُستخدم في دوائر إثبات المعرفة الصفرية.

وتُستخدم في تقاسم الأسرار القابل للتحقق.

وتُستخدم في بروتوكولات الحوسبة متعددة الأطراف.

وتُستخدم في بعض تصميمات المدفوعات الخاصة.

وتُستخدم في أنظمة الأرصدة المخفية.

وتُستخدم في أنظمة الإثبات الخاصة بالقيود الحسابية.

وتُستخدم في الأبحاث التشفيرية المتعلقة بالالتزامات والخصوصية والحوسبة الآمنة.

غالبًا ما تُستخدم عندما يحتاج البروتوكول إلى السرية وإمكانية التحقق لاحقًا معًا.

التزامات بيدرسن للمطورين

ينبغي للمطورين التعامل مع التزامات بيدرسن باعتبارها مكونات تشفيرية منخفضة المستوى.

ولا ينبغي تنفيذها من الصفر إلا إذا كانت لديهم خبرة تشفيرية قوية.

يتطلب التنفيذ الآمن عمليات صحيحة على المجموعات وعشوائية آمنة واشتقاقًا سليمًا لنقاط التوليد والتحقق من النقاط ومعالجة القيم العددية والتسلسل والفصل حسب المجال والتكامل مع الإثباتات.

ينبغي للمطورين استخدام مكتبات راسخة متى أمكن.

كما ينبغي لهم فهم نموذج المجموعة والافتراضات التي تعتمد عليها المكتبة.

قد لا تكون المكتبة المصممة للتوقيعات آمنة تلقائيًا للاستخدام في الالتزامات.

وقد لا تتوافق مكتبة مصممة لمنحنى معين مع تنسيق الالتزام في بروتوكول آخر.

تُعد متجهات الاختبار مهمة لأن ترميزات الالتزام يجب أن تتطابق بدقة بين المحافظ والعُقد والدوائر والمتحققات.

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

التزامات بيدرسن للمستخدمين

لا ينشئ معظم مستخدمي العملات المشفرة التزامات بيدرسن يدويًا مطلقًا.

بل يتعاملون معها عبر المحافظ أو البروتوكولات أو مجمعات الحماية أو أدوات الخصوصية أو تطبيقات المعرفة الصفرية.

قد يرى المستخدم فائدتها في إخفاء المبالغ أو الأرصدة الخاصة أو زيادة سرية النشاط على السلسلة.

لكن ينبغي للمستخدمين إدراك أن الخصوصية تعتمد على النظام بأكمله.

قد يخفي البروتوكول المبالغ، لكنه يظل يكشف سلوك المرسل أو التوقيت أو بيانات الشبكة الوصفية أو أنماط المحفظة.

وقد تدعم المحفظة تحويلًا خاصًا، لكنها تظل تكشف المعلومات بسبب إعادة استخدام العناوين أو ضعف أمان العمليات.

وقد يكشف جسر أو تطبيق معلومات خاصة عبر ربط الأنشطة المحمية بالأنشطة الشفافة.

تساعد التزامات بيدرسن على إخفاء القيم، لكنها لا تجعل كل جوانب نشاط العملات المشفرة خاصة.

ينبغي للمستخدمين اتباع إرشادات الخصوصية الخاصة بالمحفظة أو البروتوكول الذي يستخدمونه.

التزام بيدرسن في جملة واحدة

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

الأسئلة الشائعة

ما هو التزام بيدرسن ببساطة؟

التزام بيدرسن طريقة لتثبيت قيمة سرية دون الكشف عنها، مع ضمان عدم تغييرها لاحقًا.

ما صيغة التزام بيدرسن؟

إحدى الصيغ الشائعة هي

، حيث تمثل الالتزام، وتمثل القيمة المخفية، ويمثل عامل التعمية، وتمثل و نقطتي التوليد.

لماذا يُعد عامل التعمية مهمًا؟

يخفي عامل التعمية القيمة الملتزم بها ويمنع الآخرين من تخمينها بسهولة.

ما معنى الإخفاء في التزام بيدرسن؟

يعني الإخفاء أن الالتزام لا يكشف القيمة التي يتضمنها عندما يكون عامل التعمية عشوائيًا وسريًا.

ما معنى الإلزام في التزام بيدرسن؟

يعني الإلزام أنه ينبغي ألا يتمكن مقدم الالتزام من فتح الالتزام نفسه على أنه قيمتان مختلفتان.

ما معنى التجانس في التزامات بيدرسن؟

يعني التجانس إمكانية جمع الالتزامات بحيث تقابل النتيجة التزامًا بمجموع القيم المخفية.

لماذا تُستخدم التزامات بيدرسن في المعاملات السرية؟

تُستخدم لأنها تستطيع إخفاء مبالغ المعاملات مع السماح للشبكة بالتحقق من توازن المدخلات والمخرجات.

هل تثبت التزامات بيدرسن أن المبلغ موجب؟

لا. يلزم إثبات نطاق منفصل لإثبات أن المبلغ المخفي يقع ضمن نطاق صالح.

هل التزامات بيدرسن هي نفسها التشفير؟

لا. يخفي التشفير البيانات لإتاحة فك تشفيرها لاحقًا، بينما يخفي الالتزام البيانات مع إلزام مقدم الالتزام بقيمة واحدة.

هل يمكن فتح التزام بيدرسن؟

نعم، يمكن فتحه بالكشف عن القيمة الملتزم بها وعامل التعمية.

ماذا يحدث إذا تسرّب عامل التعمية؟

إذا تسرّب عامل التعمية مع توفر سياق كافٍ، فقد تُكشف القيمة المخفية أو يصبح بإمكان الآخرين التحقق منها.

هل التزامات بيدرسن آمنة؟

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

الخاتمة

تُعد التزامات بيدرسن من أهم مخططات الالتزام في خصوصية العملات المشفرة وتشفير المعرفة الصفرية.

فهي تتيح للبروتوكول إخفاء القيم مع إلزام المستخدمين بها.

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

كما تدعم إثباتات النطاق وأنظمة المعرفة الصفرية وتقاسم الأسرار القابل للتحقق والبروتوكولات التشفيرية متعددة الأطراف.

الفكرة الأساسية سهلة الشرح، لكن تنفيذها بأمان صعب.

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

أهم درس للمستخدمين هو أن التزامات بيدرسن تساعد على حماية الخصوصية، لكنها لا تجعل المعاملة بأكملها خاصة بمفردها.

تعتمد الخصوصية على البروتوكول كاملًا وسلوك المحفظة والتعامل مع البيانات الوصفية وخيارات المستخدم.

أما أهم درس للمطورين فهو ضرورة التعامل مع التزامات بيدرسن باعتبارها بنية تحتية تشفيرية حيوية للأمان.

عند استخدامها على نحو صحيح، تتيح التحقق من البيانات المالية المخفية من دون كشفها للعامة.

وهذا التوازن بين الخصوصية وإمكانية التحقق هو ما يجعل التزامات بيدرسن أداة أساسية في تصميم العملات المشفرة الحديثة.