Resumen Técnico: Prueba de Atestación Útil (PoUA)

1. Declaración del Problema

El documento identifica una desalineación fundamental en los mecanismos de consenso para las "cadenas nativas de atestación" —blockchains cuya actividad económica principal es la producción y verificación de atestaciones criptográficas (por ejemplo, procedencia de contenido, atribución de salida de IA, trazabilidad de la cadena de suministro).

Los sistemas actuales de Prueba de Participación (PoS) están diseñados para transiciones de estado de propósito general. En estos sistemas, los validadores ganan tarifas independientemente de si procesan la carga de trabajo de la aplicación específica correctamente o la censuran selectivamente. En consecuencia, un adversario con capital suficiente puede adquirir participación, censurar esquemas de atestación específicos o extraer MEV de la reordenación de atestaciones sin desencadenar condiciones estándar de penalización (slashing). La seguridad económica de la cadena permanece indiferente a la corrección de su carga de trabajo dominante.

El documento argumenta que una cadena que aloja contratos de atestación en una L1 de propósito general no puede defender la carga de trabajo de manera efectiva porque los incentivos del consenso están desacoplados del trabajo de atestación en sí mismo.

2. Metodología: Prueba de Atestación Útil (PoUA)

PoUA es un primitivo de ponderación de consenso diseñado para vincular la influencia de un validador directamente a su historial de procesamiento de trabajo de atestación válido. No es un reemplazo del primitivo BFT subyacente (por ejemplo, finalidad optimista estilo Tendermint), sino una capa que modifica cómo se calcula el peso del validador.

Mecanismo Central

El peso del validador ($w_v$) se calcula como el producto de la participación vinculada ($s_v$) y una puntuación de reputación no transferible ($r_v$):
$$w_v(t) = s_v(t) \cdot r_v(t)$$

• Acumulación de Reputación: La reputación crece basándose en la contribución del validador al procesamiento de atestaciones válidas. La función de actualización es aditiva y acotada:
  $$r_v(t+E) = \text{clip}_{[r_{min}, r_{max}]}(r_v(t) + \eta \cdot g_v(t) - \lambda \cdot b_v(t))$$
  Donde $g_v$ es una medida ponderada por tarifas del procesamiento de atestaciones válidas (dividida entre los roles de proponente y votante) y $b_v$ es una puntuación de mala conducta.
• No Transferibilidad: La reputación es intrínseca a la identidad del validador en la cadena y no puede transferirse ni desempaquetarse.
• Intervalo Acotado: $r_{min} > 0$ asegura que los nuevos validadores tengan un peso no nulo (evitando el bloqueo por inicio en frío), mientras que $r_{max} < \infty$ previene la concentración descontrolada del poder.

Defensa Contra Adversarios Compuestos

El documento aborda al "adversario compuesto" (un atacante con capital y la capacidad de controlar conjuntos de atestadores y direcciones de remitentes para cultivar reputación). PoUA emplea una defensa de seis capas:

1. Capa 1 (Formal): Excluye atestaciones donde la dirección del remitente es igual a la dirección del proponente.
2. Capa 2 (Formal): Excluye atestaciones donde la dirección del remitente está dentro de una distancia de grafo de transacciones $d$ del proponente (evitando el enrutamiento simple de fondos).
3. Capa 3 (Económica): Una fracción $\tau_{burn}$ de cada tarifa de atestación se envía a un destino no recuperable (por ejemplo, una dirección de quema). Esto crea un límite inferior formal sobre el costo de moler (grind) la reputación.
4. Capa 4 (Heurística): Detección estadística de patrones de moldeo (concentración de esquemas, densidad de grafos).
5. Capa 5 (Gobernanza): Un proceso de apelación para falsos positivos.
6. Capa 6 (Futuro): Pruebas de conocimiento cero de independencia del grafo de participación.

3. Contribuciones Clave

Seguridad Formal y Prima de Costo de Ataque

El documento deriva una prima de costo de ataque formal ($\kappa$) contra un adversario de capital. En una cadena sana en estado estacionario, el costo para adquirir una fracción $\rho$ del peso del consenso se multiplica por la relación entre la reputación honesta promedio y la reputación mínima:
$$\kappa = \frac{\bar{r}_H}{r_{min}}$$
Con parámetros recomendados ($r_{max}/r_{min} \in [4, 10]$), PoUA ofrece una prima multiplicativa de 4× a 10× en el costo de ataque en comparación con cadenas PoS puras de participación equivalentes. Este "foso" se formaliza en la Sección 5.3.

Límite de Costo de Moldeo (Lema 1)

Una contribución central es el Lema 1, que establece un límite inferior formal sobre las tarifas no recuperables que un adversario compuesto debe pagar para moler reputación. Incluso si un atacante evade las Capas 1 y 2, la quema de la Capa 3 asegura:
$$F_{net, \text{por miembro}} \geq \frac{\tau_{burn} \cdot \Delta r}{\eta \cdot \alpha_{eff}(m, k)}$$
Esto convierte la defensa contra la agricultura de reputación de un argumento puramente heurístico en uno económico.

Alineación de Incentivos

El documento modela a los validadores como maximizadores de beneficios. Argumenta que, dado que la reputación es no transferible y representa ingresos futuros (a través de recompensas de bloque y tarifas), penalizar (slash) a un validador destruye no solo su bono actual, sino su flujo de ingresos futuro. Esta alineación de incentivos "bloqueada en el tiempo" está ausente en el PoS de participación pura.

Implementación e Integración

El documento proporciona una especificación de integración concreta para el marco de rollup Sovereign SDK, detallando:

• Modificaciones en la selección de validadores y ponderación de votos.
• Almacenamiento de estado de reputación (32 bytes por validador).
• Mecanismos de rebase de parámetros adaptativos para $\tau_{burn}$, $\eta$ y $\lambda$ para manejar la deriva del mercado de tarifas sin intervención de gobernanza.

4. Resultados y Validación

El documento presenta resultados derivados de un simulador de referencia (prototypes/poua-sim/):

• Costo de Ataque: Las simulaciones de Monte Carlo confirman las curvas analíticas de $\kappa$, mostrando que la prima de 4×–10× se mantiene a través de diferentes tamaños de conjunto de validadores (de 50 a 1000 validadores).
• Defensa en Capas: Los mapas de calor de búsqueda de estrategias demuestran que, aunque las capas de defensa individuales (por ejemplo, solo Capa 1) pueden ser eludidas, la combinación de todas las capas colapsa la recompensa para las estrategias de moldeo hacia la línea base ($r_{min}$).
• Estados de Transición: El documento cuantifica los períodos de "calentamiento" y "recuperación" donde la prima es inferior al techo del estado estacionario, proporcionando orientación operativa para el lanzamiento de la cadena y la recuperación posterior a una penalización.

5. Significado y Afirmaciones

El documento posiciona a PoUA no como un nuevo primitivo criptográfico, sino como una síntesis de conceptos existentes (consenso ponderado por reputación, prueba de trabajo útil y re-apuesta) adaptados específicamente para cadenas nativas de atestación.

• Afirmaciones Modestas: Los autores declaran explícitamente que PoUA no proporciona una prueba de seguridad criptográfica completa para todas las desviaciones racionales. La defensa contra adversarios compuestos se basa en un piso económico formal (Lema 1) respaldado por detección heurística (Capa 4) y gobernanza (Capa 5).
• Alcance: El mecanismo está diseñado para cadenas donde la carga de trabajo es la producción de atestaciones. El documento excluye explícitamente los contratos inteligentes de propósito general, argumentando que añadirlos diluiría el foso de seguridad específico que PoUA proporciona.
• Diferenciación: A diferencia de la re-apuesta (EigenLayer), que reutiliza la participación de una cadena principal, PoUA construye un mecanismo de consenso nativo donde el presupuesto de seguridad está dimensionado y alineado con la carga de trabajo de atestación. A diferencia de la Prueba de Trabajo Útil (Filecoin/Helium), no requiere atestación de hardware externo; el "trabajo útil" es verificable a nivel de protocolo mediante verificación de firmas.

El documento concluye que PoUA ofrece un perfil de seguridad defendible para cadenas nativas de atestación que las L1 genéricas no pueden replicar sin reconstruir su capa de consenso, siempre que el mecanismo sea sometido a pruebas de estrés mediante calibración de devnet y revisión externa.