هل سيحصل مترجم Vyper على التحقق الرسمي؟ الآن بدأنا نتحدث! أمان العقود الذكية ارتقى إلى مستوى جديد مع تجميع الكود المثبت رياضيًا. قد يكون لهذا تأثير كبير في تقليل الثغرات في مرحلة الترجمة نفسها.

شاهد النسخة الأصلية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
  • أعجبني
  • 3
  • إعادة النشر
  • مشاركة
تعليق
0/400
MetaverseLandlordvip
· 12-06 02:47
إضافة التحقق الشكلي إلى vyper، أخيراً قدرنا نمسك مصدر المشكلة، قبل كنا دائماً نعرف الأخطاء بعد وقوعها.
شاهد النسخة الأصليةرد0
zkProofInThePuddingvip
· 12-06 02:32
أخيراً، Vyper ستبدأ بالتحقق الشكلي؟ هذا يعني أن أخطاء طبقة الترجمة ربما سيتم حلها أخيراً... لكن متى سيتم تطبيق ذلك فعلياً؟ على أي حال، سنرى مجموعة من الأبحاث تُنشر أولاً كالعادة.
شاهد النسخة الأصليةرد0
CryptoComedianvip
· 12-06 02:30
وأنا أضحك حتى بكيت، Vyper بدأت بالتحقق الشكلي، الآن أمان العقود فعلاً صار أمر جدي مو مجرد كلام. أول كان التدقيق البرمجي يطيحنا في الفخاخ، والحين عندنا إثبات رياضي، أحس أخيراً حليت مسألة استنتاجية في البلوكشين صح.
شاهد النسخة الأصليةرد0
  • Gate Fun الساخنعرض المزيد
  • القيمة السوقية:$3.53Kعدد الحائزين:1
    0.00%
  • القيمة السوقية:$3.54Kعدد الحائزين:1
    0.00%
  • القيمة السوقية:$3.52Kعدد الحائزين:1
    0.00%
  • القيمة السوقية:$3.52Kعدد الحائزين:1
    0.00%
  • القيمة السوقية:$3.53Kعدد الحائزين:1
    0.00%
  • تثبيت