protocol-arbitrage-lab

L2 长尾跨 DEX MEV 套利机器人:Rust 核心 + Solidity 执行合约,运行在中心化排序器的 Layer-2(Arbitrum / Base / Optimism)上,以单笔原子交易捕获跨 DEX 价差。

⚠️ 私有仓库。不含任何密钥;target/ 构建产物、.env、密钥文件已通过 .gitignore 排除。 当前状态:安全的本地监督树骨架,尚未接入真实数据源 / 密钥 / 实盘。

---

目录结构

• crates/ — Cargo workspace,17 个聚焦 crate: core / config / feed_monitor / calldata / detector / router / sim / strategy / tx_builder / fee / submitter / jit / capital / risk / keys / telemetry / bot。 30 条正确性属性均以基于属性的测试(proptest)覆盖。
• contracts/ — Foundry 项目,Solidity 执行合约(回滚保护、访问控制、闪电贷)+ 模糊测试(Properties 13、28)。
• frontend/ — MEV 控制台 UI(Overview / Strategies 等面板)。
• kiro/specs/mev-arbitrage-bot/ — 需求 / 设计 / 任务三件套 spec。
• Cargo.toml / Cargo.lock / rust-toolchain.toml — 工作区与锁定依赖。

---

快速上手

# Rust 侧
cargo build --workspace
cargo test --workspace

# 合约侧
cd contracts && forge build && forge test

# 机器人骨架自检(不实盘)
cargo run -p mev-bot -- --once

前端 console 直接用浏览器打开 frontend/index.html。

---

架构要点

• 速度与稳定优先:Rust 无 GC、进程内 revm 模拟(免 RPC 往返)、Solidity 链上回滚保护。
• 原子性:多跳交换写在一笔执行合约调用里,不盈利即整笔回滚,失败只损 gas。
• L2 适配:无 bundle 市场,靠提交延迟抢 FCFS 排序;成本 = L2 执行费 + L1 数据费 + 优先费。
• 风控一等公民:熔断开关、最大亏损限额、库存预留、密钥脱敏、回滚保护。