الأساليب الرسمية
نمذجة سلوك البروتوكول والتحقق من الثوابت قبل الادعاء بضمانات إنتاجية.
02 / AMUNCHAIN
الطبقة صفر
الأساس الدستوري للشبكات السيادية.
تجمع AmunCore هندسة البروتوكول والمواصفات الرسمية والتفويض والتعافي ضمن معمارية Layer 0 قيد التطوير والتحقق المحلي.
معمارية مفاهيمية
شبكة سيادية 1
شبكة سيادية 2
شبكة سيادية 3
طبقة المدققين والتنسيق
AMUNCOREالأساس الدستوري · Layer 0
التفويضقواعد الحالةالتعافي
فصل المعمارية عن التفعيل
توضح هذه الخريطة العلاقات المقترحة. لا تمثل عُقدًا تعمل الآن أو نموذج إجماع متحققًا منه مستقلًا.
حالة كل مكونAmunCore وهندسة البروتوكول
يضع المخطط نواة Rust والمواصفات الرسمية ونماذج TLA+ في قلب التطوير المحلي. ويحدد التفويض وإثبات المصدر والتخزين والتعافي الموثق حدودًا أساسية للثقة.
التفويض وإثبات المصدر
توضيح مصدر الأفعال المقبولة وصلاحياتها وإتاحتها للمراجعة.
التخزين والتعافي
التحقق من الحالة المخزنة وسلوك الأعطال وحدود التعافي الموثق.
التشغيل البيني وحدود الإجماع
تنسيق الشبكات السيادية هدف معماري. يتطلب الإجماع والنهائية والاتصال ومزامنة الحالة واختيار المدققين وVRF والتوقيع العتبي/MPC نشر حالة كل مكون وأدلة اختباره قبل عرضه كقدرة مطبقة.
لا ينشر هذا الإصدار أرقام TPS أو زمن نهائية أو عدد مدققين عاملين أو ضمانات أمن كمي. المخطط ليس تقرير قياسات أو تدقيقًا مستقلًا.
المصدر: المخطط الرئيسي 1.0، الصفحات 11–12 · فتح المصدر PDF