سونيك لابز، الفريق الذي يقف وراء بلوكشين سونيك، أطلق المكتبة الجديدة للتحقق الرسمي لبروتوكولات الإجماع المعتمدة على DAG. الهدف هو توفير أدوات إثبات لأمان البلوكشين.
مختبرات سونيك وأمان بلوكتشين: إطلاق مكتبة التحقق الرسمية الجديدة
أعلنت Sonic Labs، الفريق الذي يقف وراء بلوكتشين Sonic، عن إطلاق مكتبة التحقق الرسمية الجديدة، المخصصة لبروتوكولات الإجماع المستندة إلى DAG.
في الممارسة العملية، هي مكتبة مفتوحة المصدر تستخدم التحقق الرسمي لإثبات رياضياً أمان سلاسل الكتل المستندة إلى الرسم البياني الموجه غير الدوري، بما في ذلك سلسلة كتل Sonic EVM.
بفضل استخدام مساعد تجربة TLA+، من الممكن تبسيط عملية التحقق من بروتوكولات الإجماع المعتمدة على DAG، مما يسمح للمطورين بنمذجة والتحقق من البروتوكولات بأقل جهد.
هذه أداة اختبار للتحقق من أمان البلوكشين. تحتوي المكتبة على اختبارات لبروتوكولات DAG المهمة مثل DAG-Rider وCordial Miner وBullshark وHashgraph وAleph، مع التحقق من بروتوكول Sonic للتوافق كمشتق.
تم تقديم مكتبة التحقق الرسمي لأول مرة في مؤتمر NASA للطرق الرسمية 2025 (NFM 2025) في ويليامسبورغ، فيرجينيا، من 11 إلى 13 يونيو.
سونيك لابز والنهج الرياضي الصارم لإثبات أمان بروتوكول
الوضع الحالي لأمن البلوكشين غالبًا ما يشهد ضعف بروتوكولات التوافق التي يمكن أن تؤدي أيضًا إلى استغلالات كارثية. إن الإنفاق المزدوج أو الت inconsistencies في السجل هي مثال.
بشكل عام، في الواقع، أصبحت الاختبارات التقليدية والتحقق لضمان أمان البلوكشين غير كافية
هنا، بمعنى آخر، قررت شركة Sonic Labs قبول تحدي اللحظة بنهج رياضي بحت، مما يثبت أن بروتوكول آمن في جميع السيناريوهات الممكنة، دون ترك مجال للأخطاء.
في هذا الصدد، علق الدكتور برنهارد شولتز، الرئيس التنفيذي للبحث، مختبرات سونيك، على ذلك:
"في سلسلة الكتل، غالبًا ما تنشأ حالات فشل الأمان من الافتراضات التي لم يتم التحقق منها حتى فوات الأوان. مع هذه المكتبة، نحن نتحرك من الأمل إلى الإثبات، مقدمين الأدوات للتحقق، بقدر من اليقين الرياضي، من أن بروتوكول سيتصرف بأمان تحت جميع الظروف. هدفنا هو جعل التحقق الرسمي متاحًا لجميع مطوري البروتوكولات".
لقد بدأت Sonic Labs في تنفيذ التحقق الرسمي لإثبات أن السلوك غير الآمن غير ممكن رياضيًا على بلوكتشين Sonic.
دخول الرمز S على Coinbase
في الساعات القليلة الماضية، كان هناك حديث أيضًا عن دخول رمز Sonic (S) إلى بورصة العملات المشفرة المعروفة Coinbase.
$S è ora disponibile su @Coinbase. pic.twitter.com/E6AIy6yusF
— سونيك لابس (@سونيكلابس) 24 يونيو 2025
في الممارسة العملية، يمكن لعملاء Coinbase أيضًا الوصول إلى تطبيق Coinbase على iOS و Android لشراء أو بيع أو تحويل أو إرسال أو استلام أو تخزين الرمز S
حالياً، سونيك (S) في المركز 73 في ترتيب العملات الرقمية الإجمالي، مع قيمة سوقية تبلغ 932 مليون دولار. في وقت كتابة هذا، S تساوي 0.32 دولار.
كان ذلك في منتصف أبريل 2025، عندما أطلقت فانتوم تحديث سونيك الأخير لإحداث ثورة في التمويل اللامركزي. مع قدرة تتجاوز 10,000 معاملة في الثانية (TPS) وأوقات إنهاء تقل عن ثانيتين، وضعت سونيك نفسها على الفور كواحدة من أسرع وأكثر الشبكات القابلة للتوسع من الطبقة 1 في مشهد العملات المشفرة. مع سونيك، تم إطلاق الرمز S أيضًا، مرتبطًا في البداية بـ FTM الخاص بفانتوم.
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
سونك لابز: مكتبة التحقق الرسمي الجديدة لبروتوكولات DAG القائمة على
سونيك لابز، الفريق الذي يقف وراء بلوكشين سونيك، أطلق المكتبة الجديدة للتحقق الرسمي لبروتوكولات الإجماع المعتمدة على DAG. الهدف هو توفير أدوات إثبات لأمان البلوكشين.
مختبرات سونيك وأمان بلوكتشين: إطلاق مكتبة التحقق الرسمية الجديدة
أعلنت Sonic Labs، الفريق الذي يقف وراء بلوكتشين Sonic، عن إطلاق مكتبة التحقق الرسمية الجديدة، المخصصة لبروتوكولات الإجماع المستندة إلى DAG.
في الممارسة العملية، هي مكتبة مفتوحة المصدر تستخدم التحقق الرسمي لإثبات رياضياً أمان سلاسل الكتل المستندة إلى الرسم البياني الموجه غير الدوري، بما في ذلك سلسلة كتل Sonic EVM.
بفضل استخدام مساعد تجربة TLA+، من الممكن تبسيط عملية التحقق من بروتوكولات الإجماع المعتمدة على DAG، مما يسمح للمطورين بنمذجة والتحقق من البروتوكولات بأقل جهد.
هذه أداة اختبار للتحقق من أمان البلوكشين. تحتوي المكتبة على اختبارات لبروتوكولات DAG المهمة مثل DAG-Rider وCordial Miner وBullshark وHashgraph وAleph، مع التحقق من بروتوكول Sonic للتوافق كمشتق.
تم تقديم مكتبة التحقق الرسمي لأول مرة في مؤتمر NASA للطرق الرسمية 2025 (NFM 2025) في ويليامسبورغ، فيرجينيا، من 11 إلى 13 يونيو.
سونيك لابز والنهج الرياضي الصارم لإثبات أمان بروتوكول
الوضع الحالي لأمن البلوكشين غالبًا ما يشهد ضعف بروتوكولات التوافق التي يمكن أن تؤدي أيضًا إلى استغلالات كارثية. إن الإنفاق المزدوج أو الت inconsistencies في السجل هي مثال.
بشكل عام، في الواقع، أصبحت الاختبارات التقليدية والتحقق لضمان أمان البلوكشين غير كافية
هنا، بمعنى آخر، قررت شركة Sonic Labs قبول تحدي اللحظة بنهج رياضي بحت، مما يثبت أن بروتوكول آمن في جميع السيناريوهات الممكنة، دون ترك مجال للأخطاء.
في هذا الصدد، علق الدكتور برنهارد شولتز، الرئيس التنفيذي للبحث، مختبرات سونيك، على ذلك:
"في سلسلة الكتل، غالبًا ما تنشأ حالات فشل الأمان من الافتراضات التي لم يتم التحقق منها حتى فوات الأوان. مع هذه المكتبة، نحن نتحرك من الأمل إلى الإثبات، مقدمين الأدوات للتحقق، بقدر من اليقين الرياضي، من أن بروتوكول سيتصرف بأمان تحت جميع الظروف. هدفنا هو جعل التحقق الرسمي متاحًا لجميع مطوري البروتوكولات".
لقد بدأت Sonic Labs في تنفيذ التحقق الرسمي لإثبات أن السلوك غير الآمن غير ممكن رياضيًا على بلوكتشين Sonic.
دخول الرمز S على Coinbase
في الساعات القليلة الماضية، كان هناك حديث أيضًا عن دخول رمز Sonic (S) إلى بورصة العملات المشفرة المعروفة Coinbase.
$S è ora disponibile su @Coinbase. pic.twitter.com/E6AIy6yusF
— سونيك لابس (@سونيكلابس) 24 يونيو 2025
في الممارسة العملية، يمكن لعملاء Coinbase أيضًا الوصول إلى تطبيق Coinbase على iOS و Android لشراء أو بيع أو تحويل أو إرسال أو استلام أو تخزين الرمز S
حالياً، سونيك (S) في المركز 73 في ترتيب العملات الرقمية الإجمالي، مع قيمة سوقية تبلغ 932 مليون دولار. في وقت كتابة هذا، S تساوي 0.32 دولار.
كان ذلك في منتصف أبريل 2025، عندما أطلقت فانتوم تحديث سونيك الأخير لإحداث ثورة في التمويل اللامركزي. مع قدرة تتجاوز 10,000 معاملة في الثانية (TPS) وأوقات إنهاء تقل عن ثانيتين، وضعت سونيك نفسها على الفور كواحدة من أسرع وأكثر الشبكات القابلة للتوسع من الطبقة 1 في مشهد العملات المشفرة. مع سونيك، تم إطلاق الرمز S أيضًا، مرتبطًا في البداية بـ FTM الخاص بفانتوم.