Introducción

En noviembre de 2024, el Quinto Circuito de EE. UU. dictaminó que las sanciones impuestas por la Oficina de Control de Activos Extranjeros (OFAC) del Departamento del Tesoro de EE. UU. contra el mezclador Tornado Cash violaban la Ley de Poderes Económicos de Emergencia Internacional (IEEPA). El Quinto Circuito consideró que el contrato inteligente de Tornado Cash es un código descentralizado, autorregulado e incontrolable, que no puede ser poseído, no es propiedad y no debería estar incluido en la lista de sanciones de la OFAC, y que las sanciones de la OFAC excedieron su autoridad legal.

Aunque la decisión del Quinto Circuito sobre el caso de Tornado Cash se considera una victoria para la industria cripto, el hecho innegable es que los hackers norcoreanos y las organizaciones criminales de robo están utilizando Tornado Cash para lavar dinero y evadir las sanciones de las agencias de cumplimiento regulatorio. Entonces, ¿es posible en el mundo cripto garantizar la privacidad en la cadena de los usuarios de criptoactivos bajo el principio de legalidad y conformidad? Hoy compartiremos cómo el protocolo de mezcla Railgun protege de manera conforme la privacidad en línea de los usuarios.

El modelo operativo del protocolo Railgum

Railgun es un protocolo de privacidad basado en contratos inteligentes que garantiza los pagos de privacidad en la cadena de los usuarios mediante pruebas de conocimiento cero y árboles de Merkle, y utiliza el método de "pruebas de inocencia" para asegurar que los fondos en la cadena que ingresan al protocolo sean seguros y conformes. Este método logra un equilibrio entre los pagos de privacidad en la cadena y la conformidad regulatoria.

La empresa matriz de Grayscale, el grupo DCG, ha invertido actualmente en el token RAIL del protocolo Railgun por un valor de 10 millones de dólares y ha donado más de 7 millones de dólares en stablecoins al Railgun DAO, así como recursos a través de su subsidiaria Foundry Labs para garantizar la capacidad de carga de la infraestructura del protocolo Railgun.

Mecanismo de funcionamiento

1. Privatización de tokens

Los usuarios utilizan Railway Wallet para ocultar los tokens en su dirección 0x en la dirección 0zk de Railgun. Después de una hora, el saldo de tokens en la dirección 0zk puede utilizarse para transferencias entre direcciones 0zk y otras interacciones en la cadena privadas como DeFi; las transferencias entre direcciones 0zk no requieren espera y se procesan en tiempo real. Railway Wallet admite la privacidad de tokens ERC20, ERC-721 y ERC-1155 NFT.

2. Interactuar con la capa base a través de Broadcasters en lugar de los usuarios del protocolo, garantizando la privacidad de las transacciones

Después de que los tokens se privatizan, las interacciones en la cadena del usuario se realizan a través de los Broadcasters en el protocolo Railgun. Los Broadcasters son direcciones 0x públicas que reemplazan a los usuarios del protocolo para pagar el gas en la cadena y completar las interacciones. Por lo tanto, en toda la operación de interacción en la cadena, el usuario no necesita gastar ETH/MATIC/BNB como gas.

Teóricamente, cualquier dirección 0x puede funcionar como Broadcaster; los usuarios pueden elegir Broadcasters en función del gas y su disponibilidad. Los Broadcasters no controlan los tokens en la dirección del usuario, solo transmiten información de interacción y no pueden acceder a detalles como la dirección de envío, monto, dirección de recepción y tipo de token, garantizando así la privacidad y seguridad de la transacción. Los Broadcasters pueden cobrar un 10% de la tarifa total de gas durante todo el proceso.

3. Desprivatizar después de completar la interacción en la cadena

Después de que el usuario designa Broadcasters para completar transacciones privadas en su lugar, ingresa cualquier dirección 0x para iniciar la interacción de desprivatización, extrayendo así los tokens restantes en el protocolo Railgun. En las operaciones de privatización y desprivatización de tokens, el contrato inteligente del protocolo Railgun cobrará una tarifa del 0.25%, que se enviará a la dirección del tesoro del Railgun DAO. Estos ingresos del protocolo se distribuirán a los gobernantes del protocolo y a los stakers.

Railgun utiliza pruebas de conocimiento cero para garantizar la privacidad en la cadena

Las pruebas de conocimiento cero (Zero-Knowledge Proof, ZKP) son una técnica criptográfica que permite al probador demostrar la veracidad de la información a un verificador sin revelar detalles sobre la fuente de la información. En el protocolo Railgun, los usuarios pueden demostrar que tienen derecho a usar los tokens sin tener que revelar el tipo y la cantidad de tokens, y los Broadcasters y el fondo pueden hacer que las direcciones de envío y recepción sean privadas.

Por ejemplo, los usuarios de Railgun son como remitentes de cartas, las ZKP son responsables de verificar el contenido de la carta, el contrato inteligente del protocolo Railgun es el sobre sellado, y los Broadcasters son los carteros. Desde la cadena pública, solo se puede ver que la carta ha sido enviada, pero no pueden determinar el contenido de la carta ni quién es el remitente o el destinatario.

Railgun utiliza el árbol de Merkle para prevenir el doble gasto, garantizando la seguridad de las transacciones

El árbol de Merkle (Merkle Tree), también conocido como árbol hash, se utiliza comúnmente para verificar la integridad de los datos de transacción en la cadena. Cada encabezado de bloque contiene el valor hash raíz del árbol de Merkle para verificar si los datos de transacción del bloque han sido alterados. Desde el incidente de FTX por malversación de activos de usuarios, los intercambios centralizados más importantes utilizan la verificación del árbol de Merkle para garantizar la seguridad de los activos de los usuarios en custodia, evitando la malversación.

Después de que los usuarios utilizan el protocolo Railgun para privatizar la dirección, los tokens se añaden al fondo de privacidad. El saldo de tokens en el fondo de privacidad del protocolo Railgun se construye a través de un registro similar al UTXO de BTC. La lista completa de UTXO de Railgun constituye una estructura de datos de árbol de Merkle utilizada para verificar el estado del saldo durante las transacciones. Todos los tokens dentro del protocolo Railgun comparten el árbol de Merkle, y cada operación de privatización de tokens actualiza el estado del árbol de Merkle, generando una nueva raíz/hoja de Merkle. Esto garantiza que el usuario tenga suficientes tokens al enviar transacciones privadas, previniendo el doble gasto y asegurando la seguridad de las transacciones.

Cómo el protocolo Railgum logra la conformidad regulatoria

La razón principal por la que Tornado Cash fue sancionado es que la organización de hackers norcoreanos Lazarus Group y los grupos criminales de lavado de dinero lo utilizaron para mezclar monedas, evadiendo el rastreo y la investigación de agencias reguladoras como el FBI.

Pruebas de inocencia privada (Private Proofs of Innocence)

Como se mencionó anteriormente en la explicación del mecanismo de funcionamiento del protocolo Railgun, cuando los usuarios privatizan su dirección 0x, hay un período de espera de una hora. Durante este período de espera, Railgun realizará una verificación de combate al lavado de dinero sobre los tokens en la dirección del usuario, asegurando que los fondos en la dirección del usuario no provengan de direcciones criminales o sancionadas de alto riesgo.

El protocolo Railgun no requiere que los usuarios proporcionen información KYC, como lo hacen los intercambios centralizados o las instituciones, lo que implica un riesgo de exposición de la privacidad, sino que emplea datos de etiquetas en la cadena para la verificación. Los usuarios pueden elegir una biblioteca de etiquetas de verificación correspondiente a la jurisdicción aplicable, por ejemplo, los usuarios de EE. UU. pueden seleccionar la lista de direcciones reguladas en EE. UU. Durante el período de espera, los usuarios tienen la propiedad de los tokens y pueden deshacer la privacidad de los tokens en cualquier momento, recuperándolos a través de su dirección original 0x.

Después de completar la verificación de combate al lavado de dinero de los tokens, el usuario obtendrá una prueba de inocencia (Private Proofs of Innocence), y cualquier token enviado a una dirección de blockchain pública llevará consigo la prueba de inocencia, para demostrar que esa parte de los tokens ha sido verificada.

Actualmente, la lista de etiquetas de combate al lavado de dinero en la cadena del protocolo Railgun se compone de una biblioteca gratuita pública de Chainalysis y direcciones sancionadas por la OFAC.

Chainalysis es una empresa de análisis de blockchain de EE. UU. fundada en 2014. En mayo de 2022, Chainalysis anunció la finalización de una ronda de financiamiento Serie F de 170 millones de dólares liderada por GIC, alcanzando una valoración de 8.6 mil millones de dólares. El sistema de combate al lavado de dinero de Chainalysis se ha convertido en un requisito de conformidad para intercambios, emisores de stablecoins, plataformas de negociación de NFT y bancos cripto. Chainalysis también ha llegado a acuerdos de cooperación con agencias gubernamentales como el IRS, USCIS, y el FBI.

Para el protocolo Railgun, cuando los tokens entran en el fondo de privacidad del protocolo, se realiza una verificación de combate al lavado de dinero utilizando la biblioteca de etiquetas de direcciones de Chainalysis, lo que equivale a llevar un amuleto de protección. Las direcciones de recepción de tokens, las transacciones y las direcciones de las instituciones ya no temen las transacciones en la cadena provenientes del protocolo Railgun, preocupándose por violar las regulaciones de combate al lavado de dinero y siendo sancionadas por ayudar a las organizaciones criminales a lavar dinero.

Cálculo de impuestos sobre activos criptográficos (Koinly Tax Exports)

Las transacciones privadas del protocolo Railgun pueden causar dificultades a los usuarios al calcular sus impuestos sobre las transacciones de activos criptográficos; por lo tanto, Railway Wallet admite la exportación de los registros de interacción del usuario con el protocolo para que el software de impuestos Koinly calcule la cantidad de impuestos que debe pagar el usuario.

Resumen y reflexiones

En la blockchain pública, cada interacción en la cadena es transparente y rastreable. Para proteger la privacidad de las transacciones en la cadena, han surgido cadenas públicas de privacidad y protocolos de mezcla como Tornado Cash, pero también han dado a las organizaciones criminales que utilizan monedas virtuales para transferir fondos robados una oportunidad. La aparición del protocolo Railgun ha logrado un equilibrio entre la protección de la privacidad en la cadena y la lucha contra el lavado de dinero en criptomonedas, permitiendo que las direcciones en la cadena realicen pagos privados de manera segura y conforme sin violar las regulaciones de combate al lavado de dinero.

La dirección del fundador de Ethereum, V God, ha utilizado la dirección del protocolo Railgun para realizar transacciones privadas de más de un millón de dólares en 260 transacciones de ETH entre diciembre del año pasado y mayo de este año. Pero este método solo significa que se realiza una verificación de combate al lavado de dinero antes de que los tokens ingresen al protocolo; una vez que se verifica y se retira del protocolo, ¿qué pasa si las agencias de regulación encuentran problemas con esta transacción y necesitan investigarla? Después de todo, las técnicas criminales a menudo superan las medidas de prevención del crimen, y los datos de la biblioteca de etiquetas de direcciones de Chainalysis siempre están detrás de las direcciones más recientes utilizadas por los grupos criminales.

#TornadoCash. #ZEN/USDT #RAIL #RAILGUN #灰度提交Horizen信托文件