BlockBeats أخبار، في 21 فبراير، مع إطلاق OpenAI لـ EVMbench وتطور تقنيات تدقيق العقود الذكية باستخدام الذكاء الاصطناعي، بدأ التدقيق بواسطة الذكاء الاصطناعي ينتقل من التجربة إلى التطبيق العملي.
وفي هذا السياق، أطلقت شركة GoPlus، استنادًا إلى سنوات من تراكم التقنيات الأمنية، منصة تدقيق العقود الذكية باستخدام الذكاء الاصطناعي Token AI Auditing — DeepScan، والتي أصبحت الآن قادرة على إجراء تدقيق آلي متكامل وموثوق لعقود الرموز، وتدعم التحقق من خلال مجموعة اختبارات OpenAI EVMbench.
DeepScan هو محرك جديد من الجيل التالي لاكتشاف ثغرات العقود الذكية يعتمد على الذكاء الاصطناعي، ويستخدم بنية «تنسيق الذكاء الاصطناعي + التعاون بين محركات متعددة»، من خلال تحليل Graph-IR + SSA على مستوى المعنى، والتوليد الديناميكي للفحص العشوائي (Fuzzing)، ونظام قواعد قابل للتوسع، ليقوم بشكل منهجي باكتشاف ثغرات العقود من خلال منظور التنفيذ الحقيقي، ويصدر مسارات تنفيذ قابلة لإعادة الإنتاج وشروط التفعيل.
وباعتباره علامة فارقة مهمة في نظام أمان الذكاء الاصطناعي الخاص بـ GoPlus، يعزز DeepScan من انتقال التدقيق بواسطة الذكاء الاصطناعي من التجربة إلى التطبيق العملي.
إخلاء المسؤولية: قد تكون المعلومات الواردة في هذه الصفحة من مصادر خارجية ولا تمثل آراء أو مواقف Gate. المحتوى المعروض في هذه الصفحة هو لأغراض مرجعية فقط ولا يشكّل أي نصيحة مالية أو استثمارية أو قانونية. لا تضمن Gate دقة أو اكتمال المعلومات، ولا تتحمّل أي مسؤولية عن أي خسائر ناتجة عن استخدام هذه المعلومات. تنطوي الاستثمارات في الأصول الافتراضية على مخاطر عالية وتخضع لتقلبات سعرية كبيرة. قد تخسر كامل رأس المال المستثمر. يرجى فهم المخاطر ذات الصلة فهمًا كاملًا واتخاذ قرارات مدروسة بناءً على وضعك المالي وقدرتك على تحمّل المخاطر. للتفاصيل، يرجى الرجوع إلى
إخلاء المسؤولية.
مقالات ذات صلة
مؤسس إيثيريوم فيتاليك بوتيرين يريد جعل تشغيل عقدة يشعر بأنه أقل تعقيداً
يؤكد فيتاليك بوتيرين على تبسيط عملية التحقق من صحة البيانات في إيثيريوم من خلال دمج العملاء المنفصلين في عميل واحد، مما يعزز تجربة المستخدم. يدعو إلى إعادة النظر في الهندسة المعمارية للتأكد من إمكانية وصول أفضل وتنوع أكبر بين محققي صحة البيانات، مما يخفف من المخاطر الناجمة عن تجمعات الرهن الضخمة.
Decryptمنذ 3 س
بدء شبكة Pi للهجرة الثانية: إليك ما يجب أن تفعله لتكون مؤهلاً
لقد بدأت شبكة Pi بترحيلات ثانية، مما يسمح للرواد بنقل المزيد من Pi إلى Mainnet، مما يعزز أمان المحفظة بالمصادقة الثنائية. قد يؤثر هذا التحديث بشكل إيجابي على سعر Pi Coin في السوق، والذي يقل قليلاً عن 0.20 دولار.
CaptainAltcoinمنذ 4 س
يكشف PancakeSwap النقاب عن PancakeSwap Town، عالم DeFi غامر مع تكامل وكيل ذكاء اصطناعي
أطلق PancakeSwap برنامج PancakeSwap Town، وهو بيئة DeFi تفاعلية تتميز بأدوات تقودها الذكاء الاصطناعي. يمكن للمستخدمين التحكم في استراتيجيات العملات المشفرة من خلال واجهة قائمة على المتصفح، مع الاستفادة من مساعدة الذكاء الاصطناعي في المقايضات والزراعة بالعائد وإدارة السيولة مع الاحتفاظ بالتحكم الكامل في المعاملات.
BlockChainReporterمنذ 6 س
كاردانو (ADA) تحافظ على مركز أفضل 10 في الرسملة السوقية مع ارتفاع الفائدة المفتوحة يعوض هبوط الدببة - U.Today
استعاد كاردانو مكانته في أفضل 10 عملات رقمية، حيث يحتل حالياً المركز 10 برأسمال سوقي بقيمة 10.34 مليار دولار. يشهد سوق العملات الرقمية تصعداً، مع ارتفاعات كبيرة في حجم التداول على كاردانو وشعور إيجابي قبل هارد فورك فان روسم القادم.
UTodayمنذ 7 س
HSBC و Standard Chartered على وشك الحصول على رخص العملات المستقرة في هونغ كونغ
مُنظّمو هونغ كونغ تلقّوا 36 طلب ترخيص لعملات مستقرة لكن يخطّطون لإقرار عدد قليل فقط من المُصدرين.
يُتوقع أن تكون HSBC و Standard Chartered من بين أوائل مُصدري عملات HKD المستقرة المرخصة.
إطار العمل الترخيصي يستند إلى برنامج رمل تجريبي تم إطلاقه في 2024 لاختبار العملات المستقرة
CryptoFrontNewsمنذ 8 س
شبكة Pi تسعى لإعادة هيكلة منصة إطلاق Web3 — الأسعار تظهر عكس ذلك
أطلقت شبكة Pi رسمياً النسخة الأولى من Pi Launchpad على شبكة الاختبار برآية آلية فريدة للرموز في 16 مارس. بينما يشير ذلك إلى تقدم، كان رد فعل السوق سلبياً، حيث انخفضت قيمة PI بنسبة 8.9%. التأثير على معنويات المستثمرين لا يزال غير مؤكد.
TapChiBitcoinمنذ 9 س
