Resumo Técnico: Prova de Origem de Fundos (PoSoF)

1. Declaração do Problema

O artigo aborda a tensão fundamental entre privacidade financeira e conformidade regulatória em Finanças Descentralizadas (DeFi). As metodologias de conformidade atuais baseiam-se em duas abordagens falhas:

1. Listas Binárias Frágeis: Dependência de listas de inclusão/exclusão (listas brancas/listas negras) que são facilmente contornadas ao transferir fundos para endereços novos e não sinalizados.
2. Análise de Grafo Retroativa: Dependência de empresas centralizadas de inteligência de blockchain para rastrear continuamente o histórico de transações. Esta abordagem é computacionalmente dispendiosa, sofre de altas taxas de falsos positivos e falha em impedir que fundos ilícitos entrem em um protocolo em primeiro lugar.

Além disso, as soluções de preservação de privacidade existentes (por exemplo, Tornado Cash) foram sancionadas porque não conseguem distinguir entre privacidade legítima e lavagem de dinheiro. Inversamente, as tentativas de integrar conformidade via rastreamento retroativo de "contaminação" (taint) deixam usuários honestos vulneráveis a "ataques de contaminação", onde atores maliciosos misturam intencionalmente fundos ilícitos com fundos legítimos para congelar os ativos de usuários honestos. O artigo argumenta que o modelo atual de vigilância do lado da plataforma retira a privacidade dos usuários e impõe pesados encargos aos protocolos descentralizados.

2. Metodologia

Os autores propõem a Prova de Origem de Fundos (PoSoF), uma mudança de paradigma da vigilância do lado da plataforma para a proveniência do lado do usuário. Em vez de a plataforma rastrear os fundos, o usuário gera localmente uma prova de conhecimento zero (ZKP) demonstrando que seu depósito origina-se exclusivamente de um conjunto de fontes em conformidade.

2.1 Abstração Unificada de DAG Temporal

Para lidar com estruturas de blockchain heterogêneas (baseadas em UTXO como o Bitcoin e baseadas em contas como o Ethereum), os autores formulam uma abstração unificada de Grafo Acíclico Dirigido (DAG) temporal:

• Nós: Definidos como pares temporais $(a, h)$, onde $a$ é um endereço e $h$ é uma coordenada de sequência determinística (altura do bloco, índice). Isso cria snapshots únicos de identidade em momentos específicos.
• Arestas: Representam transferências de valor entre nós, atribuídas a uma capacidade fracionária $v_e \le v(tx)$.
• Modelo: Esta abstração unifica históricos de livros-razão em um modelo generalizado de fluxo de valor, tratando a capacidade em conformidade como um recurso finito e não inflacionário.

2.2 Estrutura Criptográfica

O sistema utiliza Computação Incrementalmente Verificável (IVC) via esquemas de dobra (por exemplo, Nova) para alcançar verificação em tempo constante. O usuário extrai um sub-DAG em conformidade ($G'$) do grafo global ($G$) e prova a satisfação de predicados rigorosos de transição de estado sem revelar a topologia intermediária ou origens específicas.

Os predicados centrais aplicados pelo circuito de conhecimento zero incluem:

1. Integridade e Distinção On-Chain: Cada aresta deve possuir uma prova de inclusão válida (prova de Merkle) mapeando para uma transação on-chain finalizada. As transações devem ser distintas para evitar a reciclagem de uma única transação em conformidade em múltiplas ramificações.
2. Ancoragem de Origem: Todo nó de origem em o sub-DAG deve ser membro de um conjunto pré-definido de fontes em conformidade $C$ (por exemplo, exchanges com KYC), verificado via uma prova de inclusão positiva (ex: árvore de Merkle).
3. Vinculação de Arestas: O receptor de uma aresta de entrada deve corresponder criptograficamente ao remetente da aresta de saída, evitando a falsificação de topologia.
4. Ordenação Temporal: Uma aciclicidade estrita é aplicada ($h_{in} < h_{out}$) para evitar exploits de viagem no tempo, onde fluxos futuros em conformidade legitimam transferências passadas não em conformidade.
5. Solvência de Fluxo: Para cada nó intermediário, a soma das capacidades fracionárias de saída não deve exceder a soma das capacidades de entrada ($\sum v_{out} \le \sum v_{in}$).
6. Vinculação de Execução Terminal: A prova deve estar vinculada ao payload da transação alvo específica ($txtarget$), garantindo que a prova seja não-maleável e válida apenas para o depósito pretendido.

2.3 Arquitetura

• Prover (Provador): O usuário constrói localmente o sub-DAG em conformidade e executa o circuito IVC. Ele extrai um caminho "limpo", ignorando arestas não em conformidade (ex: poeira/dust ilícita recebida pelo usuário).
• Verifier (Verificador): O contrato inteligente realiza uma verificação de tempo constante $O(1)$ da prova sucinta. Ele não precisa se sincronizar com listas de bloqueio dinâmicas ou analisar o grafo de transações.

3. Principais Contribuições

O artigo apresenta três contribuições primárias:

1. Formalização da Proveniência do Lado do Prover: A introdução do PoSoF, que transfere o ônus da conformidade para o usuário. Estabelece uma abstração de DAG temporal unificada que captura tanto ledgers baseados em contas quanto UTXO sob definições de segurança rigorosas.
2. Instanciação de Protocolo Eficiente: A construção de um protocolo PoSoF usando IVC para alcançar verificação on-chain de tamanho constante, $O(1)$. O sistema inclui defesas robustas na camada de aplicação (nullifiers públicos, compromissos de troco privados) para evitar o gasto duplo de histórico limpo.
3. Implementação e Avaliação Empírica: Um protótipo funcional compatível com Ethereum demonstrando que a conformidade proativa é prática em hardware de consumo.

4. Resultados e Desempenho

Os autores avaliaram um protótipo compatível com Ethereum usando o sistema de prova Groth16 (para um fragmento de caminho linear monolítico) e Nova (para IVC).

• Protótipo Monolítico (Groth16):

  • Geração de Prova: Em um laptop com Apple Silicon, gerar uma prova para um caminho com 8 saltos levou aproximadamente 37 segundos.
  • Verificação: O custo de verificação on-chain foi de aproximadamente 797.916 gas (aprox. 1,5 ms), dominado por verificações de emparelhamento (pairing checks).
  • Restrições: O circuito do prover unificado exigiu ~25,7 milhões de restrições R1CS.

• Implementação IVC (Nova):

  • Atualizações Incrementais: Para uma carteira ativa, atualizar a prova com uma nova transação leva aproximadamente 1,8 segundos.
  • Verificação: A verificação on-chain final permanece em tempo constante em ~1,5 ms (aprox. 800k gas), independentemente do tamanho ou profundidade do sub-DAG em conformidade.
  • Escalabilidade: Embora gerar uma cadeia do zero sob IVC tenha um overhead cumulativo, o custo marginal de adicionar uma nova transação é constante e significativamente menor do que o re-processamento de todo o histórico exigido por abordagens monolíticas.

5. Significância e Alegações

O artigo afirma que o PoSoF resolve a "tensão fundamental entre privacidade e conformidade" ao permitir camadas de conformidade proativas on-chain.

• Imunidade à Contaminação: Ao rastrear matematicamente os fundos até uma origem em conformidade e permitir que os usuários excluam arestas não em conformidade de sua testemunha (witness), o sistema é indiferente à "contaminação" passiva. Um usuário honesto que recebe fundos ilícitos pode simplesmente excluir essa transação de seu DAG de proveniência.
• Restrições Estáticas vs. Dinâmicas: Ao ancorar a elegibilidade a origens estáticas e em conformidade (ex: entidades reguladas) em vez de listas de bloqueio dinâmicas, o PoSoF elimina a necessidade de os verificadores se sincronizarem com listas que mudam rapidamente.
• Preservação de Privacidade: O sistema garante a legitimidade dos fundos sem vazar a topologia de transação intermediária, endereços intermediários ou origens específicas.
• Praticidade: Os benchmarks demonstram que a conformidade proativa e totalmente privada é altamente prática, exigindo apenas verificação de tempo constante on-chain e tempos de computação gerenciáveis off-chain para atualizações.

Os autores posicionam o PoSoF não como um substituto para todos os mecanismos de conformidade, mas como uma camada fundamental que pode ser combinada com auditoria pós-depósito (como o Derecho) para criar um sistema de conformidade abrangente de ponta a ponta para pools de privacidade e exchanges descentralizadas.