فيتاليك يحدد التحقق الرسمي المعزز بالذكاء الاصطناعي باعتباره مفتاح دور أمان إيثريوم في 19 مايو

وفقًا لـ BlockBeats، عرض مؤسس إيثيريوم المشارك فيتاليك بوتيرين في 19 مايو كيف سيتحول التحقق الرسمي المعزّز بالذكاء الاصطناعي إلى «أقصى شكل لتطوير البرمجيات» وإلى دفاع حاسم ضد تهديدات الذكاء الاصطناعي المتقدمة. وأوضح فيتاليك أن التحقق الرسمي يحول صحة الكود إلى نظريات يمكن التحقق منها رياضيًا، بما يضمن أمن البرمجيات عبر البرهان الرياضي بدلًا من الاختبارات التقليدية أو عمليات التدقيق.

وشدّد فيتاليك على أن هذا النهج مناسب بشكل خاص لترقيات إيثيريوم في مرحلتها التالية، بما في ذلك التواقيع المقاومة للكم، وأنظمة إثباتات STARK، وآلية إجماع متحمّلة للأعطال البيزنطية، وZK-EVM. وذكر أنه في ظل تصاعد تحديات أمن الذكاء الاصطناعي، ستصبح إيثيريوم عنصرًا أساسيًا ضمن بنية «نواة أمنية»، حيث تتعزز الأنظمة الحرجة عبر الأساليب الرسمية، بينما تعمل المكوّنات الطرفية داخل بيئات معزولة بصلاحيات دنيا.