✅ تم الوصول إلى معلم آخر في Tau Net Testnet: Block Schema & Merkle Root.
كما ذكرنا في تحديث التطوير الأخير ، فقد أكملنا مخطط الكتلة لشبكة اختبار Tau وحساب جذر Merkle المتكامل.
النظام الآن: 👇
- يجمع الكتل من معاملات mempool.
- تربط التجزئة كتل الكتل بالمكونات السابقة.
- يحسب جذور Merkle لسلامة المعاملات.
- يخزن كل كتلة في قاعدة البيانات الثابتة.
يقوم كبير المطورين Andrei الآن ببناء الدولة من دفتر الأستاذ التاريخي ، ويتحرك كتلة تلو الأخرى من كتلة التكوين ، ويأمل في تحقيق حالة سلسلة مستمرة وربما حتى شبكة نظير إلى نظير جزئي (P2P) قريبا.
تابعنا للبقاء على اطلاع دائم بكونك جزءا من البنية التحتية النهائية للعملات المشفرة و Defi.
🧵2/2:
🛠 آخر تحديث للمطورين لشهر يوليو - بناء جوهر TestNet Alpha الخاص ب Tau Net
دفع الفريق أكثر نحو TestNet Alpha من خلال وضع اللمسات الأخيرة على إنشاء الكتلة، وتحسين أداء التحليل، وتطوير خوارزميات جديدة لتطبيع الصيغة.
يبرز:
- TestNet Alpha: اكتمل إنشاء الكتلة وربطها وتخزين جذر Merkle
- حل SAT: أدى الترحيل من Z3 إلى CVC5 إلى تطبيع أفضل وإرضاء
- محرك التحليل: 60٪ تعزيز الأداء + براءة اختراع تحليل جديدة محتملة
- البحث والتطوير اللغوي: تطبيع مضاد للتحضير ومواصفات التخلص من القياس الكمي المنطقي جاهزة.
يقوم أوهاد بمراجعة أحدث أوراق المنطق الزمني. لا تزال Tau Net و $AGRS متقدمة بفارق كبير عن التقدم الأكاديمي الحالي في هذا المجال.
الطوابع الزمنية:
00:12 - ملخص كريم
03:48 - ديفيد (المطور الرئيسي)
- تم التبديل بنجاح من Z3 إلى CVC5 ، مما أدى إلى تحسين الأداء العام للمحلل.
- تم الانتهاء من العمل على وحدات التطبيع والرضا والترجمة الفورية مع CVC5.
- تم تنفيذ نهج Ohad المقترح لتأجيل الدقة الحرفية لمعادلات متجهات البت.
- ساعد عمر في مراجعات التعليمات البرمجية وتصحيح الأخطاء.
05:36 - لوكا (مطور لغة تاو)
- تم تطوير المواصفات الأولية لخوارزمية للتخلص من الكميات الوظيفية لاستخدامها في ميزة جدول Tau.
- تم دمجها في خوارزمية التطبيع المضادة للتحضير للتعامل مع الصيغ التي لا يغطيها CVC5.
- التحضير لتنفيذ هذه الخوارزمية الآن بعد الانتهاء من الكود الزائف.
- بدأت في استخدام تنفيذ شجرة Tomáš الجديدة وساعدت في حل مشكلاتها النهائية.
08:30 - أندريه كوروتكوف (مطور أول)
- اكتمل معلم اختبار الشبكة الأساسية لإنتاج الكتل وتخزينها، بما في ذلك معالجة mempool وربط الكتل وحساب جذر Merkle واستمرار قاعدة البيانات.
- يضع هذا العمل الأساس للمعلم التالي: حالة السلسلة المستمرة بناء على محفوظات الكتلة.
- تطوير أداة اختبار تحميل معقدة لمحاكاة سلوك مترجم تاو وديناميكيات blockchain تحت مراجعة نقطية.
11:20 - Tomáš Klapka (مطور أول)
- تم إصلاح العديد من المشكلات من مفتاح الشجرة، بما في ذلك معالجة النفي والأخطاء المطبعية النحوية وأخطاء استدلال النوع.
- إعادة بناء مكتبة المحلل اللغوي لتكون رأس فقط.
- تم إنشاء دعم Docker والإصدارات الليلية لأداة TGF والمحلل اللغوي.
- تم تحديث لغة تاو لدمج المحلل اللغوي المحسن.
12:26 - أوهاد (المؤسس والمدير الفني)
- التركيز على تصميم الخوارزمية الجديدة وتعاون الفريق.
- استكشاف اللغات المستقلة عن المجال لتعزيز إجراءات اتخاذ القرار.
- راجع الأوراق الأكاديمية الحديثة حول المنطق الزمني وأكد أن تاو لا يزال متقدما على البحث الحالي.
2.6 ألف
50
المحتوى الوارد في هذه الصفحة مُقدَّم من أطراف ثالثة. وما لم يُذكَر خلاف ذلك، فإن OKX ليست مُؤلِّفة المقالة (المقالات) المذكورة ولا تُطالِب بأي حقوق نشر وتأليف للمواد. المحتوى مٌقدَّم لأغراض إعلامية ولا يُمثِّل آراء OKX، وليس الغرض منه أن يكون تأييدًا من أي نوع، ولا يجب اعتباره مشورة استثمارية أو التماسًا لشراء الأصول الرقمية أو بيعها. إلى الحد الذي يُستخدَم فيه الذكاء الاصطناعي التوليدي لتقديم مُلخصَّات أو معلومات أخرى، قد يكون هذا المحتوى الناتج عن الذكاء الاصطناعي غير دقيق أو غير مُتسِق. من فضلك اقرأ المقالة ذات الصِلة بهذا الشأن لمزيدٍ من التفاصيل والمعلومات. OKX ليست مسؤولة عن المحتوى الوارد في مواقع الأطراف الثالثة. والاحتفاظ بالأصول الرقمية، بما في ذلك العملات المستقرة ورموز NFT، فيه درجة عالية من المخاطر وهو عُرضة للتقلُّب الشديد. وعليك التفكير جيِّدًا فيما إذا كان تداوُل الأصول الرقمية أو الاحتفاظ بها مناسبًا لك في ظل ظروفك المالية.