ACE Runtime - A ZKP-Native Blockchain Runtime with Sub-Second Cryptographic Finality

El artículo presenta ACE Runtime, un entorno de ejecución nativo de pruebas de conocimiento cero que logra una finalidad criptográfica en menos de un segundo mediante la separación de identidad y autorización, reemplazando las verificaciones de firmas por transacción con atestaciones HMAC ligeras y una única prueba agregada por bloque para reducir la carga computacional y facilitar la migración post-cuántica.

Lo esencial

¡Hola! Imagina que el mundo de las criptomonedas es como una autopista digital gigante donde los coches (las transacciones) viajan a toda velocidad.

El problema con las autopistas actuales (como Solana) es que, para entrar a la carretera, cada conductor tiene que mostrar su licencia de conducir original (una firma criptográfica compleja) en una ventanilla de control. Aunque hay muchos guardias (tarjetas gráficas o GPUs) trabajando, si hay 100,000 coches, la fila se hace eterna, el tráfico se atasca y necesitas una estación de policía muy cara para manejar la verificación.

El ACE Runtime es una propuesta revolucionaria para rediseñar esta autopista. Aquí te explico cómo funciona, usando analogías sencillas:

1. El Problema: La Ventanilla de "Firma"

En las blockchains actuales, cada transacción lleva una "firma digital" única y pesada. Verificar esa firma es como pedirle a un detective que examine minuciosamente la tinta y el papel de cada licencia.

• El cuello de botella: Si hay muchas transacciones, los detectives se agotan.
• El costo: Necesitas detectives con equipos muy caros (GPUs) para no retrasar el tráfico.
• El futuro: Si la tecnología avanza y las licencias se vuelven más grandes (por seguridad cuántica), el tráfico se detendría por completo.

2. La Solución: ACE Runtime (La Separación de Identidad y Permiso)

ACE Runtime cambia las reglas del juego separando dos cosas que antes iban pegadas: Quién eres (Identidad) y Qué estás haciendo (Autorización).

Imagina que en lugar de mostrar tu licencia de conducir en cada coche, haces lo siguiente:

Fase 1: El "Ticket de Entrada" (Attestation)

En lugar de una firma pesada, el conductor muestra un ticket de entrada rápido (una "atención" o attestation).

• La analogía: Es como un código de barras generado por tu teléfono que dice: "Soy yo, y tengo permiso para entrar".
• La magia: Verificar este código de barras es instantáneo (como escanear un código QR en un supermercado). No necesita detectives ni máquinas caras; un simple lector (un procesador normal de computadora) lo hace en microsegundos.
• Resultado: El tráfico fluye a toda velocidad. El coche entra a la autopista casi al instante.

Fase 2: El "Inspector de Seguridad" (Zero-Knowledge Proof)

Aquí viene la parte más inteligente. ¿Cómo sabemos que ese ticket de entrada no es falso?

• La analogía: Imagina que, una vez que el coche ya está en la carretera y circulando, un inspector de seguridad invisible (un testigo) revisa todos los tickets del bloque de tráfico que acaba de pasar.
• El truco: El inspector no necesita ver quién eres ni tus datos privados. Solo genera un certificado mágico (una prueba de conocimiento cero) que dice: "He revisado los 100,000 tickets de este bloque y todos son legítimos".
• El resultado: En lugar de verificar 100,000 tickets uno por uno, los demás guardias de la carretera solo tienen que verificar un solo certificado al final del bloque.

3. Los Beneficios en la Vida Real

• Velocidad Relámpago (Finalidad Subsegundo):
  En las redes actuales, confirmar que una transacción es segura puede tardar segundos o incluso minutos (como esperar a que un banco confirme un pago internacional). Con ACE, la confirmación "dura" (que no se puede revertir) ocurre en 600 milisegundos. Es más rápido que parpadear.

• Ahorro de Dinero (Sin GPUs para todos):
  En Solana, cada validador (el guardia de tráfico) necesita una tarjeta gráfica cara (GPU) para verificar firmas. En ACE, como la verificación pesada se hace en un solo certificado al final, los validadores normales no necesitan GPUs. Solo el "constructor" del bloque (el que genera el certificado) la necesita. Esto abarata la entrada a la red y la hace más descentralizada.

• Preparado para el Futuro (Seguridad Cuántica):
  Las computadoras cuánticas del futuro podrían romper las "licencias" actuales. Pero en ACE, como la identidad se basa en matemáticas de hash (como un sello de cera indestructible) y no en firmas tradicionales, es mucho más difícil de hackear. Además, si en el futuro usan licencias más grandes, el sistema no se rompe porque el "certificado mágico" sigue pesando lo mismo.

4. El Resumen en una Frase

ACE Runtime es como cambiar el sistema de peaje de una autopista: en lugar de detener a cada coche para revisar sus papeles (lento y caro), les das un pase rápido, y un inspector verifica que todos los pases sean reales solo una vez al final de la hora, permitiendo que millones de coches pasen sin atascos.

En conclusión:
Este papel propone una nueva arquitectura que hace a las blockchains más rápidas, más baratas de operar y más seguras contra el futuro, separando la identidad del usuario de la verificación de cada transacción individual. ¡Es como pasar de un control de pasaportes manual a un sistema de reconocimiento facial automatizado!

Resumen técnico

Resumen Técnico: ACE Runtime

1. El Problema

Las blockchains de alto rendimiento actuales, como Solana, enfrentan cuellos de botella fundamentales en su arquitectura de ejecución:

• Verificación de Firmas O(N): Cada transacción requiere una verificación criptográfica de firma (ej. Ed25519) en la ruta crítica de ejecución. Esto genera un costo de verificación que crece linealmente con el tamaño del bloque, limitando el rendimiento máximo.
• Costos de Hardware Elevados: Para mitigar el costo de verificación, los validadores deben utilizar GPUs especializadas. Esto eleva el presupuesto mínimo de hardware a ~$7,500 y los costos operativos mensuales significativamente, centralizando la red al excluir a validadores con hardware estándar.
• Latencia de Finalidad: Aunque los tiempos de bloque son rápidos (400 ms), la finalidad criptográfica "dura" (irreversible) en Solana toma ~12 segundos debido a la necesidad de múltiples confirmaciones.
• Vulnerabilidad Cuántica: La transición a esquemas de firma post-cuántica (como ML-DSA-44) inflaría el tamaño de los datos de autorización por transacción en más de 38 veces, haciendo infeasible la arquitectura actual debido al aumento masivo en el tamaño de los bloques.

2. Metodología y Arquitectura Propuesta

El paper presenta ACE Runtime, una capa de ejecución de blockchain nativa de ZKP (Zero-Knowledge Proofs) basada en el primitivo de separación de identidad y autorización (ACE-GF).

Núcleo Innovador: Pipeline Attest–Execute–Prove

La arquitectura desacopla la verificación de autorización de la generación de pruebas criptográficas mediante un pipeline de tres fases:

1. Fase 1: Attestation (Atestación) y Ejecución (Ruta Crítica):

   • En lugar de firmas completas, los usuarios envían atestaciones basadas en HMAC derivadas de un valor de entropía raíz (REV).
   • Los validadores verifican estas atestaciones utilizando operaciones ligeras de CPU (~1-5 µs por transacción), eliminando la necesidad de GPUs en esta etapa.
   • La ejecución de la transacción ocurre inmediatamente después de la verificación de la atestación.
   • Resultado: Finalidad "blanda" (Soft Finality) en ~400 ms mediante votación BFT.

2. Fase 2: Prueba (Prove) (Fuera de la Ruta Crítica):

   • La generación de la prueba criptográfica que vincula la atestación con la identidad on-chain se realiza de forma asíncrona en hardware GPU dedicado (rol de "Builder").
   • Se utiliza un esquema de agregación recursiva en árbol para generar una única prueba Groth16 por bloque.
   • Esta prueba se publica en el siguiente slot, proporcionando la Finalidad Dura (Hard Finality) en ~600 ms.

3. Mecanismo de Recuperación (Backup):

   • Si el "Builder" falla en generar la prueba, un comité de validadores puede cooperar para descifrar "witnesses" encriptados y generar la prueba de respaldo, asegurando la liveness de la red.

Criptografía Subyacente

• ACE-GF: Utiliza un valor de entropía raíz (REV) encapsulado con Argon2id. Las claves se derivan mediante HKDF para diferentes contextos (identidad, transacción, consenso).
• Compromiso de Identidad: La identidad on-chain es un hash Poseidon del REV, sin exponer claves públicas, protegiendo contra ataques "cosechar ahora, descifrar luego".
• Pruebas ZK: Se utiliza un circuito ZK-ACE para probar que la atestación HMAC fue generada correctamente a partir de un REV que corresponde al compromiso de identidad registrado.

3. Contribuciones Clave

1. Pipeline Attest–Execute–Prove: Desacopla la verificación de identidad (ligera) de la generación de pruebas (pesada), permitiendo tiempos de bloque de 400 ms con finalidad dura de ~600 ms.
2. Verificación de Bloque O(1): Transforma el costo de verificación de $O(N)$ (por transacción) a $O(1)$ (un solo bloque), independientemente del número de transacciones.
3. Modelo de Finalidad de Dos Niveles: Formaliza la distinción entre finalidad blanda (votación BFT) y finalidad dura (verificación de prueba ZK), demostrando la irreversibilidad computacional de esta última.
4. Eliminación de GPU para Validadores: Los validadores que no son "Builders" no requieren hardware GPU, reduciendo drásticamente la barrera de entrada.
5. Preparación Post-Cuántica: La arquitectura soporta nativamente la migración a firmas post-cuánticas sin aumentar el tamaño de los bloques ni el costo de verificación, gracias a la compresión ZK.

4. Resultados y Evaluación Cuantitativa

El análisis basado en modelos y benchmarks de prototipos (en CPU Apple M3 Pro y simulaciones GPU) arroja los siguientes resultados:

• Rendimiento (TPS): Proyección conservadora de ~16,000 TPS, escalable a ~32,000 TPS con optimizaciones de ingeniería.
• Velocidad de Finalidad: Reducción de ~20x en la latencia de finalidad dura en comparación con Solana (600 ms vs 12 s).
• Costo de Verificación:
  • Solana: $O(N)$ (crece linealmente). Un bloque de 100,000 txs requiere ~200 ms solo en verificación de firmas (GPU).
  • ACE Runtime: $O(1)$ constante (~0.5 ms por bloque).
  • Aceleración: Hasta 4,000x más rápido en la verificación de bloques grandes en comparación con Solana.
• Eficiencia de Ancho de Banda:
  • Reducción del tamaño de datos de autorización por transacción de ~1,232 bytes (Solana) a ~244 bytes (ACE).
  • Mejora de ~5x en la eficiencia de propagación de bloques.
• Costos de Hardware:
  • Eliminación del requisito de GPU para validadores no builders, reduciendo el costo de hardware en un 30-50% y los costos operativos mensuales.

5. Significado e Impacto

El paper demuestra que la separación de identidad y autorización es un principio arquitectónico fundamental subutilizado en el diseño de blockchains.

• Descentralización: Al eliminar la dependencia de GPUs para la validación estándar, se democratiza el acceso a la participación de la red, fomentando una red más descentralizada.
• Escalabilidad Real: Al mover la carga computacional pesada (pruebas ZK) fuera de la ruta crítica, se permite que la red escale el número de transacciones sin aumentar la latencia de confirmación.
• Resiliencia Futura: La arquitectura está diseñada para ser resistente a la computación cuántica desde el día uno en las capas de identidad y atestación, y ofrece una ruta de migración sin costos para la capa de pruebas.
• Innovación en L1: A diferencia de las soluciones L2 (como zkSync o StarkNet) que usan ZK para compresión de estado, ACE Runtime aplica ZK nativamente en la capa de identidad de una L1 soberana, logrando finalidad sub-segundo y verificación constante sin depender de una cadena madre.

En conclusión, ACE Runtime propone un cambio de paradigma que reemplaza la verificación de firmas por transacción con atestaciones ligeras y pruebas agregadas, resolviendo los cuellos de botella de rendimiento, costo y seguridad de las blockchains de alto rendimiento actuales.