webspoilt/lattice9
GitHub: webspoilt/lattice9
Lattice9 是一个图原生的攻击性情报系统,用于概率性攻击路径推理和时序拓扑分析,帮助优化安全评估和威胁建模。
Stars: 1 | Forks: 0
# L A T T I C E 9 系统
Lattice9是一个图原生的攻击性情报基础设施,用于概率性攻击路径推理、时序拓扑认知和分布式对抗计算。
[](https://github.com/zeroday)
[](https://github.com/zeroday)
[](https://github.com/zeroday)
[](https://github.com/zeroday)
[](https://github.com/zeroday)






## Lattice9 的使命
## 系统架构概览

Lattice9 将目标子图进行分区并映射到独立的遍历器,利用 Redis Streams 进行非阻塞任务同步,并使用 Neo4j 处理结构化模式关系。系统跨越五个计算层运行:
| 层级 | 功能 | 组件 |
| :--- | :--- | :--- |
| **L0 — 客户端** | 接口表面 | CLI · REST API · WebSocket · MCP Client · 图控制台 (D3/WebGL) |
| **L1 — 编排** | 请求路由 | 曝露路由器 · 情报路由器 · 证据路由器 · Proxima 路由器 |
| **L2 — 计算** | 图情报 | 拓扑核心 + 23 个计算智能模块 |
| **L3 — 代理** | 多智能体推理 | 通过 Proxima MCP 的 7 个专用代理 |
| **L4 — 持久化** | 状态基础设施 | Neo4j 5.x · PostgreSQL 16 · Redis 7.x · FastAPI |
### 摄取、侦察与推理管线
```
[ TARGET ]
|
+--------------+--------------+
| |
[ DNS ] [ SERVICES ]
| |
+--------------+--------------+
|
[ INGESTION LAYER ]
|
+--------------+--------------+
| |
[ TOPOLOGY ENGINE ] [ RECON LAYER ]
| |
+--------------+--------------+
|
[ ASSET GRAPH ]
|
Spectral Partitioning / Centrality Analysis
|
[ EVIDENCE FUSION ]
|
Bayesian Confidence Propagation Engine
|
+--------------+--------------+
| |
[ ATTACK PATH ] [ INFRASTATE ]
| |
+--------------+--------------+
|
[ DECISION COMPRESSION ]
|
[ OPERATOR ]
```
摄取和侦察管线专注于隐蔽、异步的发现和拓扑感知的遍历。由 **Scrapling** 和非阻塞管线驱动,侦察层保持严格的证据来源,并在最小化目标行为特征的同时,维持跨边界的图连续性。

## 图原生攻击认知
### 高维图模型
Lattice9 将目标基础设施在数学上形式化为一个双时态演化有向多重图 $G_t$:
$$G_t = (V_t,\ E_t,\ W_t,\ \Phi_t)$$
其中:
- $V_t$ — 异构网络实体:主机、服务、凭证、身份、漏洞、证据
- $E_t$ — 类型化的有向关系:`TRUSTS`、`AUTHENTICATES_TO`、`HOSTS`、`PRIVILEGE_ESCALATION`
- $W_t$ — 多维边权重矩阵:转换成本、监控摩擦、目标抵抗力
- $\Phi_t$ — 动态图场状态:妥协能量传播

### 谱图理论与图拉普拉斯算子
Lattice9 将基础设施建模为一个概率拓扑模型,其中资产是顶点,关系是加权边,代表 DNS 亲和性、证书重用、共享身份验证边界或 API 依赖。
拓扑引擎使用 **图拉普拉斯算子** $L$ 计算连通分量和谱分区:
$$L = D - A$$
其中 $D$ 是度矩阵,$A$ 是邻接矩阵。拉普拉斯谱使引擎能够自主隔离弱连通子网,检测关键节点资产,并评估信任边界的涌现。如果一个关键漏洞出现在具有高特征向量中心性的节点上,其操作影响范围会呈指数级扩展,路由引擎会立即重新优先考虑路径遍历。
## 概率推理引擎
### 贝叶斯置信传播
企业遥测数据充满噪声、冲突且动态。Lattice9 不是将漏洞标志视为二元绝对真理,而是运行**阻尼循环置信传播**扫描来计算收敛置信数组 $C_i$:
$$m_{i \to j}^{(t)} = (1 - \alpha) \cdot \left( \psi_{ij} \cdot C_0(i) \prod_{k \in N(i) \setminus \{j\}} m_{k \to i}^{(t-1)} \right) + \alpha \cdot m_{i \to j}^{(t-1)}$$
为防止循环正反馈回路在未妥协节点上膨胀置信值,扫描强制实施一个阻尼阈值 $\alpha$,该阈值针对图拉普拉斯算子 $L$ 的最大特征值进行校准:
$$\alpha > 1 - \frac{1}{\rho_{\max}(L)}$$

## 攻击路径综合
### 约束感知遍历
攻击路径不是简单的最短路径。Lattice9 通过在边松弛期间评估物理前提条件(操作系统、入口端口状态、凭证访问权限)来确定性地过滤路径。如果前提条件门关闭,边成本评估为 $\infty$,路由路径综合将严格绕过不可能的向量。
### 攻击效用优化
规划遍历器通过最大化**攻击者 ROI/效用** $\mathcal{U}(P)$ 来优先考虑路径:
$$\mathcal{U}(P) = \frac{\displaystyle\sum_{v \in P} \text{Gain}(v) \cdot \prod_{e \in P} P_{\text{traverse}}(e)}{\text{Risk}_{\text{detection}}(P) \cdot \displaystyle\sum_{e \in P} \text{Cost}_{\text{operational}}(e)}$$

路径沿两个正交轴动态排序:**隐蔽最优**路径(最小化检测可见性)与**速度最优**路径(最小化执行复杂性)。效用函数编码了成功遍历的概率和检测的经济成本,产生操作上现实的优先级。
## 具有抵抗力的攻击路径拓扑

### 拓扑抵抗力
$$R_{\text{topo}}(G, A) = \frac{\lambda_2 \cdot \Phi(A)}{|V|}$$
其中 $\lambda_2$ 是代数连通性(Fiedler 值),$\Phi(A)$ 是针对对手 $A$ 的最小割,结果分数量化了从对手入口点到关键资产遍历的结构难度。节点在 $R_{\text{topo}} \in [0, 1]$ 上评分:低于 0.4 的值表示严重漏洞;高于 0.7 的值表示防御态势。
## 时序认知
信任结构和凭证的有效性随时间衰减。Lattice9 对边权重和发现置信度应用时序半衰期衰减函数:
$$C_t(e) = C_0(e) \cdot e^{-\lambda (t - t_{\text{update}})}$$
其中 $\lambda = \ln(2) / t_{1/2}$,默认半衰期校准为 30 天。这会自动衰减过时或不活动凭证的有效性,模拟自然环境漂移。时序引擎维护双时态快照——每个参与状态都有版本化,使得可以计算任意两个时序点之间的漂移。

## 分布式图计算
### 多智能体框架
七个专用代理通过 **Proxima 的 Model Context Protocol (MCP)** 路由层进行协调,每个代理都严格基于图状态:
| 代理 | 模型 | 操作范围 |
| :--- | :--- | :--- |
| **规划器** | Claude 3.5 Sonnet | 将目标分解为依赖感知的任务 DAG |
| **侦察器** | GPT-4o / Local Llama | 执行发现、端口探测、指纹识别 |
| **关联器** | Claude 3.5 Sonnet | 映射关系、信任边界、凭证到资产的绑定 |
| **利用器** | Claude 3.5 Sonnet | 综合具有前提条件验证的利用链 |
| **验证器** | Gemini 1.5 Pro | 怀疑性地审计推论以消除误报 |
| **报告器** | Claude 3.5 Sonnet | 生成系统工程文档 |
| **记忆器** | Gemini 1.5 Pro | 编译快照、演化跟踪、拓扑漂移 |

### 执行模式
```
Sequential: Plan → Recon → Correlate → Exploit → Verify → Report
Parallel: Concurrent sub-task execution with async merge
Debate: Dialectic consensus rounds before Neo4j commit
Round-Robin: Cyclic sweeps until graph confidence stabilizes
```
## 主系统分析与操作验证
Lattice9 已在严格的计算约束下进行了严格的审计和认证。操作验证详情发布在 [analysis/runtime_validation_report.md](analysis/runtime_validation_report.md):
- **阻尼置信稳定:** 即使在高度循环的 Active Directory 信任循环下,循环置信传播扫描也经证明可在 10-15 个周期内收敛,通过我们的**动态振荡屏蔽**进行缓解,该屏蔽在检测到路径振荡时自动降低 $\gamma$。
- **Pearl 因果 do-演算:** 因果推断引擎通过动态改变局部图状态并重新求解联合概率来模拟网络干预——物理移除信任边或隔离顶点——而不修改活动生产环境。
- **D3/WebGL 3D 视觉保真度:** 3D Force Graph 控制台中的节点大小根据证据加权的贝叶斯置信度 ($1 + C_i \times 3$) 动态缩放,并根据类型化实体着色,而抽象的非欧几里得几何(流形曲率、同调空洞)被隔离到侧边栏遥测面板,以保持人类认知清晰度。
- **100% 通过测试:** 所有 12 个回归测试用例 (`server-py/test_engine.py`) 均成功执行并通过,确认了计算和数学的完整性。
## 23 个计算智能模块
Lattice9 中的每个数学模型都映射到横向路径计算中的一个操作后果。没有装饰性的数学。
| 模块 | 公式 | 操作效果 |
| :--- | :--- | :--- |
| **场论** | $\Phi(v) = \sum \frac{\text{Risk}(u) \cdot \text{Trust}(u,v)}{d(u,v)^\gamma}$ | 映射妥协重力井和风险汇聚区 |
| **波传播** | $\frac{\partial C}{\partial t} = D\nabla^2 C - \lambda C + S(x,t)$ | 模拟威胁在子网边界间的传播速度 |
| **阻力理论** | $R(P) = \sum \frac{\text{DetectionRisk}(e)}{\text{TraversalProbability}(e)}$ | 计算拓扑路由障碍以避免检测 |
| **对抗博弈** | $V^{\ast}(s) = \max_a \min_d \mathbb{E}[R(s,a,d) + \gamma V^{\ast}(s')]$ | 在主动防御修补下识别极小极大路径 |
| **攻击经济学** | $\mathcal{U}(P) = \frac{\text{Gain} \cdot \prod P_{\text{traverse}}}{\text{Risk}_{\text{detect}} \cdot \sum \text{Cost}}$ | 根据攻击者资源支出与 ROI 对利用路径排序 |
| **熵坍缩** | $H(G) = -\sum P(P_i) \log_2 P(P_i)$ | 隔离结构关键点以减少不确定性 |
| **因果推断** | $P(Y \mid \text{do}(X = x))$ | 识别超越相关性的根本因果暴露 |
| **拓扑数据分析** | $H_0, H_1$ 持久同调 | 检测拓扑空洞、隔离间隙、循环 AD 循环 |
| **吸引子理论** | $A(v) = \text{Trust} \cdot \text{Privilege} \cdot \text{Centrality}$ | 定位攻击汇聚的稳定妥协盆地 |
| **信息几何** | $g_{ij}$ 黎曼度量张量 | 弯曲攻击流形以追踪测地线最小阻力路由 |
| **图神经网络** | $\mathbf{h}_v^{(k)} = \text{AGGREGATE}\left(\{\mathbf{h}_u^{(k-1)}\}\right)$ | 嵌入网络节点以预测未记录的信任边 |
| **贝叶斯传播** | $m_{i \to j}^{(t)} = (1-\alpha)(\psi_{ij} C_0 \prod m) + \alpha m^{(t-1)}$ | 使用拉普拉斯校准的阻尼传播置信度 |
| **时序衰减** | $C_t(e) = C_0(e) \cdot e^{-\lambda \Delta t}$ | 衰减凭证有效性以模拟环境漂移 |
| **影响范围** | 多维影响分析 | 计算从任何节点的级联妥协影响 |
| **反事实** | 沙盒缓解模拟 | 测试防御变更而不影响活动图 |
## 决策压缩
现代攻击面产生的遥测数据超过了人类分析师高效处理的能力。Lattice9 实现了**决策压缩**,将数百万次原始观察、数千个端点和冲突的证据信号聚合为高置信度情报:
- **横向攻击叙事** — 带有结构上下文的妥协顺序链。
- **拓扑感知利用路径** — 映射到活动环境的约束验证路径。
- **操作相关情报** — 去除操作噪声以优先处理结构关键点。
引擎不再回答诸如*"存在哪些漏洞?"*之类的静态问题,而是自主解决关系型、目标导向的查询:
- *"哪些关系重要?"*
- *"哪些证据汇聚?"*
- *"哪些基础设施行为异常?"*
- *"哪些攻击路径概率性涌现?"*
## 架构比较
传统攻击安全平台优化扫描执行和漏洞列出。Lattice9 基于有状态的对抗图认知运行。
| 维度 | 传统安全工具 | Lattice9 认知引擎 |
| :--- | :--- | :--- |
| **核心数据模型** | 平坦、断开连接的发现表 | 类型化、有向、高维多重图 |
| **路径优先级** | 静态 CVSS 严重性评分 | 在拓扑上下文上优化的攻击者 ROI 效用 |
| **时序状态** | 每次参与的扫描快照 | 持久、双时态演化的图记忆 |
| **证据验证** | 静态截图和日志附件 | 密码学可证明的证据来源 DAG |
| **置信度度量** | 二元漏洞标志 | 不确定性下的贝叶斯置信传播 |
| **利用链** | 人工分析师关联 | 约束感知的 Dijkstra 和流形测地线路由 |
| **推理模型** | 特设分析师直觉 | 严格基于图状态的多智能体辩论 |
## 主权 LLM 集成
Lattice9 通过 Proxima 路由层支持主权部署和本地 LLM 集成:
- **Ollama** — 具有自动模型检测的本地模型服务
- **vLLM** — 用于生产部署的高吞吐量推理
- **llama.cpp** — 用于气隙环境的 CPU 优化推理
- **HuggingFace** — 支持量化的直接模型加载
侦察代理自动检测并路由到可用的本地模型,仅在明确配置时才回退到云 API。这实现了完全气隙的操作,无需遥测数据离开部署环境。
## 生产 API 注册表
### 图与情报计算
```
POST /analyze/{engagement_id} Full intelligence analysis sweep
POST /events/{engagement_id} Event-driven graph recomputation
GET /snapshots/{engagement_id} Temporal snapshots
GET /snapshots/{id}/drift Topological drift computation
GET /algorithms/{id}/paths Multi-algorithm attack paths
GET /algorithms/{id}/exploit-chains Constraint-validated exploit chains
GET /field/{id}/density Attack pressure field density
GET /field/{id}/gradients/{node} Field gradient vector at node
GET /resistance/{id}/paths Resistance-weighted stealth paths
POST /wave/{id}/simulate Compromise wave propagation
GET /game/{id}/minimax Game-theoretic minimax optimal path
GET /game/{id}/nash Local Nash equilibrium locations
GET /economics/{id}/paths Attacker ROI-ranked pathways
GET /topology/{id}/homology Persistent homology topological sweep
GET /gnn/{id}/predict-relationships GNN-predicted undocumented trust edges
GET /attractor/{id}/inevitability Structural compromise inevitability index
GET /geometry/{id}/geodesic Geodesic path routing on risk manifold
GET /entropy/{id} Topological Shannon entropy levels
POST /counterfactual/{id}/simulate Sandboxed defense mitigation simulation
GET /evidence/{finding_id}/lineage Cryptographic evidence ancestry trace
```
### Proxima 与代理编排
```
GET /proxima/health MCP connectivity status
GET /proxima/models Available LLM models
GET /proxima/agents Registered multi-agent runtimes
POST /proxima/agents/run Single agent execution
POST /proxima/pipeline/run Full multi-agent sequential pipeline
POST /proxima/debate Dialectic multi-agent consensus debate
```
## 清理后的仓库结构
仓库保持了异常清晰、模块化的系统工程结构:
```
lattice9/
├── server-py/ # Python Graph Intelligence Engine
│ ├── main.py # FastAPI REST framework
│ ├── db.py # PostgreSQL & Neo4j connector core
│ ├── graph/ # Core Graph Computation Engines
│ │ ├── algorithms.py # Constraint-aware path relaxing
│ │ ├── confidence.py # Loopy belief propagation core
│ │ ├── field_theory.py # Graph field spatial equations
│ │ └── topological_da.py # Union-find & Bron-Kerbosch simplicial complexes
│ └── proxima/ # Proxima MCP & Multi-Agent systems
│
├── server/ # TypeScript Access Layer
│ └── routers/ # tRPC schema & intelligence endpoints
│
├── client/ # React WebGL Dashboard Console
│ └── src/components/ # Three.js 3D Force Graph console
│
├── analysis/ # Master Operational Audits
│ └── runtime_validation_report.md # Code certification & systems-analysis report
│
└── docs/ # Systems Specifications & Pubs
├── diagrams/ # High-Fidelity Architectural Visualizations (PNG)
│ ├── html/ # D3/WebGL Interactive Visuals (HTML)
│ └── scripts/ # Playwright WebGL automated rendering scripts
├── whitepaper/ # Publication-grade LaTeX & PDFs
│ ├── lattice9.tex # LaTeX whitepaper source
│ ├── Lattice9-Technical-Whitepaper.pdf
│ └── cover.pdf
└── metadata/ # Structure and dependency schemas (JSON)
```
## 研究方向
Lattice9 的计算框架在对抗图理论中开辟了几个研究前沿:
1. **谱对抗扰动** — 小的拓扑变化(单条边的添加/移除)如何改变 Fiedler 值,从而改变最小割阻力
2. **非欧几里得攻击流形** — 将信息几何扩展到双曲空间,以更好地建模层次化信任结构(Active Directory 林)
3. **突变下的拓扑持久性** — 跟踪当图被防御修补操作突变时,Betti 数如何演化
4. **因果反事实战争** — 使用结构因果模型模拟“如果这个漏洞被修补会怎样”,而不修改活动图
5. **基于 GNN 的边预测** — 从结构图嵌入预测未记录的信任关系
6. **熵加权测地线路由** — 结合信息论熵和测地距离用于不确定性感知的路径规划
### 研究与工程路线图
Lattice9 计划的工程里程碑和即将进行的协议扩展包括:
- [ ] **自主漏洞验证** — 链接到证据来源的安全、沙盒化的主动漏洞检查。
- [ ] **情景基础设施记忆** — 用于跟踪长期结构漂移的高级情景回放。
- [ ] **强化学习侦察** — 动态的、代理引导的侦察路径以最大化目标发现。
- [ ] **时序拓扑预测** — 未来资产变化和凭证过期的预测建模。
- [ ] **潜在空间嵌入** — Node2Vec 和结构图嵌入用于预测缺失的信任边界。
- [ ] **分布式推理代理** — 使用轻量级、本地化模型的多智能体共识辩论。
- [ ] **自适应隐秘编排** — 图引导的爬取以匹配流量模式并规避 IPS 系统。
- [ ] **因果反事实模拟** — 在活动部署前模拟修补效果和结构突变。
## 部署
### 系统要求
| 组件 | 要求 |
| :--- | :--- |
| **操作系统** | Linux (Ubuntu 22.04+) 或 macOS |
| **图存储** | Neo4j 5.x(本地或远程) |
| **消息代理** | Redis 7.x(流 + 异步任务) |
| **数据库** | PostgreSQL 16+(带 `pgvector`) |
| **运行时** | Python 3.11+ 和 Node.js 20+ |
### 快速开始
```
# 克隆仓库
git clone https://github.com/webspoilt/lattice9.git
cd lattice9
# 实例化虚拟环境
python -m venv .venv
source .venv/bin/activate
# 安装依赖项
cd server-py
pip install -r requirements.txt
```
### 环境配置
```
# Neo4j 图数据库
NEO4J_URI=bolt://localhost:7687
NEO4J_USER=neo4j
NEO4J_PASSWORD=your_secure_password
# PostgreSQL 事务型数据库
DATABASE_URL=postgresql://postgres:password@localhost:5432/lattice9
# Redis 队列与消息流代理
REDIS_URL=redis://localhost:6379/0
# Sovereign Engine 密钥
LATTICE9_ENGINE_KEY=sovereign-l9-secret-2026
# LLM API 密钥(可选 — Proxima 处理路由)
OPENAI_API_KEY=sk-proj-...
ANTHROPIC_API_KEY=sk-ant-api03-...
```
### 容器化部署
```
docker compose up -d --build
```
### 运行引擎
```
# 初始化图数据库模式与索引
python -m graph.schema
# 启动 FastAPI REST 应用程序
python main.py
```
REST API 文档在 `http://localhost:8000/docs` 暴露。
## 执行哲学
### 严谨的科学而非工具垃圾
传统漏洞平台通过集成包装工具的数量来衡量成功——产生大量不可利用的噪声警报。Lattice9 精确执行 **23 个严谨的数学模块**。每个模块在数学上改变路径的遍历方式、置信的传播方式或暴露的优先级顺序。每个方程直接指导横向移动推理。
### 可观察的图状态基础
我们通过架构约束而非提示工程来消除 AI 幻觉。**图是主权的真相来源**。当代理做出断言时,该陈述必须锚定到特定的 Neo4j 节点或关系。如果遥测状态发生变化,漂移引擎会触发主动重新计算。
### 认知克制与操作员信任
引擎在严格的**认知克制**下运行——假设大多数个别发现是噪声、不完整或错误的,直到证据汇聚。我们优先考虑可解释性、置信度透明度和数学来源,而不是批量警报计数。每条横向路径推断都提供透明的推理链,以便操作员可以始终追踪*为什么*引擎认为某个特定暴露是可行的。
### UI 哲学:静默的计算强度
Lattice9 操作员控制台被构建为一个主动对抗系统可观测环境,而不是一个静态的管理仪表板。避免网络安全陈词滥调、假终端垃圾或嘈杂的装饰美学,它代表了**静默的计算强度**。它在现实的力导向运动下可视化概率拓扑图、贝叶斯波传播、谱聚类和时序漏洞扩散。
### 图认知与操作推理界面
Lattice9 将 18 个传统的静态表整合到一个统一的、高保真的图认知控制台中,分为 4 个紧密集成的操作表面:
```
+---------------------------------------------+
| LATTICE9 CONSOLE |
+---------------------------------------------+
| [COGNITION] [FINDINGS] [ATTACK] [TEMPORAL] |
+---------------------------------------------+
| |
| 3D GRAPH REASONING ENGINE |
| (Dynamic Physics-Based Overlays) |
| |
| [CONFIDENCE] [PRESSURE] [RESISTANCE] |
| [ENTROPY] [ATTRACTOR] [CURVATURE] |
| |
+---------------------+-----------------------+
| REASONING CHAIN | EVIDENCE PROVENANCE |
| - Prior Transition | - Hash Validation |
| - Edge Weights | - CWE / CVSS Mapping |
| - Joint Probability| - Source Attributions |
+---------------------+-----------------------+
```
#### 1. 认知 — 基于物理的图观察
中心视口渲染一个完全交互式的 3D 力导向图,直接连接到我们的计算层。视觉行为与活动数学模型紧密绑定,实时修改 Three.js 力、电荷水平和节点/链接美学:
* **置信模式(贝叶斯置信阻尼):** 节点大小根据其收敛的贝叶斯置信度 ($1 + C_i \times 3$) 缩放,而置信度较低的节点视觉上振荡和振动,以向操作员传达模型不确定性。
* **压力模式(风险重力井):** 渲染空间场强度 $\Phi(v)$,使用 HSL 热梯度(青色到琥珀色/红色)为节点着色,以隔离风险热点和妥协重力井。
* **阻力模式(隐秘走廊):** 边的不透明度和宽度代表拓扑阻力 $R(e)$。高阻力边界在空间中物理分离,使网络隔离区域视觉上直观。
* **熵模式(香农不确定性):** 可视化结构信息混乱 $H(G)$。布局增加电荷和动能速度,突出显示结构不确定性集中的高熵边界。
* **吸引子模式(妥协盆地):** 吸引子节点 $A(v)$ 施加引力,将周围的网络节点拉入紧凑、密集的子图,代表目标妥协盆地。
* **曲率模式(黎曼测地线):** 根据 Ricci/流形曲率 $g_{ij}$ 为顶点着色,映射攻击表面的拓扑曲线以识别最优路由路径。
#### 2. 发现 — 证据驱动的队列
一个操作面板,将经过验证的暴露映射到其精确的密码学来源。每个发现都索引为:
* **证据来源面板:** 显示从原始摄取哈希到高级多智能体断言的确定性祖先链,完全消除幻觉风险。
* **严重性与优先级加权:** 结合 CVSS/CWE 分类法和动态拓扑中心性,按真正的操作影响而非通用评分对暴露进行排名。
#### 3. 攻击面 — 战略决策综合
用于横向路由、攻击者经济学和博弈论沙盒的专用驾驶舱:
* **路径经济学:** 根据攻击者 ROI/效用 $\mathcal{U}(P)$ 对利用路径排序,帮助操作员识别阻力最小的最高概率路径。
* **纳什均衡与极小极大布局:** 隔离博弈论最优路由走廊,假设一个主动、修补的对手。
* **假设反事实沙盒:** 允许操作员模拟防御变更——例如切断信任边或隔离服务——并立即观察产生的波传播衰减和拓扑阻力崩溃,而无需触碰生产环境。
#### 4. 时序 — 双时态历史时间线
沿双时态时间线跟踪结构漂移和凭证衰减:
* **快照历史:** 高速时间滑块,可回退观察图演化。
* **拓扑漂移日志:** 审计任意两个时序点之间添加/修改/删除的实体和关系。
* **凭证半衰期衰减视觉效果:** 显示凭证有效性的活跃指数衰减曲线,突出显示需要刷新的陈旧凭证。
## 白皮书与文档出版物
| 文档 | 描述 |
| :--- | :--- |
| [系统白皮书](docs/whitepaper/lattice9.pdf) | 综合的数学和架构规范(PDF) |
| [技术白皮书规范](docs/whitepaper/Lattice9-Technical-Whitepaper.pdf) | 正式的 LaTeX 编译和方程列表(PDF) |
| [分布式工作规范](docs/architecture/distributed-worker-architecture.md) | 哈希环复制和分区同步规范 |
| [工程博客剖析](docs/research/engineering-blog-autopsy.md) | 系统级分析和研究文档 |
## 数学附录
### 场论 — 攻击压力公式
$$\Phi(v) = \sum_{u \in V \setminus \{v\}} \frac{\text{Risk}(u) \cdot \text{Trust}(u, v)}{d(u, v)^\gamma}$$
其中 $d(u,v)$ 是拓扑上的测地距离,$\gamma$ 是场空间衰减因子(默认:反平方律,$\gamma = 2.0$)。每个节点的场密度标识了凭证妥协传播最快的自然重力井。
### 波传播 — 威胁扩散 PDE
$$\frac{\partial C}{\partial t} = D\nabla^2 C - \lambda C + S(x, t)$$
模拟妥协传播的反应-扩散方程:$D$ 是扩散系数(网络渗透性),$\lambda$ 是自然衰减率(检测概率),$S(x,t)$ 是源项(新妥协注入)。这模拟了威胁在子网边界间的动态传播速度。
### 对抗博弈论 — 极小极大均衡
$$V^{\ast}(s) = \max_a \min_d \mathbb{E}[R(s, a, d) + \gamma V^{\ast}(s')]$$
攻击者选择行动 $a$ 以最大化预期收益,而防御者选择行动 $d$ 以最小化它。结果均衡识别了在主动防御响应假设下最稳健的攻击路径。
### 拓扑阻力 — 代数连通性
$$R_{\text{topo}}(G, A) = \frac{\lambda_2 \cdot \Phi(A)}{|V|}$$
结合 Fiedler 值 $\lambda_2$(代数连通性)与针对对手 $A$ 的最小割 $\Phi(A)$,以量化对抗遍历的结构阻力。
### 熵坍缩 — 结构不确定性
$$H(G) = -\sum_{i} P(P_i) \log_2 P(P_i)$$
攻击路径分布 $P_i$ 上的香农熵。低熵表示结构汇聚(少数主导路径——高风险),而高熵表示路径多样性(许多同等可行的路由——防御复杂性)。
### 信息几何 — 黎曼度量
$$ds^2 = g_{ij}\, dx^i\, dx^j \quad | \quad \Gamma(\sigma) = \int_\sigma \sqrt{g_{ij}\, dx^i\, dx^j}$$
度量张量 $g_{ij}$ 编码了攻击流形上的遍历阻力。测地线路径 $\Gamma(\sigma)$ 在这个弯曲空间中追踪最小阻力路由,自然绕过高检测区域。
## 工程约束
作为一个攻击性图推理操作系统,Lattice9 在现实世界的计算约束下运行:
- **计算复杂性** — 大型图操作,如拉普拉斯谱分析、高维中心性和连续循环置信传播,随图规模急剧扩展。在大规模基础设施上,这些需要大量 RAM 并可能增加寻路延迟。
- **图爆炸** — 跨丰富边界的关系建模可能导致重叠的信任边界和高边密度。在快速拓扑漂移期间最小化图不稳定性是一个活跃工程的主要领域。
- **概率模糊性** — 遥测很少是确定性的。引擎不是强制二元假设,而是保留和跟踪不确定性,要求分析师根据风险偏好校准收敛阈值。
## 许可
Lattice9 根据 [MIT 许可证](LICENSE) 提供。
**LATTICE9 — 计算,而非扫描。**
*由 [zeroday](https://github.com/zeroday) 设计与创建*
标签:MCP集成, Neo4j应用, Python开发, Redis流处理, 优先级排序, 侦察引擎, 分布式系统, 响应大小分析, 图原生架构, 威胁建模, 安全基础设施, 实时计算, 对抗性计算, 搜索引擎查询, 攻击路径分析, 时间拓扑分析, 智能代码审计, 概率推理, 测试用例, 网络安全, 自动化攻击, 请求拦截, 进攻性情报, 逆向工具, 隐私保护, 高保真建模