مخطط الالتزام

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

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

تحدث التفاعلات في مخطط الالتزام على مرحلتين:

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

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

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

يعتقد أن أول من صاغ مفهوم مخطط الالتزام هو جيل براسار، وديفيد تشوم، وكلود كريبو في عام 1988،Gilles Brassard, David Chaum, and Claude Crépeau, Minimum Disclosure Proofs of Knowledge, Journal of Computer and System Sciences, vol. 37, pp. 156–189, 1988.  كجزء من بروتوكولات عدم المعرفة المختلفة لـ NP ، بناءً على أنواع مختلفة من مخططات الالتزام.Russell Impagliazzo, Moti Yung: Direct Minimum-Knowledge Computations. CRYPTO 1987: 40-51 ولكن استخدم المفهوم قبل ذلك دون أن يتم التعامل معه بشكل رسمي.Moni Naor, Bit Commitment Using Pseudorandomness, Journal of Cryptology 4: 2 pp. 151–158, 1991, . Claude Crépeau, Commitment, Cryptography and Quantum Information Lab, McGill University School of Computer Science, accessed April 11, 2008  ظهرت فكرة الالتزامات في العصر الحالي في أعمال مانويل بلوم،Manuel Blum, Coin Flipping by Telephone, Proceedings of CRYPTO 1981, pp. 11–15, 1981, reprinted in SIGACT News vol. 15, pp. 23–27, 1983, Carnegie Mellon School of Computer Science.  شمعون إيفن،Shimon Even. Protocol for signing contracts. In Allen Gersho, ed., Advances in Cryptography (proceedings of CRYPTO '82), pp. 148–153, Santa Barbara, CA, US, 1982. وأدي شامير وآخرون.A. Shamir, R. L. Rivest, and L. Adleman, "Mental Poker". In David A. Klarner, ed., The Mathematical Gardner (), pp. 37–43. Wadsworth, Belmont, California, 1981.  ويعتقد كثيرون أن المصطلح قد تم إنشاؤه بواسطة بلوم، على الرغم من أن مخططات الالتزام يمكن أن يطلق عليها بشكل متبادل مخططات التزام البت - أحيانًا تكون محجوزة للحالة الخاصة حيث تكون القيمة الملتزمة قليلاً. في وقت سابق لذلك، تم النظر في الالتزام عبر وظائف التجزئة أحادية الاتجاه، على سبيل المثال، كجزء من توقيع لامبورت، مخطط التوقيع الأصلي لمرة واحدة.

 المراجع 

 وصلات خارجية 

 التزام البت الكمي على arxiv.org
 كيت زافيروتشا غولدبرغ (KZG) التزامات متعددة الحدود ذات الحجم الثابت - ألين توميسكو
 التزامات كيت متعددة الحدود

تصنيف:بدئيات التعمية
تصنيف:تعمية بمفتاح عام