!
محتوى تحريري موثوق، تمت مراجعته من قبل خبراء الصناعة الرائدين ومحررين ذوي خبرة. إفصاح الإعلان
تعيش Sonic Labs حسب اسمها وتعمل بجد في المختبر على ورقة بحثية جديدة. ليست مجرد وثيقة نظرية أيضًا: لقد أسفرت عن تطبيق ملموس في مجال توافق blockchain ، ومكتبة التحقق الرسمي التي طورتها Sonic Labs مفتوحة المصدر ومتاحة على Github.
فريق Sonic Labs معروف بالطبع بتصميمه لسلسلة Sonic Layer-1 التي نشأت من رماد Fantom. تستخدم Sonic DAG (Directed Acyclic Graph) من أجل توافقها، وكان هذا المجال هو الذي اختار فريق Labs التركيز على جهوده فيه بشكل مفهوم. بينما المكتبة الخاصة بالتحقق التي قاموا بتطويرها لاحقًا لها تداعيات على شبكة EVM الخاصة بـ Sonic، فهي قابلة للتطبيق بنفس القدر على جميع السلاسل القائمة والمستقبلية المعتمدة على DAG، حيث لديها القدرة على تعزيز الأمان بشكل كبير من خلال منع ظهور الأخطاء.
سونيك لابز تعيد النظر في DAGs
تصميم توافق البلوكشين هو أمر معقد يتطلب خبرة الباحثين في مجالات الرياضيات والتشفير ونظرية الألعاب. بينما يتمتع فريق Sonic Labs بخبرة جيدة في هذه المجالات، إلا أنه استدعى بعض الخبراء للمساعدة في غوصه العميق في DAGs بهدف جعلها آمنة بشكل يمكن التحقق منه.
تم تطويره بالشراكة مع أفضل المنطقيين من جامعة سيدني وINRIA، تستفيد المكتبة من مساعد الإثبات TLA+ لتوفير مكونات معيارية وقابلة لإعادة الاستخدام. هذه تبسط عملية التحقق للمطورين، مما يمكنهم من نمذجة وتأكيد سلامة البروتوكولات المعتمدة على DAG بسهولة. تشمل المكتبة إثباتات موثقة للبروتوكولات الرئيسية مثل DAG-Rider وCordial Miner وBullshark وHashgraph وAleph، مع بروتوكول الإجماع الخاص بـ Sonic الذي تم التحقق منه كمنتج مشتق.
نظرًا للقيمة التي تتدفق الآن عبر أنظمة blockchain، فإن من مصلحة الجميع جعلها أكثر أمانًا. ومع ذلك، فإن هذا الأمر أسهل قولًا منه فعلًا، حيث إن إجراءات التدقيق القياسية ليست بأي حال من الأحوال مضمونة، وليس من غير المألوف أن تتسلل الثغرات التي يتم استغلالها لاحقًا بعواقب مدمرة.
جعل البلوكشين أكثر أمانًا للجميع
تستخدم منهجية التحقق الرسمي من Sonic Labs براهين رياضية صارمة للقضاء على الأخطاء، مما يضمن أن البروتوكولات تعمل بشكل موثوق في كل سيناريو يمكن تصوره. المكتبة لا تتحقق فقط من البروتوكولات الحالية ولكنها تمكن المطورين أيضًا من تصميم أنظمة جديدة قائمة على DAG أو تحسين الأنظمة الحالية. لقد قامت Sonic Labs بالفعل بتطبيق أداتها المملوكة لإثبات أن السلوك غير الآمن مستحيل رياضيًا على بلوكتشين Sonic.
تم عرضها لأول مرة في NASA Formal Methods 2025 في ويليامسبورغ، فيرجينيا في منتصف يونيو، تضيف المكتبة أداة دفاعية قيمة إلى ترسانة مطوري البلوك تشين. مع تحول التصميم المودولي إلى الطريقة الافتراضية لبناء البلوك تشين، تزداد مخاطر ظهور مخاطر أمنية. على سبيل المثال، تسمح العديد من مقدمي خدمة البلوك تشين كخدمة للفرق بإنشاء ونشر شبكة مخصصة في بضع نقرات فقط. ولكن إذا قرروا تعديل معلمات آلية الإجماع في هذه العملية، فهناك احتمال غير مقصود لإدخال ثغرة أمنية.
هذه مجرد منطقة واحدة يمكن لمكتبة التحقق الرسمي من Sonic Labs أن تطبق فيها بشكل واضح. لكنها أيضًا تضيف قيمة في تقييم سلاسل DAG الموجودة. يمكن أن تكمن الثغرات غير المكتشفة لسنوات في البرية قبل أن يكتشفها في سيناريو أفضل، هاكر أخلاقي ويقوم بإصلاحها. في أسوأ الأحوال، تقع في أيدي هاكر غير أخلاقي قادر على استغلالها.
كما يلخص الدكتور برنارد شولتز، كبير موظفي البحث في Sonic Labs، "في blockchain، غالبًا ما تنشأ حالات الفشل الأمني من افتراضات لا يتم اختبارها حتى فوات الأوان. مع هذه المكتبة، نحن ننتقل من الأمل إلى الإثبات، مقدمين الأدوات للتحقق، مع اليقين الرياضي، من أن البروتوكول سيتصرف بشكل آمن تحت جميع الظروف." مع توفر المكتبة مفتوحة المصدر الآن لمطوري web3، فإن المسؤولية تقع عليهم لاستغلال هذه الأداة إلى أقصى حد.
! عملية التحرير في bitcoinist تركز على تقديم محتوى موثوق ودقيق وغير متحيز تم بحثه بشكل شامل. نحن نلتزم بمعايير صارمة في المصادر، وتخضع كل صفحة لمراجعة دقيقة من قبل فريقنا من خبراء التكنولوجيا البارزين ومحررين ذوي خبرة. تضمن هذه العملية نزاهة وملاءمة وقيمة محتوياتنا لقرائنا.
المحتوى هو للمرجعية فقط، وليس دعوة أو عرضًا. لا يتم تقديم أي مشورة استثمارية أو ضريبية أو قانونية. للمزيد من الإفصاحات حول المخاطر، يُرجى الاطلاع على إخلاء المسؤولية.
سونك لابز تعزز أمان البلوكتشين مع مكتبة التحقق الرسمي الجديدة | Bitcoinist.com
! محتوى تحريري موثوق، تمت مراجعته من قبل خبراء الصناعة الرائدين ومحررين ذوي خبرة. إفصاح الإعلان تعيش Sonic Labs حسب اسمها وتعمل بجد في المختبر على ورقة بحثية جديدة. ليست مجرد وثيقة نظرية أيضًا: لقد أسفرت عن تطبيق ملموس في مجال توافق blockchain ، ومكتبة التحقق الرسمي التي طورتها Sonic Labs مفتوحة المصدر ومتاحة على Github.
فريق Sonic Labs معروف بالطبع بتصميمه لسلسلة Sonic Layer-1 التي نشأت من رماد Fantom. تستخدم Sonic DAG (Directed Acyclic Graph) من أجل توافقها، وكان هذا المجال هو الذي اختار فريق Labs التركيز على جهوده فيه بشكل مفهوم. بينما المكتبة الخاصة بالتحقق التي قاموا بتطويرها لاحقًا لها تداعيات على شبكة EVM الخاصة بـ Sonic، فهي قابلة للتطبيق بنفس القدر على جميع السلاسل القائمة والمستقبلية المعتمدة على DAG، حيث لديها القدرة على تعزيز الأمان بشكل كبير من خلال منع ظهور الأخطاء.
سونيك لابز تعيد النظر في DAGs
تصميم توافق البلوكشين هو أمر معقد يتطلب خبرة الباحثين في مجالات الرياضيات والتشفير ونظرية الألعاب. بينما يتمتع فريق Sonic Labs بخبرة جيدة في هذه المجالات، إلا أنه استدعى بعض الخبراء للمساعدة في غوصه العميق في DAGs بهدف جعلها آمنة بشكل يمكن التحقق منه.
تم تطويره بالشراكة مع أفضل المنطقيين من جامعة سيدني وINRIA، تستفيد المكتبة من مساعد الإثبات TLA+ لتوفير مكونات معيارية وقابلة لإعادة الاستخدام. هذه تبسط عملية التحقق للمطورين، مما يمكنهم من نمذجة وتأكيد سلامة البروتوكولات المعتمدة على DAG بسهولة. تشمل المكتبة إثباتات موثقة للبروتوكولات الرئيسية مثل DAG-Rider وCordial Miner وBullshark وHashgraph وAleph، مع بروتوكول الإجماع الخاص بـ Sonic الذي تم التحقق منه كمنتج مشتق.
نظرًا للقيمة التي تتدفق الآن عبر أنظمة blockchain، فإن من مصلحة الجميع جعلها أكثر أمانًا. ومع ذلك، فإن هذا الأمر أسهل قولًا منه فعلًا، حيث إن إجراءات التدقيق القياسية ليست بأي حال من الأحوال مضمونة، وليس من غير المألوف أن تتسلل الثغرات التي يتم استغلالها لاحقًا بعواقب مدمرة.
جعل البلوكشين أكثر أمانًا للجميع
تستخدم منهجية التحقق الرسمي من Sonic Labs براهين رياضية صارمة للقضاء على الأخطاء، مما يضمن أن البروتوكولات تعمل بشكل موثوق في كل سيناريو يمكن تصوره. المكتبة لا تتحقق فقط من البروتوكولات الحالية ولكنها تمكن المطورين أيضًا من تصميم أنظمة جديدة قائمة على DAG أو تحسين الأنظمة الحالية. لقد قامت Sonic Labs بالفعل بتطبيق أداتها المملوكة لإثبات أن السلوك غير الآمن مستحيل رياضيًا على بلوكتشين Sonic.
تم عرضها لأول مرة في NASA Formal Methods 2025 في ويليامسبورغ، فيرجينيا في منتصف يونيو، تضيف المكتبة أداة دفاعية قيمة إلى ترسانة مطوري البلوك تشين. مع تحول التصميم المودولي إلى الطريقة الافتراضية لبناء البلوك تشين، تزداد مخاطر ظهور مخاطر أمنية. على سبيل المثال، تسمح العديد من مقدمي خدمة البلوك تشين كخدمة للفرق بإنشاء ونشر شبكة مخصصة في بضع نقرات فقط. ولكن إذا قرروا تعديل معلمات آلية الإجماع في هذه العملية، فهناك احتمال غير مقصود لإدخال ثغرة أمنية.
هذه مجرد منطقة واحدة يمكن لمكتبة التحقق الرسمي من Sonic Labs أن تطبق فيها بشكل واضح. لكنها أيضًا تضيف قيمة في تقييم سلاسل DAG الموجودة. يمكن أن تكمن الثغرات غير المكتشفة لسنوات في البرية قبل أن يكتشفها في سيناريو أفضل، هاكر أخلاقي ويقوم بإصلاحها. في أسوأ الأحوال، تقع في أيدي هاكر غير أخلاقي قادر على استغلالها.
كما يلخص الدكتور برنارد شولتز، كبير موظفي البحث في Sonic Labs، "في blockchain، غالبًا ما تنشأ حالات الفشل الأمني من افتراضات لا يتم اختبارها حتى فوات الأوان. مع هذه المكتبة، نحن ننتقل من الأمل إلى الإثبات، مقدمين الأدوات للتحقق، مع اليقين الرياضي، من أن البروتوكول سيتصرف بشكل آمن تحت جميع الظروف." مع توفر المكتبة مفتوحة المصدر الآن لمطوري web3، فإن المسؤولية تقع عليهم لاستغلال هذه الأداة إلى أقصى حد.
! عملية التحرير في bitcoinist تركز على تقديم محتوى موثوق ودقيق وغير متحيز تم بحثه بشكل شامل. نحن نلتزم بمعايير صارمة في المصادر، وتخضع كل صفحة لمراجعة دقيقة من قبل فريقنا من خبراء التكنولوجيا البارزين ومحررين ذوي خبرة. تضمن هذه العملية نزاهة وملاءمة وقيمة محتوياتنا لقرائنا.