Salvation es un motor algorítmico asíncrono de grado institucional desarrollado en Rust, diseñado específicamente para ejecutar estrategias de Arbitraje Estadístico de Convergencia en el mercado "Bitcoin Up or Down - 5 Minutes" de la red Polymarket (Polygon L2).
El sistema implementa una arquitectura HFT híbrida basada en la "Simetría Operacional Global". Aísla el procesamiento asíncrono pesado del Hot-Path crítico utilizando técnicas como Zero-Allocation, Spin Loops y mapeo en memoria atómica (mmap en /dev/shm).
El sistema está dividido en cinco componentes principales:
- Ingesta de Sensores Híbridos (WebSockets): Mantiene una conexión a la red Chainlink (RTDS) de Polymarket para rastrear el Resolution Price, y WebSockets L1 hacia Binance, OKX y Coinbase para sintetizar la volatilidad microestructural del mercado subyacente.
- Motor Estocástico (Black-Scholes): Proyecta la trayectoria probabilística de la Opción Binaria cada milisegundo. Operando bajo el estricto protocolo Sniper Mode, solo levanta el gatillo si la probabilidad de éxito supera el 99.5% dentro de los últimos 33 segundos de la ventana de mercado.
-
Gestión de Riesgo de Múltiples Fases:
-
Salvation Geometric Risk Curve: Mitiga la erosión del capital mediante un decaimiento conservador modelado por Ley de Potencias (
$f(x) = 2.5 \times x^{-0.80}$ ). -
Rigid Early Exit: Abandono prematuro de posiciones ganadoras exclusivamente a
$0.99mediante el Central Limit Order Book (CLOB). Supresión total del Stop-Loss para evitar drenajes por fricción de mercado.
-
Salvation Geometric Risk Curve: Mitiga la erosión del capital mediante un decaimiento conservador modelado por Ley de Potencias (
- Relayer Biconomy L2: Liquidación L1/L2 automatizada a prueba de fallos (Robust Claim Fallback) para canjear las acciones ganadoras directamente por USDC sin pagar Gas Fees.
-
Telemetría y UI: Interfaz CLI basada en
ratatuique expone los deltas del orderbook y las probabilidades estocásticas a 60 FPS, respaldado por un sistema de logging textual.logaltamente estructurado y auditable.
Ghost Mode(Simulación Rigurosa): El bot efectúa la medición del spread, asume posiciones teóricas consumiendo precios reales del Orderbook L2, y simula la volatilidad hasta el milisegundo de expiración. A diferencia de un paper-trading estándar, este modo simula de forma contable la pérdida y la capitalización de los decimales exactos ofrecidos por el mercado.Live Mode: El sistema orquesta la conexión a Polymarket firmando asíncronamente paquetes estructurados mediante EIP-712 a través del SDK Builder y el Relayer nativo de la red.
Para instancias remotas (VPS / GCP Compute Engine), se debe usar tmux para asegurar que el motor siga funcionando al desconectar la sesión SSH.
- Iniciar la sesión:
tmux new -s salvation - Ejecutar el motor:
./target/release/salvation - Desconectarse (Dejar en fondo): Presiona
Ctrl + By luegoD. Puedes cerrar tu terminal con seguridad. - Reconectar para monitorear:
tmux attach -t salvation
(Si necesitas matar el proceso y la TUI no responde, usa tmux kill-session -t salvation).
- Para conocer las fórmulas de cálculo de Volatilidad, modelo de Black-Scholes y Paridad de Riesgo, refiérase a
math.md. - Para conocer las reglas inquebrantables del motor de software, refiérase a
GEMINI.md.
- Alloy: Para primitivas EVM y firmas Gnosis Safe EIP-712 de alto rendimiento.
- Tokio: Para el Event Loop multihilo asíncrono y los WebSockets de red.
- Crossbeam: Para canales (colas) de paso de mensajes libres de bloqueos (Lock-free channels).
- Core Affinity: Para aislar procesos a niveles físicos del hardware.
Built for absolute latency.