كنت تقرأ عن المقال الأخير من @SonicLabs التحقق الرسمي وإجماع مجموعة جدول أعمال التنمية TBH هذا هو نوع الأشياء التي تجعلني مهووسا بصعوبة ، لذا كان علي تبسيطها ومشاركتها لفهم أسهل لزملائي المهووسين ب Sooonic الذين يحبون ثقوب الأرانب التقنية ، وأشياء الدماغ العملاقة أولا ، إذا كنت مثل "Wat DAGs do brother ، ماذا يعني ذلك؟" 🔷DAG (الرسم البياني غير الدوري الموجه): 🔹كل معاملة تشبه عقدة في شبكة ويب عملاقة 🔹بدلا من انتظار الكتل ، تشير txs مباشرة إلى العديد من الكتل السابقة ، وبهذه الطريقة يتعمق الويب 🔹ينشئ هيكلا متفرعا يشبه الويب مقابل blockchain الخطي التقليدي أحادي الكتلة 🔹بروتوكولات DAG المختلفة المستخدمة حاليا (DAG-Rider و Hashgraph و Aleph و Cordial Miner و ES Bullshark) تتفوق كل منها في مجالات مختلفة ، ولا يوجد فائز مثالي (انظر مخطط الرادار الخاص بي أدناه ⤵️) 🔷الآن ، كيف يختلف نهج سونيك: قامت Sonic ببناء بروتوكولها الفريد من البداية وطورت مكتبة تحقق تثبت صحتها عبر بروتوكولات DAG المتعددة ، بما في ذلك Sonic (على المدى القصير ، عناصر👀 الدماغ giga): 🔹يقوم المدققون بإنشاء كتل أحداث تشير إلى العديد من الأحداث السابقة 🔹 يستخدم الانتخابات المتداخلة عبر الطبقات لاختيار أحداث "القائد" للسرعة 🔹 بمجرد انتخابهم كقادة ، يتم خطية الأحداث في السلسلة الرئيسية 🔹 تم تصميمه خصيصا ل BFT غير المتزامن (التسامح مع الخطأ البيزنطي) و PoS (لا يخلط DAG-rider و Hashgraph وما إلى ذلك) 🔷لماذا هذا مهم بالفعل: معظم أمان التشفير اليوم = "لقد اختبرناه على نطاق واسع ، ولم نعثر على أي أخطاء ... ربما آمنة؟" 🤷 ♂️ يستخدم Sonic الآن دليلا رياضيا على أن السلوك غير الآمن مستحيل حرفيا. ليس "غير مرجح" مستحيل. ليس فقط الاحتمال ولكن إنه يقين رياضي الأرقام جامحة: 14 شهرا من أبحاث التحقق الرسمية ، وهي الآن مفتوحة المصدر لمجتمع blockchain بأكمله. يؤدي هذا إلى تحويل الصناعة بأكملها من "ثق بنا ، لقد اختبرنا" إلى "هذا هو الدليل الرياضي الذي يعمل" باستخدام التحقق الرسمي TLA +. كانت تشفيرك المشفرة دائما آمنة مثل الرياضيات التي تقف وراءها ، والآن لدينا THE MATH OF THE MATHY MATH MATH لذلك. صرخ على @SonicAssistant لإعادة نشر المقال وإلا كنت سأفوتها🤝 🔷الرسوم البيانية أدناه: 1⃣آليات DAG العامة 2⃣5 قدرات مختلفة لبنية DAG 3⃣حول سونيك 4⃣الرؤى الرئيسية