OpenAI تزعم تحقيق اختراق في التشفير ولا تهديد فوري لبيتكوين

قالت OpenAI إن نظامها للذكاء الاصطناعي دحض «فرضية الزمن الأُسّي»، وهي افتراض قديم حول الصعوبة الحسابية لبعض مسائل المنطق. أعلنت الشركة النتيجة في 26 أكتوبر/تشرين الأول، ما دفع باحثين إلى تنظيم فحص مستقل. ولا تُظهر النتيجة المعلنة هجومًا عمليًا على بيتكوين. ولا يشير اختصار ETH هنا إلى عملة الإيثر، بل إلى فرضية الزمن الأُسّي. تتعلق الفرضية بمسألة 3SAT، التي تطلب من الحواسيب إسناد قيم صواب أو خطأ تحقق مجموعة من الشروط المنطقية. وتفترض أن حلول أسوأ الحالات تستغرق زمنًا ينمو أُسّيًا مع عدد المتغيرات. وتقدم مخطوطة مؤرخة في 17 أكتوبر/تشرين الأول ومراجعة في 25 منه خوارزمية حتمية تحدد بدقة عدد الإسنادات المُرضية لصيغ بولينية ثابتة العرض. وتزعم المخطوطة زمن تشغيل دون أُسّي ومتطلبات مساحة متعددة الحدود. ينمو الزمن دون الأُسّي بوتيرة أبطأ من الحد الأُسّي مع زيادة حجم المسألة، لكن ذلك لا يعني أن الحواسيب الحالية قادرة على حل المسألة بسهولة. ولا يثبت الحد المعلن وجود خوارزمية بزمن متعدد الحدود، ولا يحسم سؤال P=NP. ويسأل P=NP عما إذا كانت كل مسألة قرار يمكن التحقق من حلولها في زمن متعدد الحدود تملك أيضًا حلولًا قابلة للحساب في زمن متعدد الحدود. تقول OpenAI إن مساعد الإثبات Lean تحقق من النتيجة. غير أن ملاحظة نطاق Lean تصف حدًا زمنيًا دون أُسّي أضعف من أقوى ادعاء في المخطوطة. وقد امتنع الباحثون المنظمون للفحص المستقل صراحة عن منح اعتماد. وجاء في رسالة المنظمين: «لا ينبغي اعتبار مشاركتنا اعتمادًا للادعاء». راجعت CryptoSlate الصفحات التمهيدية 1–8 فقط، لا البرهان الكامل. تختلف مهمة تعدين بيتكوين أمنيًا عن مهمة التصريح بالإنفاق. يبحث المعدنون عن تجزئة لترويسة كتلة تقل عن هدف محدد. وتُظهر التوقيعات الإذن بالإنفاق. وتستخدم بيتكوين توقيعات ECDSA وSchnorr على منحنى secp256k1 الإهليلجي، وفق ما يصفه BIP340. وتتعلق الافتراضات الأمنية في BIP340 باللوغاريتمات المتقطعة على المنحنيات الإهليلجية ودوال التجزئة. تسأل استعادة المفتاح عما إذا كان المهاجم قادرًا على الحصول على المفتاح الخاص من المفتاح العام المقابل. ودحض افتراض SAT في أسوأ الحالات لا يُظهر بحد ذاته طريقة لتعطيل هذه الآليات الأمنية المحددة. ويتطلب الهجوم العملي ترميزًا مناسبًا وتنفيذًا عاملًا ومقارنة تكاليف المهمة المستهدفة. ولا يمكن استبدال عدد متغيرات صيغة SAT بطول البتات لمفتاح تشفيري أو دالة تجزئة. ويعبر نطاق Lean عن الحد بدلالة متغيرات الصيغة المرمزة وطول الإدخال. وإدخال عدد بتات تشفيري في الحد سيتجاوز التمثيل اللازم للمسألة الفعلية. تعدل بيتكوين هدف التعدين كل 2016 كتلة. ويحكم هذا التعديل إنتاج الكتل لا تفويض التوقيعات. ولن يلغي التعديل أهمية تفوق خاص في التعدين. وفي 7 أكتوبر/تشرين الأول، دعا جاستن دريك إلى الاستعداد لـ«وضع التحصّن» عقب إعلان سابق من OpenAI في الرياضيات. وكان تحذير دريك يتعلق بهجوم محتمل في المستقبل، بينما لم يُظهر ذلك الإعلان السابق أي كسر عملي لـ ECDSA أو RSA. ويتعلق ادعاء OpenAI في 26 أكتوبر/تشرين الأول بنتيجة منفصلة. قال رايان ويليامز إنه طُلب منه هو وراسل إمباليازو ومهان باتوري ترتيب فحص مستقل ومفتوح من دون اتفاقات عدم إفصاح أو دفع. وقال ويليامز في تصريح منفصل إنه طلب من OpenAI التحقق مما إذا كانت أنظمة التشفير القائمة مخترقة، وأبلغ بأنها تبدو آمنة. ومعلومات ويليامز منقولة عن فحص طُلب من OpenAI، وليست تدقيقًا مستقلًا للتشفير. تقول OpenAI إن تحسينات عملية تتطلب بحثًا إضافيًا كبيرًا. وقال ويليامز إنه لا يعرف ما إذا كان المطورون سيرون فوائد، ما يترك مفتوحًا احتمال إحراز تقدم خلال 12 شهرًا أو عدم حدوث ذلك. ويعتزم المنظمون نشر النتائج خلال الفحص.