Direito Cripto/Nível V · Quem cria e quem lança/5.2 Regras sobre dinheiro/Lição 6

Tornado Cash: sanções ao código

Como os EUA sancionaram um conjunto de contratos inteligentes, por que o Quinto Circuito afirmou que código imutável não é propriedade que possa ser bloqueada e o que essa decisão deixa em aberto para os desenvolvedores.

É educação, não aconselhamento jurídico, tributário ou de investimento. O direito cripto varia entre países e estados e muda com frequência. Antes de agir, confirme as regras vigentes onde você mora com um advogado ou consultor tributário habilitado.

O caminho enxuto

A rota mais barata, com menos impostos, mais simples e mais privada que a lei permite, da melhor para a pior. Cada passo indica a regra em que se apoia e a condição que o mantém dentro da lei.

Ler, copiar, publicar e ensinar o código da Tornado Cash nunca foi proibido pelas FAQs da OFAC de 2022. Compartilhar código aberto é gratuito e lícito, desde que você não realize transações com partes sancionadas.
Van Loon (5th Cir., 26 de novembro de 2024) entendeu que contratos imutáveis que ninguém possui não são propriedade passível de bloqueio. Isso vincula apenas Texas, Louisiana e Mississippi, e a Tornado Cash foi retirada da lista em 21 de março de 2025.
Contratos mutáveis, chaves de administrador, front-ends, relayers e empresas ainda podem ser sancionados, então, se você mantiver qualquer um deles, faça a triagem contra a lista SDN. Os mixers operados por pessoas, como Blender.io e Sinbad, foram listados.
Se você receber dust de um endereço sancionado, reporte à OFAC. A OFAC disse que não priorizaria a fiscalização contra US persons que receberam dust e reportaram tardiamente, sem outro vínculo com sanções, então reporte prontamente de qualquer forma.
Tornar o código imutável pode limitar o alcance das sanções, mas também elimina qualquer meio de impedir o uso indevido, o que um tribunal holandês levou em conta contra Pertsev. Decida essa troca antes de implantar.

MateriaisComunicado de imprensa do Tesouro jy0916, “U.S. Treasury Sanctions Notorious Virtual Currency Mixer Tornado Cash” (8 de agosto de 2022)Van Loon v. Department of the Treasury, nº 23-50669 (5th Cir., 26 de novembro de 2024)A sentença final retificada (amended final judgment) em Van Loon, nº 1:23-CV-312-RP (W.D. Tex., 28 de abril de 2025)A declaração do Tesouro “Tornado Cash Delisting” (21 de março de 2025)

Curiosidade

Como um governo pode sancionar um software que ninguém opera?
Depois de Van Loon, um contrato inteligente ainda pode ser incluído na lista SDN?
Já foi ilegal ler ou publicar o código do Tornado Cash?

Explorar

O Tornado Cash, criado em 2019, é um “mixer” no Ethereum: os usuários depositam valores fixos em contratos inteligentes de pool e depois sacam para um endereço diferente apresentando uma prova criptográfica, o que rompe o vínculo visível entre remetente e destinatário. Segundo o Quinto Circuito, os contratos de pool começaram alteráveis (“mutáveis”), mas em 2020 os desenvolvedores os tornaram irreversivelmente “imutáveis”, de modo que ninguém, nem seus criadores, podia alterá-los ou removê-los. Outras partes continuaram mutáveis, incluindo contratos de governança controlados pelos detentores do token TORN e um registro de “relayers”, terceiros que enviam os saques pelos usuários. Essa mistura de partes controláveis e incontroláveis moldou a disputa jurídica.
Em 8 de agosto de 2022, o OFAC incluiu o Tornado Cash na lista SDN com base na Ordem Executiva 13694, uma ordem de sanções contra crimes cibernéticos. O Tesouro disse que o mixer havia sido usado para lavar mais de 7 bilhões de dólares desde 2019, incluindo mais de 455 milhões de dólares roubados pelo Grupo Lazarus, da Coreia do Norte, mais de 96 milhões de dólares do hack da ponte Harmony em junho de 2022 e pelo menos 7,8 milhões de dólares do hack da Nomad em agosto de 2022. A inclusão indicou como identificadores os endereços Ethereum dos contratos inteligentes, de modo que qualquer US person que enviasse para eles ou recebesse deles corria o risco de uma violação. Em 8 de novembro de 2022, o OFAC redesignou o Tornado Cash, acrescentando fundamentos relacionados à Coreia do Norte.
Em setembro de 2022, o OFAC publicou quatro FAQs sobre a designação. Elas diziam que as US persons não estavam proibidas de copiar o código aberto e publicá-lo online, nem de discuti-lo, ensiná-lo ou incluí-lo em publicações como livros didáticos, na ausência de outros fatos. Usuários com transações presas nos pools podiam pedir uma licença específica para concluí-las. Quanto ao “dusting”, quando alguém envia quantias ínfimas não solicitadas do Tornado Cash para endereços de desconhecidos, o OFAC disse que não priorizaria a fiscalização contra US persons que comunicassem com atraso, se não houvesse outro vínculo com sanções. As FAQs traçaram uma linha entre o código como informação e transacionar com os contratos.
Seis usuários do Tornado Cash processaram o governo no Texas. O tribunal distrital deu razão ao Tesouro, mas em 26 de novembro de 2024 o Quinto Circuito reformou a decisão em Van Loon v. Department of the Treasury. Redigindo pelo colegiado, o juiz Willett entendeu que os contratos inteligentes imutáveis não são “propriedade” de um estrangeiro ou entidade estrangeira nos termos do International Emergency Economic Powers Act, porque propriedade significa algo passível de ser possuído; logo, não podem ser bloqueados, e o OFAC excedeu sua competência. O tribunal sugeriu que o Congresso poderia atualizar a lei de 1977 para tecnologias como os mixers. Uma ação paralela movida pelo grupo de defesa Coin Center havia perdido em um tribunal distrital da Flórida e estava em recurso.
Em 21 de março de 2025, o Tesouro dos EUA retirou o Tornado Cash da lista SDN, afirmando ter “exercido seu critério discricionário” após analisar questões jurídicas e políticas inéditas, ao mesmo tempo em que permanecia “profundamente preocupado” com as atividades de hacking e lavagem de dinheiro pela Coreia do Norte. Em 28 de abril de 2025, o tribunal distrital do Texas emitiu uma decisão final alterada, declarando ilegais as ações da OFAC, anulando-as e proibindo permanentemente o Tesouro de aplicá-las. Em julho de 2025, o Décimo Primeiro Circuito, a pedido conjunto, anulou a decisão da Flórida e determinou que o caso do Coin Center fosse arquivado. A questão das sanções foi resolvida no que diz respeito a esses contratos; os processos criminais contra os desenvolvedores continuaram separadamente (lição 5.2.7).
O alcance da decisão é estreito. Ela trata de código imutável que ninguém possui ou controla, e vincula os tribunais federais apenas no Texas, na Louisiana e no Mississippi. Contratos mutáveis com chaves de administrador, sites de front-end, relayers, empresas, DAOs que exercem controle e as pessoas por trás deles ainda podem ser sancionados, e o OFAC já havia listado mixers operados por pessoas, como o Blender.io em maio de 2022 e o Sinbad em novembro de 2023. Para quem desenvolve, a imutabilidade pode limitar o alcance das sanções, mas também elimina qualquer meio de impedir o uso indevido, ponto que o tribunal holandês usou contra Alexey Pertsev (lição 5.2.7). Uma verificação prática: liste cada componente do seu sistema que alguém ainda pode atualizar, pausar ou desligar.

Fatos-chave

A OFAC designou o Tornado Cash em 8 de agosto de 2022, por meio da Ordem Executiva 13694.
O Tesouro afirmou que o Tornado Cash foi usado para lavar mais de 7 bilhões de dólares desde 2019, incluindo mais de 455 milhões de dólares roubados pelo Grupo Lazarus.
Em 26 de novembro de 2024, o Quinto Circuito decidiu, em Van Loon v. Department of the Treasury, que os contratos inteligentes imutáveis do Tornado Cash não são propriedade nos termos do IEEPA.
O Tesouro removeu o Tornado Cash da lista SDN em 21 de março de 2025.
Em 28 de abril de 2025, o Distrito Oeste do Texas anulou a ação da OFAC contra o Tornado Cash e proibiu permanentemente sua aplicação.
As primeiras sanções da OFAC contra um serviço de mistura de moedas virtuais visaram o Blender.io em maio de 2022.

Exercício nove, seis, três, um

9ReunirListe até 9 componentes de um sistema de contrato inteligente que você utiliza ou está desenvolvendo, como contratos principais, um proxy de atualização, uma chave de administrador ou pausa, um token de governança, um site, um retransmissor ou um indexador (algumas listas são mais curtas).

6AgruparClassifique-os em 6 categorias: código imutável, código atualizável, chaves detidas por uma pessoa, chaves detidas por uma DAO, serviços off-chain operados por alguém e partes cujo controle você não consegue determinar.

3DestilarReduza os 6 para 3 grupos: partes que o raciocínio de Van Loon pode abranger, partes que alguém possui ou controla e partes que você precisa investigar.

1CristalizarEscreva 1 frase explicando o que a decisão Van Loon decidiu sobre contratos inteligentes imutáveis e uma coisa que ela não decidiu.

Verificação de fatos

Datas, números e afirmações verificados com as fontes publicadas listadas abaixo.

Abrir na academia interativa →

EN ES ZH JA KO RU DE FR MS