الأبحاث في مجلة: IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences
-
بروتوكولات ZKP الفيزيائية الفعالة لمشكلة دورة هاملتونية ومشكلة البائع المتجول
Efficient Physical ZKP Protocols for Hamiltonian Cycle Problem and Traveling Salesman Problem2026 | المؤلف: Ren IGARI وآخرون | المجلة: IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences | المجال: النظرية الحسابية والرياضيات (Computational Theory and Mathematics)تتناول الورقة مشكلة دورة هاملتونية، وهي تحدٍ NP-complete في نظرية الرسوم البيانية لها آثار كبيرة على التطبيقات العملية مثل تصميم VLSI ومشكلة البائع المتجول (TSP). يقدم المؤلفون بروتوكولات جديدة لإثبات المعرفة الصفرية الفيزيائية التي تسمح لطرف واحد بإثبات معرفة بحل ما لطرف آخر دون الكشف عن أي تفاصيل حول الحل نفسه. تظهر هذه البروتوكولات كفاءة…
