أصدرت Sonic Labs مكتبة جديدة مفتوحة المصدر مصممة لتوفير التحقق الرسمي لبروتوكولات توافق الآراء القائمة على DAG، وهي خطوة تدعي أنها ستساعد في رفع معايير الأمان للشبكات اللامركزية.
إثباتات رياضية للتحقق من بروتوكولات التوافق
تم تقديم مكتبة التحقق الرسمي، التي تم تطويرها بالتعاون مع باحثين من جامعة سيدني ومعهد الأبحاث الفرنسي INRIA، لأول مرة في وقت سابق من هذا الشهر في مؤتمر NASA Formal Methods 2025 (NFM 2025) في ويليامسبورغ، فيرجينيا.
تستخدم المكتبة TLA+، وهي لغة مواصفات رسمية طورتها أبحاث مايكروسوفت، لإثبات صحة بروتوكولات الاجماع رياضيًا.
قالت Sonic Labs إن الأداة تبسط عملية نمذجة والتحقق من الأنظمة الموزعة المعقدة من خلال تقديم مكونات قابلة لإعادة الاستخدام ووحدات يمكن تطبيقها عبر عدة هياكل بلوكتشين.
تتضمن البروتوكولات الموثوقة بالفعل DAG-Rider وCordial Miner وBullshark وHashgraph وAleph. كما تم التحقق من بروتوكول التوافق الخاص بـ Sonic القابل للتشغيل مع EVM كمشتق باستخدام الأداة.
"مع هذه المكتبة، نحن ننتقل من الأمل إلى الإثبات، ونقدم الأدوات للتحقق، مع يقين رياضي، من أن بروتوكول سيتصرف بأمان في جميع الظروف"، قال كبير مسؤولي البحث الدكتور برنارد شولتز.
تحديات الأمان في توافق سلسلة الكتل
تؤمن سلاسل الكتل اليوم تريليونات الدولارات في الأصول الرقمية، مما يضع ضغطًا كبيرًا على بنية التوافق الأساسية للعمل بدون أخطاء.
يمكن أن تؤدي الثغرات في هذه الآليات إلى إنفاق مزدوج، وعدم تناسق السجل، أو استغلالات كاملة النطاق
بينما تعتبر عمليات التدقيق واختبار الاختراق من الممارسات القياسية في الصناعة، إلا أنها لا يمكن أن تضمن الغياب التام للأخطاء الحرجة، خصوصاً في البيئات المعقدة وغير المتزامنة.
يوفر التحقق الرسمي بديلاً من خلال إثبات رياضي أن بروتوكول يعمل بأمان تحت جميع السيناريوهات الممكنة. قالت Sonic Labs إن أداتها الجديدة يمكن استخدامها ليس فقط لتدقيق البروتوكولات الحالية ولكن أيضًا لمساعدة المطورين في تصميم أو تعديل أنظمة قائمة على DAG من الصفر.
تستخدم الشركة المكتبة داخليًا للتحقق من سلامة شبكة البلوكشين الخاصة بها وتدعي أنها تستطيع رياضيًا القضاء على إمكانية السلوك غير الآمن تحت شروط محددة.
من خلال فتح مصدر المكتبة، تهدف شركة Sonic Labs إلى تقليل تكلفة وتعقيد بناء أنظمة بلوكتشين آمنة مع تعزيز التبني الأوسع للتحقق الرسمي في تطوير Web3.
سونيك هو بلوكتشين متوافق مع EVM مصمم لتقديم إنتاجية عالية، مع تقديم نهائية دون ثانية وسرعات معالجة تصل إلى 400,000 معاملة في الثانية.
تتميز الشبكة بنموذج تحقيق الإيرادات من الرسوم الذي يتيح للمطورين كسب 90% من رسوم المعاملات الناتجة عن تطبيقاتهم اللامركزية.
لماذا يهم هذا
مع تزايد القيمة المحتجزة في شبكات البلوكشين، يمكن أن تتسبب العيوب الصغيرة في بروتوكولات التوافق في خسائر مالية كبيرة وتضر بالثقة. تستخدم أداة التحقق مفتوحة المصدر من Sonic Labs الرياضيات لضمان سلامة البروتوكول، مما يعوض فجوة غالبًا ما تتجاهلها الاختبارات التقليدية.
اطلع على أخبار العملات المشفرة الرائجة من DailyCoin:
تستهدف ETF التشفير الجديدة لشركة ترامب ميديا البيتكوين والإيثيريوم
مطور Shiba Inu الرئيسي يثير تطبيقًا خارقًا: هل هو الشيء الكبير التالي لـ SHIB؟
يسأل الناس أيضا:
ما هو بروتوكول الإجماع في البلوكتشين؟ بروتوكول الإجماع هو مجموعة من القواعد التي تسمح لمشاركي الشبكة الموزعة بالاتفاق على الحالة الحالية للبلوكتشين، مما يضمن أن جميع النسخ متسقة وأن المعاملات يتم التحقق منها بشكل صحيح.
لماذا يعتبر التوافق مهمًا لشبكات البلوكشين؟ التوافق ضروري للحفاظ على نزاهة وأمان وموثوقية شبكة البلوكشين. إنه يمنع مشاكل مثل الإنفاق المزدوج ويضمن أن جميع المشاركين في الشبكة يشاركون نفس سجل المعاملات.
ما هي بروتوكولات التحقق القائمة على DAG؟ DAG ( الرسم البياني الموجه غير الدوري ) تستخدم بروتوكولات التحقق هيكل الرسم البياني بدلاً من سلسلة تقليدية لتسجيل المعاملات. يمكن أن يحسن هذا التصميم قابلية التوسع وسرعة المعاملات مقارنة بسلاسل الكتل الخطية.
ما هو التحقق الرسمي؟ التحقق الرسمي هو طريقة رياضية تُستخدم لإثبات صحة وأمان تصميم النظام، مما يضمن أنه يتصرف كما هو مقصود تحت جميع الظروف الممكنة.
المحتوى هو للمرجعية فقط، وليس دعوة أو عرضًا. لا يتم تقديم أي مشورة استثمارية أو ضريبية أو قانونية. للمزيد من الإفصاحات حول المخاطر، يُرجى الاطلاع على إخلاء المسؤولية.
سونك لابز تكشف عن مكتبة مفتوحة المصدر للتحقق من بلوكتشين DAG
أصدرت Sonic Labs مكتبة جديدة مفتوحة المصدر مصممة لتوفير التحقق الرسمي لبروتوكولات توافق الآراء القائمة على DAG، وهي خطوة تدعي أنها ستساعد في رفع معايير الأمان للشبكات اللامركزية.
إثباتات رياضية للتحقق من بروتوكولات التوافق
تم تقديم مكتبة التحقق الرسمي، التي تم تطويرها بالتعاون مع باحثين من جامعة سيدني ومعهد الأبحاث الفرنسي INRIA، لأول مرة في وقت سابق من هذا الشهر في مؤتمر NASA Formal Methods 2025 (NFM 2025) في ويليامسبورغ، فيرجينيا.
تستخدم المكتبة TLA+، وهي لغة مواصفات رسمية طورتها أبحاث مايكروسوفت، لإثبات صحة بروتوكولات الاجماع رياضيًا.
قالت Sonic Labs إن الأداة تبسط عملية نمذجة والتحقق من الأنظمة الموزعة المعقدة من خلال تقديم مكونات قابلة لإعادة الاستخدام ووحدات يمكن تطبيقها عبر عدة هياكل بلوكتشين.
تتضمن البروتوكولات الموثوقة بالفعل DAG-Rider وCordial Miner وBullshark وHashgraph وAleph. كما تم التحقق من بروتوكول التوافق الخاص بـ Sonic القابل للتشغيل مع EVM كمشتق باستخدام الأداة.
"مع هذه المكتبة، نحن ننتقل من الأمل إلى الإثبات، ونقدم الأدوات للتحقق، مع يقين رياضي، من أن بروتوكول سيتصرف بأمان في جميع الظروف"، قال كبير مسؤولي البحث الدكتور برنارد شولتز.
تحديات الأمان في توافق سلسلة الكتل
تؤمن سلاسل الكتل اليوم تريليونات الدولارات في الأصول الرقمية، مما يضع ضغطًا كبيرًا على بنية التوافق الأساسية للعمل بدون أخطاء.
يمكن أن تؤدي الثغرات في هذه الآليات إلى إنفاق مزدوج، وعدم تناسق السجل، أو استغلالات كاملة النطاق
بينما تعتبر عمليات التدقيق واختبار الاختراق من الممارسات القياسية في الصناعة، إلا أنها لا يمكن أن تضمن الغياب التام للأخطاء الحرجة، خصوصاً في البيئات المعقدة وغير المتزامنة.
يوفر التحقق الرسمي بديلاً من خلال إثبات رياضي أن بروتوكول يعمل بأمان تحت جميع السيناريوهات الممكنة. قالت Sonic Labs إن أداتها الجديدة يمكن استخدامها ليس فقط لتدقيق البروتوكولات الحالية ولكن أيضًا لمساعدة المطورين في تصميم أو تعديل أنظمة قائمة على DAG من الصفر.
تستخدم الشركة المكتبة داخليًا للتحقق من سلامة شبكة البلوكشين الخاصة بها وتدعي أنها تستطيع رياضيًا القضاء على إمكانية السلوك غير الآمن تحت شروط محددة.
من خلال فتح مصدر المكتبة، تهدف شركة Sonic Labs إلى تقليل تكلفة وتعقيد بناء أنظمة بلوكتشين آمنة مع تعزيز التبني الأوسع للتحقق الرسمي في تطوير Web3.
سونيك هو بلوكتشين متوافق مع EVM مصمم لتقديم إنتاجية عالية، مع تقديم نهائية دون ثانية وسرعات معالجة تصل إلى 400,000 معاملة في الثانية.
تتميز الشبكة بنموذج تحقيق الإيرادات من الرسوم الذي يتيح للمطورين كسب 90% من رسوم المعاملات الناتجة عن تطبيقاتهم اللامركزية.
لماذا يهم هذا
مع تزايد القيمة المحتجزة في شبكات البلوكشين، يمكن أن تتسبب العيوب الصغيرة في بروتوكولات التوافق في خسائر مالية كبيرة وتضر بالثقة. تستخدم أداة التحقق مفتوحة المصدر من Sonic Labs الرياضيات لضمان سلامة البروتوكول، مما يعوض فجوة غالبًا ما تتجاهلها الاختبارات التقليدية.
اطلع على أخبار العملات المشفرة الرائجة من DailyCoin:
تستهدف ETF التشفير الجديدة لشركة ترامب ميديا البيتكوين والإيثيريوم
مطور Shiba Inu الرئيسي يثير تطبيقًا خارقًا: هل هو الشيء الكبير التالي لـ SHIB؟
يسأل الناس أيضا:
ما هو بروتوكول الإجماع في البلوكتشين؟ بروتوكول الإجماع هو مجموعة من القواعد التي تسمح لمشاركي الشبكة الموزعة بالاتفاق على الحالة الحالية للبلوكتشين، مما يضمن أن جميع النسخ متسقة وأن المعاملات يتم التحقق منها بشكل صحيح.
لماذا يعتبر التوافق مهمًا لشبكات البلوكشين؟ التوافق ضروري للحفاظ على نزاهة وأمان وموثوقية شبكة البلوكشين. إنه يمنع مشاكل مثل الإنفاق المزدوج ويضمن أن جميع المشاركين في الشبكة يشاركون نفس سجل المعاملات.
ما هي بروتوكولات التحقق القائمة على DAG؟ DAG ( الرسم البياني الموجه غير الدوري ) تستخدم بروتوكولات التحقق هيكل الرسم البياني بدلاً من سلسلة تقليدية لتسجيل المعاملات. يمكن أن يحسن هذا التصميم قابلية التوسع وسرعة المعاملات مقارنة بسلاسل الكتل الخطية.
ما هو التحقق الرسمي؟ التحقق الرسمي هو طريقة رياضية تُستخدم لإثبات صحة وأمان تصميم النظام، مما يضمن أنه يتصرف كما هو مقصود تحت جميع الظروف الممكنة.
.social-share-icons { عرض: مرن مضمن ؛ الاتجاه المرن: الصف ؛ الفجوة: 8 بكسل ؛ نصف قطر الحدود: 8 بكسل ؛ الحدود: 1 بكسل #dedede الصلبة ؛ الحشو: 8 بكسل 16 بكسل ؛ الهامش السفلي: 8 بكسل ؛ }
.social-share-icons أ { عرض: فليكس. اللون: # 555; زخرفة النص: لا شيء ؛ تبرير المحتوى: المركز. محاذاة العناصر: مركز. لون الخلفية: #dedede ؛ نصف قطر الحدود: 100٪ ؛ الحشو: 10 بكسل ؛ }
.social-share-icons a: hover { لون الخلفية: #F7BE23 ؛ تعبئة: أبيض. }
.social-share-icons svg { العرض: 24 بكسل ؛ الارتفاع: 24 بكسل ؛ }