مخطط الالتزام
مخطط الالتزام (بالإنجليزية: Commitment scheme) هي بدئية تعمية تسمح للشخص بالالتزام بقيمة مختارة (أو بيان مختار) مع إبقائه مخفيًا للآخرين، مع القدرة على الكشف عن القيمة الملتزم بها لاحقًا.[1] صُممت مخططات الالتزام بحيث لا يمكن لأي طرف تغيير القيمة أو البيان بعد الالتزام به: أي أن مخططات الالتزام ملزمة. مخططات الالتزام لها تطبيقات مهمة في عدد من بروتوكولات التعمية بما في ذلك التقليب الآمن للعملات، وإثبات المعرفة الصفرية، والحساب الآمن.
تتمثل إحدى طرق تصور مخطط الالتزام في التفكير في المرسل على أنه وضع رسالة في صندوق مغلق، وأعطى الصندوق لجهاز استقبال. الرسالة الموجودة في الصندوق مخفية عن المتلقي الذي لا يمكنه فتح القفل بنفسه. نظرًا لأن المستلم لديه على الصندوق ، فلا يمكن للمرسل تغيير الرسالة الداخلية — كما لا يكشف عنها إلا إذا اختار المرسل منحه المفتاح في وقت لاحق.
تحدث التفاعلات في مخطط الالتزام على مرحلتين:
- مرحلة الالتزام التي يتم خلالها اختيار القيمة والالتزام بها
- مرحلة الكشف التي يتم خلالها الكشف عن القيمة من قبل المرسل، ثم يتحقق المستلم من صحتها.
في الاستعارة أعلاه، مرحلة الالتزام هي وضع المرسل الرسالة في الصندوق، وقفله. مرحلة الكشف هي قيام المرسل بإعطاء المفتاح للمستقبل الذي يستخدمه لفتح الصندوق والتحقق من محتوياته. الصندوق المقفل هو الالتزام، والمفتاح هو الدليل.
في البروتوكولات البسيطة، تتكون مرحلة الالتزام من رسالة واحدة من المرسل إلى المستقبل. هذه الرسالة تسمى الالتزام (بالإنجليزية: The Commitment). من الضروري ألا يعرف المستقبل القيمة المحددة المختارة في ذلك الوقت (وهذا ما يسمى خاصية الإخفاء). تتكون مرحلة الكشف البسيطة من رسالة واحدة ، الفتح، من المرسل إلى المستقبل، متبوعة بفحص يقوم به المتلقي. يجب أن تكون القيمة المختارة أثناء مرحلة الالتزام هي القيمة الوحيدة التي يمكن للمرسل حسابها والتي تتحقق من صحتها أثناء مرحلة الكشف (تسمى هذه الخاصية بخاصية الربط).
يعتقد أن أول من صاغ مفهوم مخطط الالتزام هو جيل براسار، وديفيد تشوم، وكلود كريبو في عام 1988،[2] كجزء من بروتوكولات عدم المعرفة المختلفة لـ NP ، بناءً على أنواع مختلفة من مخططات الالتزام.[3][4] ولكن استخدم المفهوم قبل ذلك دون أن يتم التعامل معه بشكل رسمي.[5][6] ظهرت فكرة الالتزامات في العصر الحالي في أعمال مانويل بلوم،[7] شمعون إيفن،[8] وأدي شامير وآخرون.[9] ويعتقد كثيرون أن المصطلح قد تم إنشاؤه بواسطة بلوم،[6] على الرغم من أن مخططات الالتزام يمكن أن يطلق عليها بشكل متبادل مخططات التزام البت - أحيانًا تكون محجوزة للحالة الخاصة حيث تكون القيمة الملتزمة قليلاً. في وقت سابق لذلك، تم النظر في الالتزام عبر وظائف التجزئة أحادية الاتجاه، على سبيل المثال، كجزء من توقيع لامبورت، مخطط التوقيع الأصلي لمرة واحدة.
المراجع
عدل- ^ "Foundations of Cryptography - a two-volume book [Goldreich]". web.archive.org. 23 مارس 2023. مؤرشف من الأصل في 2023-03-23. اطلع عليه بتاريخ 2024-01-03.
{{استشهاد ويب}}: صيانة الاستشهاد: BOT: original URL status unknown (link) - ^ 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. نسخة محفوظة 2023-11-16 على موقع واي باك مشين.
- ^ Goldreich، Oded؛ Micali، Silvio؛ Wigderson، Avi (1991). "Proofs that yield nothing but their validity". Journal of the ACM. ج. 38 ع. 3: 690–728. DOI:10.1145/116825.116852.
- ^ 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, دُوِي:10.1007/BF00196774. نسخة محفوظة 2023-11-16 على موقع واي باك مشين.
- ^ ا ب Claude Crépeau, Commitment, Cryptography and Quantum Information Lab, McGill University School of Computer Science, accessed April 11, 2008 نسخة محفوظة 2023-11-16 على موقع واي باك مشين.
- ^ 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. نسخة محفوظة 2023-11-16 على موقع واي باك مشين.
- ^ 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 ((ردمك 978-1-4684-6686-7)), pp. 37–43. Wadsworth, Belmont, California, 1981. نسخة محفوظة 2024-01-04 على موقع واي باك مشين.
