Resumen Técnico: Prueba de Origen de Fondos (PoSoF)

1. Planteamiento del Problema

El artículo aborda la tensión fundamental entre la privacidad financiera y el cumplimiento regulatorio en las Finanzas Descentralizadas (DeFi). Las metodologías de cumplimiento actuales dependen de dos enfoques defectuosos:

1. Listas Binarias Frágiles: Depender de listas de inclusión/exclusión (listas blancas/listas negras) que son fácilmente evadidas mediante la transferencia de fondos a direcciones nuevas y no marcadas.
2. Análisis de Grafos Retroactivo: Depender de firmas de inteligencia de blockchain centralizadas para rastrear continuamente los historiales de transacciones. Este enfoque es computacionalmente costoso, sufre de altas tasas de falsos positivos y no logra evitar que los fondos ilícitos entren en un protocolo en primer lugar.

Además, las soluciones de privacidad existentes (por ejemplo, Tornado Cash) han sido sancionadas porque no pueden distinguir entre la privacidad legítima y el lavado de dinero. Por el contrario, los intentos de integrar el cumplimiento mediante el seguimiento de "manchas" (taint) retroactivas dejan a los usuarios honestos vulnerables a "ataques de contaminación", donde actores maliciosos mezclan intencionadamente fondos ilícitos con fondos legítimos para congelar los activos de usuarios honestos. El artículo argumenta que el modelo actual de vigilancia por parte de la plataforma despoja a los usuarios de su privacidad e impone cargas pesadas a los protocolos descentralizados.

2. Metodología

Los autores proponen la Prueba de Origen de Fondos (PoSoF), un cambio de paradigma de la vigilancia por parte de la plataforma hacia la proveniencia por parte del usuario. En lugar de que la plataforma rastree los fondos, el usuario genera localmente una prueba de conocimiento cero (ZKP) que demuestra que su depósito se origina exclusivamente de un conjunto de fuentes conformes.

2.1 Abstracción Unificada de DAG Temporal

Para manejar estructuras de blockchain heterogéneas (basadas en UTXO como Bitcoin y basadas en cuentas como Ethereum), los autores formulan una abstracción unificada de Grafo Acíclico Dirigido (DAG) temporal:

• Nodos: Definidos como pares temporales $(a, h)$, donde $a$ es una dirección y $h$ es una coordenada de secuencia determinista (altura de bloque, índice). Esto crea instantáneas únicas de identidad en momentos específicos.
• Aristas: Representan transferencias de valor entre nodos, asignadas a una capacidad fraccional $v_e \le v(tx)$.
• Modelo: Esta abstracción unifica los historiales de los libros contables en un modelo generalizado de flujo de valor, tratando la capacidad conforme como un recurso finito y no inflacionario.

2.2 Marco Criptográfico

El sistema utiliza Computación Incrementalmente Verificable (IVC) mediante esquemas de plegado (por ejemplo, Nova) para lograr una verificación de tiempo constante. El usuario extrae un sub-DAG conforme ($G'$) del grafo global ($G$) y demuestra la satisfacción de predicados de transición de estado rigurosos sin revelar la topología intermedia ni los orígenes específicos.

Los predicados centrales aplicados en el circuito de conocimiento cero incluyen:

1. Integridad y Distinción On-Chain: Cada arista debe tener una prueba de inclusión válida (prueba Merkle) que mapee a una transacción finalizada en la cadena. Las transacciones deben ser distintas para evitar el reciclaje de una única transacción conforme en múltiples ramas.
2. Anclaje de Fuente: Cada nodo de origen en el sub-DAG debe ser miembro de un conjunto conforme predefinido $C$ (por ejemplo, exchanges con KYC), verificado mediante una prueba de inclusión positiva (por ejemplo, árbol Merkle).
3. Vinculación de Aristas: El receptor de una arista entrante debe coincidir criptográficamente con el emisor de la arista saliente, evitando la falsificación de la topología.
4. Orden Temporal: Se impone una estricta aciclicidad ($h_{in} < h_{out}$) para prevenir exploits de viaje en el tiempo donde entradas conformes futuras legitiman transferencias no conformes pasadas.
5. Solvencia de Flujo: Para cada nodo intermedio, la suma de las capacidades fraccionales salientes no debe exceder la suma de las capacidades entrantes ($\sum v_{out} \le \sum v_{in}$).
6. Vinculación de Ejecución Terminal: La prueba debe vincularse a la carga útil de la transacción objetivo específica ($txtarget$), asegurando que la prueba sea no maleable y válida solo para el depósito previsto.

2.3 Arquitectura

• Probador (Prover): El usuario construye localmente el sub-DAG conforme y ejecuta el circuito IVC. Extrae una ruta "limpia", ignorando las aristas no conformes (por ejemplo, el polvo ilícito recibido por el usuario).
• Verificador (Verifier): El contrato inteligente realiza una verificación de tiempo constante $O(1)$ de la prueba sucinta. No necesita sincronizarse con listas de bloqueo dinámicas ni analizar el grafo de transacciones.

3. Contribuciones Clave

El artículo realiza tres contribuciones principales:

1. Formalización de la Proveniencia del Lado del Probador: La introducción de PoSoF, que traslada la carga del cumplimiento al usuario. Establece una abstracción de DAG temporal unificada que captura tanto libros contables basados en cuentas como en UTXO bajo definiciones de seguridad rigurosas.
2. Instanciación de Protocolo Eficiente: La construcción de un protocolo PoSoF utilizando IVC para lograr una verificación en cadena de tamaño constante, $O(1)$. El sistema incluye defensas robustas en la capa de aplicación (nullifiers públicos, compromisos de cambio privados) para evitar el doble gasto de la historia conforme.
3. Implementación y Evaluación Empírica: Un prototipo funcional compatible con Ethereum que demuestra que el cumplimiento proactivo es práctico en hardware de consumo.

4. Resultados y Rendimiento

Los autores evaluaron un prototipo compatible con Ethereum utilizando el sistema de prueba Groth16 (para un fragmento de ruta lineal monolítica) y Nova (para IVC).

• Prototipo Monolítico (Groth16):

  • Generación de Prueba: En una laptop con Apple Silicon, generar una prueba para una ruta de 8 saltos tomó aproximadamente 37 segundos.
  • Verificación: El costo de verificación on-chain fue de aproximadamente 797,916 gas (aprox. 1.5 ms), dominado por las comprobaciones de emparejamiento (pairings).
  • Restricciones: El circuito del probador unificado requirió ~25.7 millones de restricciones R1CS.

• Implementación IVC (Nova):

  • Actualizaciones Incrementales: Para una billetera activa, actualizar la prueba con una nueva transacción toma aproximadamente 1.8 segundos.
  • Verificación: La verificación final on-chain permanece en tiempo constante en ~1.5 ms (aprox. 800k gas), independientemente del tamaño o la profundidad del sub-DAG conforme.
  • Escalabilidad: Aunque generar una cadena desde cero bajo IVC tiene un costo acumulativo, el costo marginal de añadir una nueva transacción es constante y significativamente menor que el de re-probar toda la historia requerida por los enfoques monolíticos.

5. Significado y Reivindicaciones

El artículo afirma que PoSoF resuelve la "tensión fundamental entre privacidad y cumplimiento" al permitir capas de cumplimiento proactivas on-chain.

• Inmunidad a la Contaminación (Tainting): Al rastrear matemáticamente los fondos hasta un origen conforme y permitir que los usuarios excluyan aristas no conformes de su testigo (witness), el sistema es indiferente a la "contaminación" pasiva. Un usuario honesto que recibe fondos ilícitos puede simplemente excluir esa transacción de su DAG de proveniencia.
• Restricciones Estáticas vs. Dinámicas: Al anclar la elegibilidad a orígenes estáticos y conformes (por ejemplo, entidades reguladas) en lugar de listas de bloqueo dinámicas, PoSoF elimina la necesidad de que los verificadores se sincronicen con listas que cambian rápidamente.
• Preservación de la Privacidad: El sistema garantiza la legitimidad de los fondos sin filtrar la topología de la transacción intermedia, las direcciones intermedias o los orígenes específicos.
• Practicidad: Los benchmarks demuestran que el cumplimiento proactivo y totalmente privado es altamente práctico, requiriendo solo verificación de tiempo constante on-chain y tiempos de computación manejables off-chain para las actualizaciones.

Los autores posicionan a PoSoF no como un reemplazo para todos los mecanismos de cumplimiento, sino como una capa fundacional que puede combinarse con auditorías post-depósito (como Derecho) para crear un sistema de cumplimiento integral de extremo a extremo para pools de privacidad y exchanges descentralizados.