مؤسس إيثيريوم (ETH) المشارك فيتاليك بوترين يرفض نبوءات الهلاك السيبراني مع الذكاء الاصطناعي ويكشف أن 90% من ثروته تبقى في الكريبتو

التحقق الصوري بدل شوم النهاية

يرد فيتاليك بوترين، المؤسس المشارك لمنصة إيثيريوم (ETH)، على الرأي المتصاعد الذي يقرّ بأن الذكاء الاصطناعي المتقدم سيجعل الأمن السيبراني معركة خاسرة لا محيد عنها، إذ جادل في تدوينة بتاريخ 17 سبتمبر على منصة X بأن النتيجة المعتكَسة أقرب إلى الواقع. وكتب بوترين: «بات من الشائع على نحو متزايد الاعتقاد بأن اختراقات الذكاء الاصطناعي تعني نهاية الأمن السيبراني. وأنا أختلف»، مشيرًا إلى أن الذكاء الاصطناعي قد يضع بدلًا من ذلك في يد المدافعين أدوات لبناء برمجيات يصعب استغلالها من الأساس. وجوهر حجته هو التحقق الصوري (Formal Verification)، أي الإثبات الرياضي الكامل بأن برنامج ما، بما في ذلك العقد الذكي، يحقق خصائص محددة سلفًا. ونقل بوترين الفكرة إلى مساحة الرياضيات الصعبة قائلًا: «إذا استطاع الذكاء الاصطناعي إثبات معادلات نافييه-ستوكس وحدسية فيرما الأخيرة (FLT)، فيمكنه إثبات العبارة «هذا البرنامج آمن» بوصفها مبرهنة رياضية»، في إشارة إلى مسألتين من أشهر المسائل عصوبة في الرياضيات. ولم يخف المؤسس المشارك صعوبة تحديد المعنى ذاته: فالوقوف على ما تعنيه كلمة «آمن» في تطبيق مراسلة مثل Signal وحده قد يمتد إلى ما يفوق ألف سطر من المواصفات، نظرًا لاتساع أسطح الهجوم من الرسائل المزورة والمُعاد إرسالها إلى المُجمِّعات الخبيثة والتسريبات على مستوى العتاد. وربط بوترين أطروحته أيضًا بتعرفه الشخصي المباشر، إذ كشف أن نحو 90% من صافي ثروته ما يزال محتملًا في الكريبتو، وهو رهان ضمني، كما يرى، على إمكانية بناء أنظمة رقمية آمنة بما يكفي حتى أمام مهاجمين متطورين للغاية.

تدوينة بتاريخ 17 سبتمبر على منصة Xhttps://x.com/VitalikButerin/status/2100337594722890145

نموذج بـ125 مليار معامل على حاسوب محمول

في تدوينة أخرى على X في اليوم ذاته، انتقل المؤسس المشارك لإيثيريوم من ملف الأمن إلى الذكاء الاصطناعي المحلي، ناشرًا نتائج سرعة تشغيل نموذج Qwen3.8-Flash-Next التابع لشركة علي بابا بالكامل على حاسوبه المحمول الشخصي. وبخلاف ChatGPT، لا يتصل هذا الإعداد بأي خادم سحابي على الإطلاق، فالنموذج يقيم على الجهاز والجهاز يجيب بنفسه. والعتاد هنا ليس تفصيلًا ثانويًا: يستخدم الحاسوب المحمول رقاقة Strix Halo من AMD، التي تضع وحدة المعالجة ووحدة الرسوميات على شريحة سيليكون واحدة تتقاسم بركة ذاكرة واحدة تصل إلى 128 جيجابايت، مقابل 8 إلى 24 جيجابايت هي المعتاد في بطاقة رسوميات منفصلة. وهو هذا التصميم الموحّد تحديدًا ما يتيح لحاسوب محمول واحد استيعاب نموذج كان يتطلب حتى وقت قريب عتاد مراكز بيانات. وقد نشرت علي بابا أوزان النموذج المفتوحة في 26 أغسطس، ويحمل النموذج 125 مليار معامل لكنه يفعّل 6 مليارات منها فقط في كل لحظة، ما يُبقي متطلبات الذاكرة متواضعة. ووصف بوترين النموذج بأنه «مُبهر حقًا»، ولاحظ أن مشروع llama.cpp يتسارع في التحسن عند معالجته. أما السرعات المنشورة فقد كانت عملية للعمل اليومي المعتاد: عودة الردود على الطلبات القصيرة بوتيرة قراءة مريحة، رغم تباطؤ الإخراج متى ما تجاوزت الطلبات عشرات آلاف الكلمات، لتبقى المستندات الطويلة جدًا موضع الضعف.

تدوينة أخرى على X في اليوم ذاتهhttps://x.com/VitalikButerin/status/2100388909410885974

خصوصية من دون سحابة

وتجاوز بوترين السرعة المجردة ليقدّم الاستدلال المحلي درعًا للخصوصية. فالنموذج المحلي يجيب على الجهاز ذاته، ولذلك لا يستلم أي مزوّد خدمة الطلب قط. وللأعمال الأثقل اقترح ترتيبًا منقسمًا: «استخدم نموذجك المحلي لتنسيق الاستعلامات الموجهة إلى نماذج أقوى حتى لا تستعرض استعلاماتك معلوماتك الشخصية». وعلى أرض الواقع، يقوم النموذج المحلي بتجريد الأسماء وعناوين المحافظ والشيفرة الخاصة من الطلب قبل تمرير السؤال المتبقي وحده، ما يقلّص ما يخرج من الجهاز دون أن يضمن ألّف شيء حساس يتسرب. ويتسق هذا الطرح مع سجل بوترين: فقد حذّر من المراقبة خلال معركة الرقابة على المحادثات في الاتحاد الأوروبي، ويطالب مستخدمو البلوكتشين بذات الأسباب بضبط أكثر صرامة للوكلاء الآليين. وتُضاف إلى ذلك دعوى قضائية جماعية رُفعت في مايو تتهم OpenAI بمشاركة استعلامات مستخدمي ChatGPT مع Meta وGoogle. وتواصل حوادث الأمن على السلسلة تعزيز هذا الحذر، مثل اختراق محفظة Safe المرتبط بإيثيريوم (ETH) بقيمة 7.8 مليون دولار الأخير، بينما تتيح أدوات السيادة الذاتية مثل أسماء النطاقات .ETH للمستخدمين أملاك هويتهم خارج المنصات المركزية منذ اليوم الأول. وما تزال مزودات السحابة تملك الصدارة التقنية، لكن كل قفزة في الأداء المحلي تنقل حصة أكبر من العمل اليومي إلى خارج خوادمها. يمكن للقراء الراغبين في متابعة السوق لحظيًا الاطلاع على أسعار السبوت والعقود الآجلة مباشرة عبر Bitget.

الأمن خيط واحد يجمع المسارين

قراءتنا في فريقنا للتدوينتين الأوليين، اللتين نشرهما كلتاهما بوترين عبر حسابه الشخصي على X في 17 سبتمبر، أنهما تشكلان حجة واحدة: الذكاء الاصطناعي سلاح ذو حدين، والطرف الذي يسبق في رسميّة تفكيره هو من يفوز. فالتحقق الصوري قد يجعل برمجيات الملقّم وشيفرة العقود سليمة إثباتًا عبر منظومة إيثيريوم الأوسع، فيما تُبقي النماذج المحلية البيانات الحساسة خارج خوادم الأطراف الثالثة. ومع نحو 90% من صافي ثروته محتفظًا به في الكريبتو، فإن ثقة بوترين بأمن إثبات الحصة (Proof-of-Stake) ليست موقفًا أكاديميًا فحسب، بل قناعة مسعّرة في ميزانيته الشخصية.