fabriziosalmi/aimpبروتوكول شبكي غير خادمي مصمم لمزامنة الحالة المقاومة بين الوكلاء المستقلين في الشبكات المجزأة ذات النطاق الترددي المنخفض
بروتوكول شبكي تجريبي بدون خادم لمزامنة الحالة المرنة بين الوكلاء المستقلين في الشبكات المجزأة ومنخفضة النطاق الترددي. مبني على Merkle-CRDTs والهوية المشفرة — بدون سلطة مركزية، بدون DNS عالمي، قابل للكتابة دائمًا.
| # | الإصدار | العنوان | الرابط |
|---|---|---|---|
| 1 | v0.1.0 | Merkle-CRDT Protocol (L1/L2) | ResearchGate |
| 2 | v0.2.0 | Epistemic Layer (L3) | ResearchGate |
| 3 | v0.3.0 | Correlation-Aware Aggregation (L3) | ResearchGate |
| 4 | v0.4.0 | Deterministic Semantic Topologies (L3) | ResearchGate |
ملفات المؤلفين: ResearchGate · ResearchHub
| الطبقة | الإصدار | الغرض |
|---|---|---|
| L1/L2 | v0.1.0 | Merkle-DAG CRDT، توقيع Ed25519، نقل بروتوكول Noise، إجماع BFT |
| L3 | v0.2.0 | الطبقة المعرفية: نسب الاحتمال اللوغاريتمية الصحيحة، نشر الثقة ثنائي المرور، سمعة مقاومة لهجمات Sybil |
| L3 | v0.3.0 | التجميع المدرك للارتباط: خصم هندسي لأجهزة الاستشعار/LLMs المترابطة |
| L3 | v0.4.0 | الطوبولوجيا الدلالية الحتمية: توليد الحواف الذاتي عبر SimHash 256-bit |
تطلبت L3 v0.3.0 من التطبيقات بناء الرسم البياني المعرفي يدويًا (حواف الدعم/التناقض). v0.4.0 يلغي هذه العقبة عن طريق التوليد الذاتي للحواف:
QuantizedEmbedding([u64; 4]) اختياري — SimHash 256-bit يُحسب من جانب التطبيق باستخدام نموذج تضمين معياري.max_k_nearest يحد من كثافة الحواف إلى O(N)، مما يمنع انفجار نشر الثقة.embedding_version: u32 يعزل المساحات الكامنة المنفصلة لترقيات النموذج على مستوى البروتوكول.// اكتشاف الحقيقة الذاتي: 10,000 ادعاء → فحص 50 ms، حواف O(N)
// لا أعداد عشرية. لا تنسيق. لا سلطة مركزية.
let edges = auto_edge_generator.generate_edges(&epoch_claims);
افترضت L3 v0.2.0 أن جميع مصادر الأدلة مستقلة إحصائيًا (Naive Bayes). ينتج عن هذا ثقة مفرطة مرضية عندما تبلغ أجهزة استشعار مترابطة فيزيائيًا (مثل 100 جهاز IoT على نفس السطح) أو وكلاء مترابطون دلاليًا (مثل LLMs مضبوطة على نفس مجموعة البيانات) عن ملاحظات متطابقة.
يقدم v0.3.0 خصم الارتباط بالخلية الشبكية (Grid-Cell Correlation Discounting):
CorrelationCell(u64) اختياري — إحداثي منفصل للتقارب المكاني أو الدلالي أو الزمني.discount_bps^rank / 10000^rank (الافتراضي 30%).(temporal_grid, fingerprint, correlation_cell)، مما يضمن حسابًا ذريًا على المجموعة الكاملة.correlation_cell: None تتصرف تمامًا مثل v0.2.0 (بدون تراجع).// 100 جهاز استشعار في نفس الموقع، ثقة 70% لكل منها:
// v0.2.0 (ساذج): 100 × 847 = 84,700 milli-log-odds → ~100% (مفرط الثقة)
// v0.3.0 (30%): 847 × Σ(0.3^i) ≈ 1,207 milli-log-odds → ~77% (واقعي)
aimp_node/ تطبيق مرجعي بلغة Rust (عضو في مساحة عمل Cargo)
src/
crdt/ محرك Merkle-DAG، نموذج الممثل، مخصص الساحة، إجماع النصاب
crypto/ هوية Ed25519، تجزئة BLAKE3، جدار حماية ذو ثقة صفرية
network/ نشر UDP، جلسات Noise Protocol XX، تحديد معدل لكل نظير
protocol/ تنسيق السلك (MessagePack)، تعداد الحمولة المقولب
epistemic.rs الطبقة المعرفية L3 (v0.3.0): log-odds، نشر الثقة، خصم الارتباط
semantic_topology.rs الطوبولوجيا الدلالية L3 (v0.4.0): تضمينات SimHash، توليد الحواف التلقائي
decision_engine.rs محرك قرار حتمي قابل للتوصيل (trait + محرك قواعد + إعادة تحميل ساخن)
error.rs تسلسل هرمي موحد لنوع AimpError
dashboard/ واجهة TUI لـ Ratatui
config.rs تكوين ديناميكي مع التحقق من الصحة
event/ تسجيل منظم + مقاييس Prometheus (عدادات + رسوم بيانية)
tests/ اختبارات التكامل
benches/ معايير Criterion
aimp_testbed/ Python SDK (aimp-client) + أداة CLI + اختبار الفوضى
deploy/ خدمة Systemd، Firecracker microVM، نص التثبيت
formal/ مواصفات TLA+ للتقارب + سلامة النصاب + تقارب الاعتقاد
docs/ الورقة 1 (مصدر Typst + PDF)
v0.2.0/ الورقة 2: الطبقة المعرفية (مصدر Typst + PDF)
v0.3.0/ الورقة 3: التجميع المدرك للارتباط (مصدر Typst + PDF)
| الميزة | AIMP (Merkle-CRDT) | تقليدي (Raft/Paxos) |
|---|---|---|
| الطوبولوجيا | شبكة P2P / لا مركزية | قائد / نصاب |
| التوفر | AP (قابل للكتابة دائمًا) | CP (يتطلب أغلبية) |
| الترتيب | سببي (ساعات متجهية) | كامل (تسلسلي) |
| التكامل | تشفيري (Merkle-DAG) | قائم على السجل |
| العتاد | محسّن للحافة/إنترنت الأشياء | درجة مركز بيانات |
tokio::mpsc