Axient: Canonical Protocol-Graph Composition for Leveraged Event Markets: Single State Authority, Atomic Composition, Durable Sagas, and Exactly-Once Recovery

En el mundo de las finanzas digitales, ha surgido un nuevo tipo de mercado donde las personas pueden apostar al resultado de eventos futuros, desde puntuaciones deportivas hasta resultados electorales, utilizando dinero prestado para amplificar sus ganancias potenciales. Esto se conoce como un mercado de eventos apalancados. Imagine a un operador que quiere apostar a un resultado específico pero no tiene suficiente efectivo para cubrir el riesgo total. Proporciona una pequeña cantidad de su propio dinero como depósito, y un prestamista proporciona el resto. Si la apuesta gana, el operador se queda con el beneficio; si pierde, el prestamista asume la pérdida. El sistema debe ser increíblemente preciso porque involucra dinero real, reglas complejas sobre quién recibe pagos y la necesidad de gestionar miles de estas apuestas ocurriendo simultáneamente sin que nadie pierda sus fondos debido a un error informático. El desafío central al construir tal sistema es asegurar que cada una de las piezas del rompecabezas financiera esté de acuerdo con la verdad. Si la parte del software que rastrea las deudas dice una cosa, pero la parte que gestiona las posiciones de las apuestas dice otra, todo el sistema podría colapsar, dejando a los inversores con fondos perdidos y sin forma de recuperarlos.

Un investigador ha desarrollado un nuevo plano para construir estos mercados digitales, diseñado para eliminar la confusión que surge cuando diferentes partes de un programa informático no están de acuerdo. Su trabajo se centra en un concepto que llama "fuente única de verdad". En muchos sistemas informáticos complejos, diferentes módulos o programas podrían mantener sus propias listas separadas de quién debe qué, esperando que estas listas eventualmente coincidan. El investigador argumenta que este enfoque es peligroso. En su lugar, propone un sistema donde cada tipo específico de información financiera —como el monto de la deuda, el estado de una apuesta o el dinero mantenido en reserva— se almacena en exactamente un lugar, propiedad de un contrato digital específico. Ninguna otra parte del sistema tiene permitido poseer una copia de esos datos o tomar decisiones basadas en su propia versión de la verdad. Esto asegura que cuando ocurre una transacción, esta se registre en un único lugar definitivo, y todas las demás partes del sistema deban consultar ese mismo lugar para ver qué ha sucedido.

El investigador probó esta idea construyendo un modelo completo y funcional de un mercado de eventos apalancados y lo sometió a una serie de doce escenarios específicos para ver si resistía la presión. Quería demostrar que su diseño podía manejar desde la apertura de una nueva apuesta hasta el pago de ganancias, e incluso la recuperación de un fallo del sistema, sin crear nunca un registro duplicado de un evento financiero. En sus pruebas, simuló una situación en la que un proceso trabajador, que se encarga del trabajo pesado de mover dinero, dejó de funcionar repentinamente y se reinició. En un sistema menos seguro, este reinicio podría causar que el trabajador pagara accidentalmente la misma deuda dos veces, pensando que el primer intento falló. Sin embargo, en el sistema del investigador, el trabajador verificó el registro oficial único antes de actuar. Vio que la deuda ya había sido liquidada y simplemente no hizo nada, asegurando que el dinero se moviera exactamente una vez, ni más ni menos.

Para que esto funcionara, el investigador creó un conjunto de reglas estrictas que gobiernan cómo se comunican las diferentes partes del sistema entre sí. Diseñó una "cascada de pérdidas", que es un orden específico en el cual se toma el dinero de diferentes fondos para cubrir una mala apuesta. Primero, se utiliza el dinero de la apuesta específica; si eso no es suficiente, el sistema pasa a un fondo de reserva; si todavía no es suficiente, toma de un fondo de prestamistas junior; y finalmente, toma de prestamistas senior. Este orden está codificado de forma rígida en el sistema para que no pueda ser cambiado o eludido. También construyó un mecanismo para pausar todo el sistema instantáneamente si algo sale mal, pero con una característica de seguridad que evita que la pausa se levante demasiado rápido. Solo un proceso con un tiempo preaprobado puede reiniciar el sistema, asegurando que una reacción de pánico no conduzca a un reinicio apresurado y peligroso.

El investigador también se centró en la idea de la "prueba" en un sentido digital. Creó un registro detallado, o diario, que registra cada uno de los pasos que toma el sistema, desde el momento en que un usuario hace clic en un botón hasta la actualización final del saldo de la cuenta. Este registro no es solo un respaldo; es la base para reconstruir la memoria del sistema si alguna vez se corrompe. Si el sistema falla, un nuevo proceso puede leer este registro y reconstruir el estado exacto del mercado sin necesidad de confiar en ninguna otra computadora o servicio. Esto es crucial porque significa que el sistema no depende de una autoridad central para decir qué sucedió; la evidencia está en el registro, y cualquiera puede verificarla. El investigador pasó su modelo por doce pruebas diferentes, incluyendo escenarios donde una apuesta se liquidó parcialmente, donde surgió un conflicto entre dos piezas de evidencia, y donde un usuario intentó retirar dinero mientras todavía se estaba calculando una pérdida. En cada caso, el sistema se comportó exactamente según las reglas dictadas, negándose a mover dinero a menos que se cumplieran todas las condiciones y los registros oficiales se actualizaran.

Uno de los hallazgos más importantes fue que el sistema podía manejar procesos complejos de múltiples pasos sin quedarse estancado o cometer errores. Por ejemplo, cuando se liquida una apuesta, el sistema primero debe confirmar el resultado, luego reducir la deuda y solo después liberar cualquier dinero sobrante al operador. Si el sistema intentara realizar estos pasos por separado, podría liberar dinero antes de que la deuda fuera cancelada. El diseño del investigador obliga a que estos pasos ocurran como una unidad única e inquebrantable. Si cualquier parte del proceso falla, toda la unidad se cancela y no se mueve ningún dinero. Esto evita que el sistema entre en un estado en el que deba dinero que no tiene o haya pagado dinero que no debería haber pagado. También demostró que el sistema podía detectar cuándo un usuario intentaba usar información desactualizada, como una apuesta que ya no era válida, y la rechazaba inmediatamente sin afectar al resto del mercado.

El investigador tuvo cuidado de señalar que su trabajo era una simulación, una prueba controlada de la arquitectura en sí, y no un producto financiero real funcionando en una red pública. No probó el sistema con dinero real o eventos del mundo real, sino con un conjunto cuidadosamente construido de reglas y datos para ver si la lógica se mantenía. Los resultados mostraron que el diseño evitó con éxito la creación de registros financieros duplicados y mantuvo una visión única y consistente del estado del mercado en todos sus componentes. Encontró que, al limitar estrictamente quién podía cambiar qué, y al asegurar que cada cambio se registrara de una manera que pudiera ser verificada independientemente, podían construir un sistema robusto contra errores y capaz de recuperarse de fallos sin perder datos.

El estudio también destacó la importancia de un "manifiesto", que es un documento digital que enumera cada parte del sistema, su dirección y sus reglas. Este manifiesto actúa como un contrato entre las diferentes partes del software, asegurando que todas trabajen con la misma versión del código y el mismo conjunto de reglas. Si una parte del sistema intenta usar una dirección o una regla diferente, el sistema la rechaza inmediatamente. Esto evita que hackers o errores accidentales introduzcan un fragmento de código malicioso que pueda rotear fondos o alterar el resultado de una apuesta. El investigador demostró que este enfoque podría utilizarse para crear un sistema donde las reglas sean transparentes y los resultados sean previsibles, incluso en un entorno complejo con muchos actores diferentes.

En última instancia, el artículo presenta una nueva forma de pensar sobre cómo construir sistemas financieros en internet. En lugar de intentar que cada parte del sistema sea perfecta e independiente, el investigador se centró en hacer que las conexiones entre las partes fueran rígidas y unívocas. Al asegurar que existe un único lugar donde reside la verdad, y al asegurar que cada acción sea registrada y verificable, creó un sistema que es difícil de romper y fácil de confiar. El trabajo no resuelve todos los problemas de las finanzas digitales, como qué sucede si la fuente de los datos del evento es errónea, pero sí resuelve el problema de cómo gestionar el dinero una vez que los datos son conocidos. Demuestra que, con el diseño adecuado, es posible crear un mercado digital que sea tan fiable y justo como un banco tradicional, pero con la velocidad y transparencia de un programa informático. El investigador ha proporcionado un plano para un sistema que puede manejar la complejidad de las finanzas modernas sin perder el rumbo, ofreciendo un camino a seguir para construir economías digitales más seguras y confiables.