Aptos 成为首个支持动态调度形式化验证的 L1
ChainCatcher 消息，Aptos 在 X 平台发文表示，Aptos 是首个支持动态调度形式化验证的 L1，可数学证明其按设计运行。Aptos 称，AI 编写规范，数学证明其正确性，Move Prover 即为预言机，这是市场与机器的信任层。
إخلاء المسؤولية: يُقدَّم محتوى OKX Orbit لأغراض إرشادية فقط. اعرف المزيد
الردود
Related Flash News
Odaily•منذ 2 ساعتَينسيتم إدراج عملة الإسطبل الوون الكورية KRW1 على موقع Aptos
ChainCatcher•منذ 3 ساعاتٍبرنامج مكافآت الترقية الخاطئة Aave: سيتم زيادة الحد الأقصى للمكافأة للثغرات الحرجة في V4 وCore V3 بمقدار 5 مرات
ChainCatcher•منذ 5 ساعاتٍأعلنت TownSquare عن إطلاق برنامج سيولة عملة مستقرة بقيمة 100 مليون دولار أمريكي
ChainCatcher•منذ 2 يومَينيربط tZERO منصة الترميز المتوافقة مع Aptos، ويتم تسريع إصدار RWAs المؤسسية إلى سلاسل عامة عالية الأداء
ChainCatcher•منذ 2 يومَينتخطط Aptos لإطلاق مجمع ميمبول تشفير أصلي، لتصبح أول سلسلة عامة من المستوى الأول تحتوي على هذه الميزة
Odaily•منذ 6 أيامٍتعاونت مؤسسة أبتوس مع شركة NETSTARS اليابانية لاستكشاف حلول دفع متعددة السلاسل
TechFlow•منذ 7 أيامٍستستثمر مؤسسة أبتوس ومختبرات أبتوس أكثر من 50 مليون دولار لدعم النظام البيئي
ChainCatcher•منذ 9 أيامٍالبيانات: تجاوزت القيمة السوقية للعملات المستقرة في سلسلة أبتوس 1.9 مليار دولار، وهو رقم قياسي قياسي
ChainCatcher•منذ 13 يومًاأعلنت منصة أبتوس البيئية DEX Tapp Exchange عن تعليقها، وستتوفر عمليات السحب بشكل طبيعي حتى 31 مايو
TechFlow•منذ 14 يومًاأعلنت شركات مثل باكسوس وسولانا وغيرها من المؤسسات في مجالات مختلفة عن دعم بروتوكول الدفع الخاص بوكيل OKX