في @SonicLabs ، سلامة الإجماع ليست شيئا ندعيه. إنه شيء نثبته 📜 لقد قمنا بتطوير مكتبة التحقق من TLA+ وفتحها والتي تسمح للمطورين بالتحقق من سلامة بروتوكولات الإجماع المستندة إلى DAG دون البدء من نقطة الصفر من DAG Rider إلى Bullshark و Aleph ، تعمل المكتبة على تسريع أعمال الإثبات وتقليل أخطاء التحقق يظهر هذا البحث ، الذي تم تقديمه في NASA Formal Methods 2025 ، كيف يمكن للكتل الأساسية القابلة للتكوين التي تم التحقق منها أن تقلل بشكل كبير من مخاطر عيوب الإجماع عبر النظم البيئية بأكملها بالنسبة $S ، فإن كل تغيير في إجماع Sonic مدعوم باليقين الرياضي ، مما يضمن سلامة الشبكة على نطاق واسع 🌍
عرض الأصل
‏‎17.77 ألف‏
‏‎80‏
المحتوى الوارد في هذه الصفحة مُقدَّم من أطراف ثالثة. وما لم يُذكَر خلاف ذلك، فإن OKX ليست مُؤلِّفة المقالة (المقالات) المذكورة ولا تُطالِب بأي حقوق نشر وتأليف للمواد. المحتوى مٌقدَّم لأغراض إعلامية ولا يُمثِّل آراء OKX، وليس الغرض منه أن يكون تأييدًا من أي نوع، ولا يجب اعتباره مشورة استثمارية أو التماسًا لشراء الأصول الرقمية أو بيعها. إلى الحد الذي يُستخدَم فيه الذكاء الاصطناعي التوليدي لتقديم مُلخصَّات أو معلومات أخرى، قد يكون هذا المحتوى الناتج عن الذكاء الاصطناعي غير دقيق أو غير مُتسِق. من فضلك اقرأ المقالة ذات الصِلة بهذا الشأن لمزيدٍ من التفاصيل والمعلومات. OKX ليست مسؤولة عن المحتوى الوارد في مواقع الأطراف الثالثة. والاحتفاظ بالأصول الرقمية، بما في ذلك العملات المستقرة ورموز NFT، فيه درجة عالية من المخاطر وهو عُرضة للتقلُّب الشديد. وعليك التفكير جيِّدًا فيما إذا كان تداوُل الأصول الرقمية أو الاحتفاظ بها مناسبًا لك في ظل ظروفك المالية.