فيتاليك بوتيرين: “التحقق الرسمي” بالذكاء الاصطناعي قد يجعل العملات الرقمية أكثر أمانًا

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

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

ما هو التحقق الرسمي؟

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

لماذا هذا مهم للعملات الرقمية؟

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

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

• بنية إيثريوم التحتية
• أنظمة إثباتات المعرفة الصفرية
• آليات الإجماع (التوافق)
• التشفير المقاوم للحواسيب الكمومية

وكتب بوتيرين: “الأخطاء في كود الكمبيوتر مخيفة”، موضحًا كيف تصبح المخاطر أكثر خطورة عندما يتحكم البرنامج في أصول رقمية غير قابلة للتغيير أو أنظمة تشفير متقدمة.

الذكاء الاصطناعي ليس الحل السحري

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

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

كتب بوتيرين: “الذكاء الاصطناعي يمنحك القدرة على كتابة كميات كبيرة من الكود على حساب الدقة، والتحقق الرسمي يعيد لك الدقة… بشكل افتراضي، سيمكن الذكاء الاصطناعي من كتابة كميات كبيرة من الكود غير الدقيق… لكن هناك مستقبل متفائل للأمن السيبراني هنا”.

الأسئلة الشائعة (FAQ)

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

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

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