التحقق الرسمي؟ ما هذا؟ التعرف على المزيد 🧵
تريليونات الدولارات موجودة في سلاسل الكتل. خطأ واحد في الإجماع = استنزاف فوري. يمكن أن يجد الاختبار الأخطاء ولكن لا يمكن إثبات أنها مستحيلة. يؤدي التحقق الرسمي من البروتوكولات المستندة إلى DAG إلى تغيير هذه اللعبة.
يصمم التحقق الرسمي بروتوكولا كآلة حالة ويسمح للمحترف بالتحقق بشكل شامل من كل انتقال - وليس مجرد عينة اختبار.
الجزء الصعب؟ البراهين بطيئة الكتابة. رؤية سونيك: قم بتقسيم البروتوكولات إلى كتل بناء قابلة لإعادة الاستخدام بدلا من إعادة اختراع البراهين في كل مرة.
قامت Sonic Labs للتو بفتح مكتبة TLA + التي تثبت رياضيا سلامة DAG-Rider و Hashgraph و Bullshark و Aleph والمزيد - بدون نظام حظر الاشتراك غير المدفوع ، ولا اتفاقيات عدم الإفصاح.
Dijkstra: "يمكن أن يظهر اختبار البرنامج وجود الأخطاء ، ولكن لا يظهر غيابها أبدا." تمنحك البراهين جزء الغياب.
تقسم المكتبة الأشياء إلى قسمين:
• بناء 🌳 DAG
• ترتيب / انتخاب 🗳️ الزعيم
كل كتلة لها مواصفاتها الخاصة + إثبات فحصه آليا.
استغرق الأمر ~ 14 شهرا من الأشخاص عبر 5 باحثين لنمذجة 5 بروتوكولات. تستغرق إضافة 6 الآن أياما وليس شهورا.
ظهر العمل لأول مرة في ناسا للطرق الرسمية 2025. إذا كانت قوية بما يكفي للصواريخ ، فمن المحتمل أن تكون جيدة ل Sonic!
تحذير: تغطي هذه البراهين السلامة (بدون شوكات ، لا إنفاق مزدوج). إنهم لا يصلحون الحيوية أو الهجمات الاقتصادية - لكن القضاء على فئات كاملة من أخطاء السلامة لا يزال فوزا كبيرا.
TL. DR - قوائم مراجعة التدقيق هي 2020. البراهين القابلة للتركيب والمفتوحة المصدر هي 2025. دعونا نجعل "آمن يمكن إثباته" هو الافتراضي في التشفير.
مدونة →
كود →
4.83 ألف
35
المحتوى الوارد في هذه الصفحة مُقدَّم من أطراف ثالثة. وما لم يُذكَر خلاف ذلك، فإن OKX ليست مُؤلِّفة المقالة (المقالات) المذكورة ولا تُطالِب بأي حقوق نشر وتأليف للمواد. المحتوى مٌقدَّم لأغراض إعلامية ولا يُمثِّل آراء OKX، وليس الغرض منه أن يكون تأييدًا من أي نوع، ولا يجب اعتباره مشورة استثمارية أو التماسًا لشراء الأصول الرقمية أو بيعها. إلى الحد الذي يُستخدَم فيه الذكاء الاصطناعي التوليدي لتقديم مُلخصَّات أو معلومات أخرى، قد يكون هذا المحتوى الناتج عن الذكاء الاصطناعي غير دقيق أو غير مُتسِق. من فضلك اقرأ المقالة ذات الصِلة بهذا الشأن لمزيدٍ من التفاصيل والمعلومات. OKX ليست مسؤولة عن المحتوى الوارد في مواقع الأطراف الثالثة. والاحتفاظ بالأصول الرقمية، بما في ذلك العملات المستقرة ورموز NFT، فيه درجة عالية من المخاطر وهو عُرضة للتقلُّب الشديد. وعليك التفكير جيِّدًا فيما إذا كان تداوُل الأصول الرقمية أو الاحتفاظ بها مناسبًا لك في ظل ظروفك المالية.