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

قال بولوسوخين يوم الاثنين في مقابلة مع غاريث جينكينسون في بودكاست "The Starting Block" على "The Block": "أعتقد أن القرصنة بمساعدة الذكاء الاصطناعي بدأت فعليًا في أكتوبر الماضي — وأظن أن Balancer كانت أول من تعرض لها."

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

قال بولوسوخين: "نحن بحاجة إلى طريقة تفكير مختلفة". "الأمر ليس أننا سنراجع كل شيء بنموذج أفضل ونأمل ألا يكتشف النموذج الأفضل التالي شيئًا."

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

قال: "لا تحتاج إلى الاعتماد على الذكاء الاصطناعي لأن الذكاء الاصطناعي ينتج فقط البرهان". "أنت فقط تتحقق من صحة البرهان."

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

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

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

قال: "نحن بحاجة إلى تحول جذري نحو بناء أكواد البلوك تشين — وبصراحة، جميع الأكواد على الإنترنت — بحيث تكون مُتحققًا منها رسميًا".

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