fabriziosalmi/aimpБессерверный сетевой протокол, предназначенный для устойчивой синхронизации состояния между автономными агентами в фрагментированных сетях с низкой пропускной способностью
Экспериментальный бессерверный сетевой протокол для устойчивой синхронизации состояний между автономными агентами во фрагментированных сетях с низкой пропускной способностью. Построен на Merkle-CRDT и криптографической идентичности — без центрального органа, без глобального 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 Protocol, кворум BFT |
| L3 | v0.2.0 | Эпистемический слой: целочисленные лог-шансы, двухпроходное распространение доверия, Sybil-устойчивая репутация |
| L3 | v0.3.0 | Агрегация с учётом корреляции: геометрическое дисконтирование для коррелированных сенсоров/LLM |
| L3 | v0.4.0 | Детерминированные семантические топологии: автономное построение рёбер через 256-битный SimHash |
L3 v0.3.0 требовал от приложений ручного построения графа знаний (рёбра Supports/Contradicts). v0.4.0 устраняет это узкое место с помощью автономной генерации рёбер:
QuantizedEmbedding([u64; 4]) — 256-битный SimHash, вычисляемый на стороне приложения из канонической модели эмбеддинга.max_k_nearest ограничивает плотность рёбер до O(N), предотвращая взрыв распространения доверия.embedding_version: u32 изолирует непересекающиеся латентные пространства для обновлений модели на уровне протокола.// Автономное обнаружение истины: 10 000 утверждений → сканирование за 50 мс, O(N) рёбер
// Без чисел с плавающей запятой. Без координации. Без центрального органа.
let edges = auto_edge_generator.generate_edges(&epoch_claims);
L3 v0.2.0 предполагает, что все источники свидетельств статистически независимы (наивный Байес). Это приводит к патологической сверхуверенности, когда физически коррелированные сенсоры (например, 100 устройств IoT на одной крыше) или семантически коррелированные агенты (например, LLM, дообученные на одном наборе данных) сообщают согласованные наблюдения.
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 милли-лог-шансов → ~100% (сверхуверенность)
// v0.3.0 (30%): 847 × Σ(0.3^i) ≈ 1 207 милли-лог-шансов → ~77% (реалистично)
aimp_node/ Эталонная реализация на Rust (член рабочей области Cargo)
src/
crdt/ Движок Merkle-DAG, модель акторов, аллокатор arena, консенсус кворума
crypto/ Идентичность Ed25519, хеширование BLAKE3, межсетевой экран с нулевым доверием
network/ UDP gossip, сессии Noise Protocol XX, ограничение скорости на пира
protocol/ Формат провода (MessagePack), типизированное перечисление полезной нагрузки
epistemic.rs Эпистемический слой L3 (v0.3.0): лог-шансы, распространение доверия, дисконтирование корреляции
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 Mesh / Децентрализованная | Лидер / Кворум |
| Доступность | AP (всегда доступен для записи) | CP (требуется большинство) |
| Упорядочивание | Причинное (векторные часы) | Полное (последовательное) |
| Целостность | Криптографическая (Merkle-DAG) | Основанная на журнале |
| Оборудование | Оптимизировано для Edge/IoT | Уровень дата-центра |