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

خبر: غيّرت Anthropic موقفها — الآن يُسمح للمستخدمين بمشاركة معلومات التهديدات الأمنية السيبرانية. #anthropic #bitcoin #cybersecurity

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

اكتمل التدقيق التنافسي بقيمة 62,000 دولار على قاعدة كود Olas مع @code4rena، وتم نشر التقرير الكامل الآن. من الرائع رؤية عمل المدققين الذي ساعد في جعل قاعدة كود Olas أكثر متانة. اقرأ التقرير:

الاختلال الاقتصادي في أمان العقود الذكية كان دائمًا قاسيًا. المهاجم ينفق مكالمة واجهة برمجة التطبيقات، بينما ينفق المدافع أسبوعًا من مهندس. كان التحقق الرسمي دائمًا الإجابة النظرية الصحيحة. السبب في أنه لم يتوسع أبدًا هو أن كتابة المواصفات يدويًا بطيئة ومكلفة. ما بناه @wgrieskamp يدمر هذا الحاجز. → يتكامل Claude Code مع Move Prover عبر MCP → تُولّد الذكاء الاصطناعي المواصفات → يتحقق المُحقق منها رياضيًا → تُجرى حلقات تحسين حتى ينجح التحقق الجزء الممل يُؤتمت بينما يبقى الجزء الصارم صارمًا. @DecibelTrade هو الهدف المناسب لإثبات فعالية هذا النظام: مطابقة الأوامر، منطق الهامش، التصفية، أسعار التمويل. التحليل الكامل من @wgrieskamp يستحق وقتك 👇🏻

جميع تدابير جدار الحماية أصبحت مجانية بالكامل على @vercel. ليس فقط تدابير DDoS ومستوى النظام، بل أيضًا أي قاعدة تُحددها. الآن يتحمل Vercel تكاليف الحوسبة والشبكة لأي حجم من الهجمات أو تدابير المرور من أجل راحتك. (وسيتم إضافة المزيد قريبا!)

SR9 تحقق للتو من DEX على $ICP — وينبغي أن يكون "ثق بي يا صاح" في DeFi قلقًا 🔥 هذا هو "الهوبيوم" الحقيقي لـ $ICP. لقد أعلنت SR9 الآن عن إنجازها الأول الكامل في التحقق الرسمي لـ DEX. وهذا مهم لأن DeFi ظلت تعمل لسنوات على نموذج ثقة ضعيف: ثق بالمطورين. ثق بالتدقيق. ثق بالمتعدد التوقيعات. ثق بالجسر. ثق بالواجهة الأمامية. ثق بمدير التحديث. ثق أن أحدًا لم يغفل الحالة الحدية. SR9 تدفع نحو نموذج مختلف: حدد القواعد. تحقق من السلوك. أنشئ المخرجات. اجعل المطالبة قابلة للتحقق. هذا تغيير كبير. تم بناء SR9 / Sector9 حول Motoko وبنية Internet Computer. وتصف موادها العامة سلسلة أدوات تستخدم: • مصادر مشتقة من Motoko • التزامات إثبات Viper / Silicon • الاستدلال SMT / Z3 • التحقق من النموذج TLA+ / TLC • مخرجات مبنية على المحتوى • تنفيذ canister على $ICP هذا ليس أداة كريبتو عادية. بل هو بنية ضمان جادة. وهنا حيث لا يُقدّر $ICP من قبل @DFINITY بشكل صحيح. ما زالت معظم السلاسل تتنافس على: • تسويق TPS • سيولة الميمات • الاعتماد على الجسور • دراما المدققين • التطبيقات المجزأة • واجهات أمامية خارج السلسلة • استضافة مركزية • دورات استغلال متكررة بينما يبني $ICP في اتجاه آخر: • تطبيقات كاملة على السلسلة • عقود ذكية من نوع canister • تطوير مبني على Motoko بشكل أصيل • نموذج عكس الغاز • إنشاء برمجي مدعوم بالذكاء الاصطناعي • تنفيذ مقاوم للتعديل • أدوات موجهة نحو التحقق • برمجيات ذاتية لا تعتمد على مشغل واحد هذا ليس مجرد أمر يتعلق بـ DEX واحد. بل يتعلق باتجاه بنية كريبتو الجادة. الوكلاء الذكاء الاصطناعي قادمون. الكود المكتوب بالذكاء الاصطناعي قادم. التداول الذاتي قادم. الخزائن المدارة آليًا قادمة. تعقيد البروتوكولات يزداد. مساحات الهجوم تتوسع. التدقيق وحده لن يتوسع. المرحلة التالية تحتاج إلى برمجيات يمكن تحديد سلوكها الحرج، والتحقق منه، والطعن فيه، والتحقق منه مرة أخرى. لهذا السبب تهم SR9. التحقق الرسمي ليس سحرًا. إنه يعتمد على المواصفات. إنه يعتمد على الافتراضات. لا يزيل كل مخاطر العالم الحقيقي. لا يثبت ما لم يتم تحديده أبدًا. لكنه يرفع المعيار. إنّه ينقل كريبتو من: "صدّقونا." إلى: "ها هي المخرجات. تحقق منها." هذه هي النسخة الناضجة من DeFi. وبالمرة القادمة، تعود المحادثة الجادة حول البنية التحتية إلى $ICP. Motoko. Canisters. الحوسبة على السلسلة. بناء مدعوم بالذكاء الاصطناعي. الأساليب الرسمية. مخرجات التحقق. سلاسل اقتصادية ذاتية. هذا هو الجزء الذي يفوّت المنتقدون دائمًا. $ICP لا يحاول فقط أن يكون سلسلة أسرع. بل يبني البنية التي يمكن فيها كتابة البرمجيات واستضافتها وإدارتها والتحقق منها وتنفيذها على السلسلة. هذا ليس ترقية صغيرة. بل هو الأساس للتمويل الذاتي الجاد. SR9 لا تزال في مراحلها المبكرة. Sector9 لا تزال في مرحلة ألفا. تفاصيل الإثبات الكاملة تحتاج إلى مراجعة من قبل المطورين والمحققين المستقلين. لكن الاتجاه واضح. المستقبل لن يعمل على عقود ذكية من نوع "ثق بي يا صاح". بل سيُشغل على مطالبات قابلة للتحقق، وسلوك قابل للتحقق، ومواصفات أقوى، وبنية قادرة على حمل القيمة الاقتصادية الذاتية. و$ICP موجود بالفعل في هذه المحادثة. التحفظ مبالغ فيه. #ICP #DFINITY #Motoko #SR9 #Sector9 #DeFi #FormalVerification #AI #Web3 #Onchain #Crypto #InternetComputer المساهمات مرحب بها: 1e672d038cebc619d93186418fa98f6499dbdb9cfdfac54f366c61a4a4ee4362

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

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

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