تجسد Tau Net & $AGRS رؤية السايبربانك الأصلية ل BTC وهي مصممة بشكل صريح لإزالة الحوكمة المركزية.
تضمن Tau Net حساب كل مستخدم ، وتنفيذ التحديثات المتفق عليها تلقائيا دون تحكم مركزي. 👇
🧵2/6
تحتوي المعاملات على Tau Net blockchain في البداية على أوامر تحويل العملات المعدنية ومقترحات المتطلبات الجديدة.
بشكل عام ، المعاملات عبارة عن مجموعات من عناصر الجبر المنطقي ، على سبيل المثال الدوال المنطقية ، أو سلاسل البتات المحدودة ، أو صيغ تاو ، أو الجداول ، أو عناصر أي جبر منطقي يدعمه Tau. في البداية ، كما هو مذكور أعلاه ، تنظر السلسلة فقط إلى أول عنصرين من هذه المجموعات.
ثم يتم تجميع المجموعات كجدول في كتلة مقترحة جديدة. من هناك ، تتبع أوامر تحويل العملات المعدنية ومقترحات القواعد الجديدة مسارين مختلفين.
🧵3/6 مقترحات المتطلبات:
تتبع المتطلبات الجديدة مسارا مختلفا. يتم ربط جميع المتطلبات الجديدة في الكتلة معا ، وهذا يجعل الجزء الذي يتفق عليه الجميع ، ويشار إليه ب "psi (Ψ)".
في خطوة ثالثة، يتم تغذية "المتطلبات الجديدة المتفق عليها Ψ" إلى دفق الإخراج "تحديث المضمن" (مع الوصول إلى القواعد في الوقت T)، والذي ينفذ إجراء المراجعة النقطية لإنتاج المتطلبات الجديدة في الوقت T+1.
🧵4/6
يتم التعبير عن جزء تحويل العملة من المعاملات على أنه "دلتا محلية" ، وهي عبارة عن جدول للعناوين والمبالغ المراد تحويلها من كل معاملة (إيجابية أو سلبية).
ثم يتم جمع الدلتا المحلية حسب العنوان لتشكيل "الدلتا العالمية" ، والتي تعطي التغيير الصافي في الرصيد لكل عنوان. أخيرا ، يتم تلخيص دلتا العالمية بجدول الأرصدة الحالية ، مما ينتج عنه جدول أرصدة جديد. أثناء خطوة التحقق من الرصيد، إذا تبين أن أي من الأرصدة الجديدة سالبة، يتم رفض الكتلة الجديدة المقترحة بالكامل.
🧵5/6 الدولة الجديدة
أخيرا ، يشكل جدول الأرصدة الجديدة في الوقت T + 1 والقواعد الجديدة في الوقت T + 1 الحالة الجديدة في الوقت T + 1. ستحكم القواعد الجديدة في الوقت T + 1 حساب الحالة في الوقت T + 2.
🧵6/6
ما هو آخر تحديث على Tau Net Test Net؟
🛠 آخر تحديث للمطورين لشهر يوليو - بناء جوهر 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 - أوهاد (المؤسس والمدير الفني)
- التركيز على تصميم الخوارزمية الجديدة وتعاون الفريق.
- استكشاف اللغات المستقلة عن المجال لتعزيز إجراءات اتخاذ القرار.
- راجع الأوراق الأكاديمية الحديثة حول المنطق الزمني وأكد أن تاو لا يزال متقدما على البحث الحالي.
1.31 ألف
39
المحتوى الوارد في هذه الصفحة مُقدَّم من أطراف ثالثة. وما لم يُذكَر خلاف ذلك، فإن OKX ليست مُؤلِّفة المقالة (المقالات) المذكورة ولا تُطالِب بأي حقوق نشر وتأليف للمواد. المحتوى مٌقدَّم لأغراض إعلامية ولا يُمثِّل آراء OKX، وليس الغرض منه أن يكون تأييدًا من أي نوع، ولا يجب اعتباره مشورة استثمارية أو التماسًا لشراء الأصول الرقمية أو بيعها. إلى الحد الذي يُستخدَم فيه الذكاء الاصطناعي التوليدي لتقديم مُلخصَّات أو معلومات أخرى، قد يكون هذا المحتوى الناتج عن الذكاء الاصطناعي غير دقيق أو غير مُتسِق. من فضلك اقرأ المقالة ذات الصِلة بهذا الشأن لمزيدٍ من التفاصيل والمعلومات. OKX ليست مسؤولة عن المحتوى الوارد في مواقع الأطراف الثالثة. والاحتفاظ بالأصول الرقمية، بما في ذلك العملات المستقرة ورموز NFT، فيه درجة عالية من المخاطر وهو عُرضة للتقلُّب الشديد. وعليك التفكير جيِّدًا فيما إذا كان تداوُل الأصول الرقمية أو الاحتفاظ بها مناسبًا لك في ظل ظروفك المالية.