Resumen Técnico: Intercloud – Consistencia Eventual para Economías Descentralizadas mediante Consenso de Efecto Disuasorio

1. Declaración del Problema

El documento identifica dos ineficiencias fundamentales en las redes económicas descentralizadas actuales (blockchains):

1. El Problema del Costo: Los modelos de consenso global (por ejemplo, Prueba de Trabajo, Prueba de Participación) despliegan un presupuesto de seguridad uniforme para todas las transacciones. Una transferencia de 1 $ consume los mismos recursos de validación que una transferencia de 1 mil millones de dólares, lo que conduce a una escalabilidad sublineal donde los costos de seguridad no coinciden con el valor económico.
2. El Problema de la Privacidad: Los libros de contabilidad globales requieren que todos los validadores vean datos de transacciones en texto plano, saldos y lógica de contratos inteligentes. Esto permite el análisis de gráficos de transacciones que puede desanonimizar a los usuarios, incluso con direcciones seudónimas.

Las soluciones existentes, como Monero o Zcash, ofrecen privacidad parcial pero aún revelan estructuras de gráficos de transacciones o requieren participación global para cada transacción. El documento aboga por un modelo donde la seguridad se escala con el valor y la privacidad es inherente al mecanismo de consenso.

2. Metodología y Arquitectura

Intercloud es una red económica descentralizada construida sobre el modelo de la Máquina Magarshak, extendiéndolo a un entorno distribuido. Su innovación arquitectónica central es la separación estricta de la Capa de Integridad (asegurada por Vigilantes) y la Capa de Datos (mantenida por propietarios de flujos y Ejecutores).

A. Componentes Centrales

• Flujos: Registros de mensajes de solo adición ($M_i$) propiedad de una clave pública ($k_i$). El estado se define mediante un hash criptográfico ($h_i$).
• Enjambres de Vigilantes: La seguridad es proporcionada por enjambres de nodos que observan únicamente hashes criptográficos de los estados de los flujos, nunca texto plano. No ven saldos, cantidades ni lógica de reglas.
• Épocas y Asignación VRF: El tiempo se divide en épocas. Al inicio de cada época, una Función Aleatoria Verificable (VRF), semillada por un único oráculo aleatorio global, asigna un enjambre específico de Vigilantes a cada flujo.
• Estados de Flujo: Los flujos existen en uno de tres colores:
  • Verde: Finalidad alcanzada (atestación de supermayoría).
  • Amarillo: Transacciones en progreso; la finalidad aún no se ha logrado.
  • Rojo: Corrupción detectada; el flujo no es de confianza hasta el próximo barajado de época.

B. Mecanismos Clave

1. Deduplicación de Ondas:
   Para evitar bucles de ejecución reactiva infinitos sin coordinación global, cada onda de ejecución se etiqueta con un identificador único ($rID$) que comprende el ID de origen, el hash del mensaje y la época. Los nodos mantienen una tabla hash local de $rIDs$ vistos durante dos épocas. Si un nodo recibe una onda que ya ha procesado en la época actual, la descarta. Esto garantiza la terminación en tiempo acotado ($N$ saltos) sin consenso global.

2. Consenso de Efecto Disuasorio:
   A diferencia de los protocolos de votación tradicionales donde los nodos eligen entre valores competidores, Intercloud utiliza atestación de ausencia. Un enjambre alcanza la finalidad cuando una supermayoría ($>2/3$) verifica independientemente mediante gossip que no han visto ninguna evidencia conflictiva para un hash específico durante la época.

   • Prueba de Corrupción (PoC): Si un Vigilante firma atestaciones para dos hashes diferentes en la misma época, genera automáticamente una PoC auto-certificada. Esta evidencia es irrefutable y no requiere un tercero para verificarla.
   • Disuasión: El "efecto disuasorio" surge porque producir una PoC conduce a una condena inmediata e irrevocable y al recorte de la participación (stake) del nodo.

3. Modelo Económico y Monedas Locales:

   • Intercoin: Una moneda de reserva global que representa "peso de seguridad".
   • Invariante de Respaldo: Cada flujo debe apostar Intercoin ($INTER_i$) proporcional al valor que contiene. El peso de seguridad rastrea el valor económico automáticamente mediante una identidad de producto punto: $V_i = \sum (balance[c] \times exRate(c))$.
   • Dimensionamiento del Enjambre: El tamaño de un enjambre de Vigilantes ($n_i$) es proporcional a la raíz cuadrada de la apuesta de Intercoin del flujo ($n_i \approx c\sqrt{INTER_i}$). Un flujo que contiene 1 $ utiliza ~35 Vigilantes; un flujo que contiene 1 millón de dólares utiliza ~35,000.
   • Separación Moneda-Contenido: La "capa de moneda" (saldos, transferencias, tipos de cambio) es visible como hashes en la capa de integridad, permitiendo a los reguladores observar flujos de valor agregados. La "capa de contenido" (mensajes, acuerdos) permanece cifrada de extremo a extremo e invisible para los Vigilantes.

3. Contribuciones Clave y Resultados Teóricos

El documento presenta una pila formal de teoremas que prueban las propiedades del sistema:

• Terminación de Ondas Distribuidas (Teorema 2): Prueba que las ondas de ejecución reactiva terminan dentro de $N$ saltos en una red finita, dependiendo de la deduplicación local y tarifas positivas por salto, sin coordinación global.
• Seguridad del Enjambre (Teorema 3): Adapta el límite inferior de Hoepman [2] para mostrar que un enjambre de tamaño $n \approx 35$ (para parámetros estándar) es suficiente para prevenir el doble gasto con probabilidad $1 - e^{-s}$, independientemente del tamaño total de la red $N$. La seguridad escala con la raíz cuadrada del valor.
• Caracterización del Desacuerdo (Teorema 9): Prueba que dos clientes correctos solo pueden mantener atestaciones de finalidad conflictivas si el adversario simultáneamente (a) compromete una supermayoría del enjambre asignado Y (b) eclipsa a ambos clientes de todos los nodos honestos. La probabilidad de que esto ocurra es insignificante.
• Inaplicabilidad del Principio de Buridán (Teorema 10): Demuestra que el mecanismo de consenso no está sujeto al Principio de Buridán de Lamport. Dado que la decisión se basa en la ausencia de evidencia (una cuenta entera discreta de atestaciones) en lugar de una elección continua entre dos valores competidores, el sistema evita la indecisión indefinida.
• Incorruptibilidad Racional (Teorema 15): Utilizando teoría de juegos, el documento prueba que ningún nodo racional intentará corromper un flujo. El costo de la corrupción (recorte de Intercoin apostado) excede estrictamente la ganancia potencial, especialmente dado los mecanismos de vesting que previenen el retiro inmediato de recompensas ganadas.
• La Seguridad Rastrea el Valor (Teorema 16): Prueba que el peso de seguridad asignado a un flujo es automáticamente proporcional a su valor económico mediante la invariante de respaldo y la identidad de producto punto.
• Consenso Global Mínimo (Teorema 12): Establece que el único acuerdo global requerido es la secuencia de semillas aleatorias para la VRF. Todo otro consenso es local al enjambre del flujo, reduciendo el costo global por transacción a $O(N)$ mensajes por época (amortizando a casi cero).

4. Resultados y Significado

El documento afirma que Intercloud logra una combinación única de propiedades no encontrada en sistemas anteriores:

• Costo de Validación Sublineal: El costo de validación por transacción es independiente del tamaño de la red ($O(1)$ amortizado), escalando en cambio con la raíz cuadrada del valor de la transacción.
• Privacidad Solo Hash: Los nodos Vigilantes nunca ven texto plano, proporcionando garantías de privacidad más fuertes que las monedas de privacidad existentes que aún revelan gráficos de transacciones.
• Seguridad Auto-calibrada: El sistema asigna automáticamente más seguridad a flujos de mayor valor sin configuración manual.
• Finalidad Explícita: Los usuarios pueden elegir su propia tolerancia al riesgo (esperar por Verde vs. aceptar Amarillo), modelando la evaluación de riesgos económicos del mundo real en lugar de forzar una resolución global única para todas las disputas.
• Observabilidad Regulatoria: Los reguladores pueden observar el flujo de valor económico (peso Intercoin) entre flujos sin acceder a detalles privados de transacciones, equilibrando transparencia con privacidad.

El documento concluye que Intercloud define un nuevo paradigma donde economías de máquinas de estado distribuidas se coordinan sin un libro de contabilidad global, reemplazando la votación bizantina con consenso de "efecto disuasorio" y asegurando que los costos de seguridad escalen proporcionalmente al valor que se protege.