Resumen Técnico: SNARKChain – Blockchain de Prueba de Trabajo Útil con un Mercado de SNARK de Propósito General

1. Definición del Problema

La Prueba de Trabajo (PoW) sigue siendo el protocolo de consenso permisionario más seguro, pero sufre de una ineficiencia ambiental significativa debido a su dependencia de acertijos computacionalmente intensivos que no generan valor fuera de la blockchain (por ejemplo, colisiones de hash). La Prueba de Trabajo Útil (PoUW) pretende reemplazar estos acertijos arbitrarios con tareas que generen valor en el mundo real, como simulaciones científicas o pruebas criptográficas. Sin embargo, las propuestas de PoUW existentes a menudo no cumplen con los rigurosos requisitos de seguridad de la PoW, específicamente en lo que respecta a la frescura (resistencia a ataques de replicación), la vinculación de la integridad de la cadena y la vinculación de la identidad del minero.

Simultáneamente, la generación de Argumentos de Conocimiento No Interactivos de Conocimiento de Sumario de Conocimiento Cero (zk-SNARKs) es computacionalmente prohibitiva para muchos usuarios, lo que requiere la externalización. Aunque existen mercados descentralizados para la generación de SNARKs, estos suelen operar en la capa de aplicación o están limitados a circuitos especializados, fallando al no integrar la generación de pruebas directamente en la capa de consenso manteniendo capacidades de propósito general.

2. Metodología

Los autores proponen SNARKChain, un novedoso protocolo de consenso donde el "trabajo útil" es la generación de pruebas SNARK externalizadas por clientes. El sistema funciona como un mercado descentralizado donde los mineros computan pruebas para asegurar la red.

Arquitectura Central

La red consta de tres roles de participantes:

1. Clientes: Envían transacciones de monedas y "transacciones de prueba" que contienen circuitos aritméticos y parámetros para solicitar la generación de SNARKs.
2. Mineros (Nodos Completos): Seleccionan transacciones, generan las pruebas SNARK requeridas y compiten para publicar bloques. Reciben recompensas por los bloques que contienen pruebas válidas.
3. Nodos de Registro de Circuitos: Una subred con participación (staked) responsable del registro descentralizado de circuitos aritméticos, el almacenamiento de claves de generación y verificación, y la participación en la Computación Multipartita Segura (SMPC) para la configuración de confianza (trusted setup).

Mecanismo de Consenso: La Lotería y la Integridad

Para abordar los desafíos específicos de la PoUW, el protocolo introduce un Mecanismo de Lotería e Integridad Vinculada:

• Selección de Bloques Basada en Lotería: En lugar de requerir que los mineros alcancen un umbral de dificultad fijo (lo que conduce a la centralización por parte del minero más poderoso), el protocolo utiliza una lotería ponderada. Cada vez que un minero genera una nueva prueba para un bloque, activa una verificación de lotería. La probabilidad de ganar ($P_{win}$) es proporcional a la complejidad ($C_i$) de la prueba generada en relación con el objetivo de dificultad actual ($\kappa$):
  $$P_{win}(i) = \frac{C_i}{\kappa}$$
  Esto asegura la ausencia de progreso previo (progress-freeness): la probabilidad de ganar depende solo de la prueba generada más recientemente, no del tiempo ya dedicado a la minería.

• Parámetro de Integridad ($\eta$): Para prevenir el robo de pruebas y ataques de replicación, cada circuito aritmético se modifica para incluir un parámetro público de integridad. Este parámetro se deriva del hash del encabezado del bloque que se está construyendo. Si un minero falla la lotería, debe recalcular el parámetro de integridad para incluir la nueva prueba generada, creando una cadena de pruebas criptográficamente vinculada dentro del bloque. Esto asegura que una prueba no pueda ser reutilizada en un bloque diferente sin invalidar la verificación.

• Prevención de Amortización: Para evitar que los mineros obtengan ventajas injustas mediante el agrupamiento de pruebas, el sistema utiliza un parámetro mask (que combina la dirección del minero y el conteo de uso del circuito) y asegura que el cambio en los inputs públicos (como el parámetro de integridad) invalide toda la evaluación QAP en Groth16, requiriendo una recomputación completa.

• Segmentación (Bucketing): Para reducir el trabajo desperdiciado causado por la superposición de transacciones cuando múltiples mineros trabajan en paralelo, el protocolo particiona el espacio de transacciones en "cubetas" (buckets) basadas en prefijos de hash de transacciones. Los mineros seleccionan una cubeta, asegurando conjuntos de transacciones disjuntos y minimizando conflictos.

Detalles Criptográficos

El sistema utiliza SNARKs Groth16. Los autores seleccionaron Groth16 por su tamaño de prueba constante (128 bytes) y su tiempo de generación de prueba lineal respecto al número de restricciones. El protocolo soporta circuitos de propósito general (definidos en DSLs como ZoKrates o Circom) en lugar de estar limitado a un único circuito especializado.

3. Contribuciones Clave

El artículo afirma las siguientes contribcciones:

1. Primer Mercado de SNARK en la Capa de Consenso: La propuesta representa el primer mercado descentralizado para la generación de zk-SNARKs de propósito general que opera directamente en la capa de consenso, donde la generación de la prueba es inseparable de la seguridad del bloque.
2. Diseño de Protocolo PoUW: Un enfoque novedoso para delegar la computación intensiva de SNARK en los nodos, satisfaciendo todas las propiedades críticas de la PoW (asimetría, granularidad, ausencia de amortización, independencia, eficiencia, infalsificabilidad, frescura, determinismo, ausencia de progreso previo y verificabilidad pública).
3. Manejo de Inputs Privados: El artículo propone un método (detallado en el Apéndice) para manejar pruebas con parámetros privados mediante la externalización de la ofuscación del testigo (witness obfuscation), abordando la limitación de los parámetros puramente públicos del diseño inicial.
4. Análisis de Seguridad: Un análisis formal y una simulación (usando Redes de Petri de Tiempo Estocástico Coloreadas) que demuestran que el protocolo mantiene la equidad y las propiedades de seguridad.

4. Resultados y Evaluación

Los autores evaluaron el protocolo utilizando un modelo de red de Petri para probar cuatro hipótesis:

• H1 (Equidad): La distribución de recompensas es proporcional al poder de minería. Las simulaciones confirmaron que las recompensas de bloque escalan linealmente con el poder computacional. Sin embargo, las recompensas de prueba mostraron una dependencia cuadrática con el poder, lo que sugiere que las recompensas de las pruebas deben minimizarse en relación con las recompensas de bloque para evitar la centralización de los pools de minería.
• H2 (Independencia): La complejidad de las pruebas seleccionadas no sesga injustamente las recompensas. Los resultados indicaron que los mineros con preferencia por pruebas más grandes no obtuvieron recompensas de bloque desproporcionadas, aunque generaron más pruebas.
• H3 (Centralización vs. Eficiencia): La introducción de un parámetro ($\psi$) para favorecer cadenas de pruebas más largas reduce el trabajo desperdiciado pero aumenta la centralización. El compromiso sugiere que, si bien se puede mejorar la eficiencia, esto conlleva el riesgo de comprometer la equidad de la red.
• H4 (Segmentación/Bucketing): Aumentar el número de cubetas reduce significamente el trabajo desperdiciado causado por la superposición de transacciones. La simulación mostró que un mayor número de cubetas se correlaciona con un menor porcentaje de trabajo desperdiciado.

El análisis confirma que Groth16 ofrece la escalabilidad lineal necesaria para el tiempo de generación de pruebas, haciendo que el protocolo sea predecible y escalable.

5. Significado y Reivindicaciones

El artículo posiciona a SNARKChain como una solución a los desafíos duales del desperdicio energético de las blockchain y el alto costo de la generación de zk-SNARKs.

• Seguridad: A diferencia de otras propuestas de PoUW, este sistema integra la integridad de la cadena y la identidad del minero directamente en las soluciones de los acertijos, cumpliendo con los estrictos requisitos de "frescura" e "infalsificabilidad" de la PoW.
• Utilidad: Transforma el "desperdicio" de la PoW en pruebas criptográficas valiosas que pueden utilizarse para la privacidad, la escalabilidad y la interoperabilidad entre cadenas en aplicaciones más amplias.
• Novedad: Los autores afirman que, hasta donde llega su conocimiento, este es el primer sistema que logra integrar con éxito la generación de SNARK de propósito general en la capa de consenso satisfaciendo todas las propiedades necesarias de la PoW.

El trabajo concluye que, si bien persisten desafíos (como el compromiso entre el trabajo desperdiciado y la centralización mediante el parámetro $\psi$), el protocolo propuesto ofrece un camino viable hacia blockchains seguras y energéticamente eficientes que producen subproductos criptográficos útiles.