Введение

В ноябре 2024 года Пятый окружной суд США постановил, что санкции Министерства финансов США против протокола смешивания Tornado Cash нарушают Закон о международной чрезвычайной экономической власти (IEEPA). Пятый окружной суд пришел к выводу, что смарт-контракты Tornado Cash являются децентрализованным, самоуправляемым и неконтролируемым кодом, который не может принадлежать никому, не является собственностью и не должен включаться в санкционный список OFAC; действия OFAC превышали их законные полномочия.

Хотя решение Пятого окружного суда по делу Tornado Cash рассматривается как победа криптоиндустрии, необходимо признать, что северокорейские хакеры и преступные организации по отмыванию денег действительно используют Tornado Cash для отмывания средств, избегая санкций со стороны регулирующих органов. Так возможно ли в криптомире обеспечить цепочечную конфиденциальность пользователей в рамках законности и соблюдения норм? Сегодня мы поделимся тем, как протокол смешивания Railgun обеспечивает законную защиту конфиденциальности пользователей.

Модель работы протокола Railgun

Railgun - это приватный протокол на основе смарт-контрактов, который обеспечивает конфиденциальные платежи пользователей в цепочке через нулевые знания и дерево Меркла, а также использует метод "доказательства невиновности" для обеспечения безопасного и законного потока средств в протокол, что позволяет достичь баланса между приватными платежами в цепочке и соблюдением требований регуляторов.

Материнская компания Grayscale, группа DCG, в настоящее время инвестировала 10 миллионов долларов в токены протокола Railgun (RAIL) и пожертвовала более 7 миллионов долларов в стейблах Railgun DAO, а также направила ресурсы через свою дочернюю компанию Foundry Labs для обеспечения устойчивости протокола Railgun.

Механизм работы

1. Приватизация токенов

Пользователи используют Railway Wallet, чтобы скрыть токены в своем адресе 0x в 0zk адресе Railgun, и через час баланс токенов в 0zk адресе может быть использован для переводов между 0zk адресами и других операций в приватных цепочках, переводы между 0zk адресами не требуют ожидания и происходят мгновенно. Railway Wallet поддерживает приватизацию токенов ERC20, ERC-721 и ERC-1155 NFT.

2. Использование Broadcasters вместо протокольных пользователей для взаимодействия с базовым уровнем, обеспечивая конфиденциальность транзакций.

После приватизации токенов пользователи выполняют взаимодействие в цепочке через Broadcasters протокола Railgun; Broadcasters представляют собой открытые адреса 0x, которые заменяют пользователей протокола для оплаты газа и выполнения операций в цепочке. Таким образом, пользователям не нужно тратить ETH/MATIC/BNB в качестве газа в процессе взаимодействия в цепочке.

Теоретически любой адрес 0x может выступать в роли Broadcasters, и пользователи могут выбирать Broadcasters на основе газа и доступности. Broadcasters не контролируют токены в адресах пользователей, а просто передают информацию о взаимодействии и не получают доступ к деталям, таким как адреса отправления и получения, сумма и тип токена, что обеспечивает конфиденциальность и безопасность транзакций. Broadcasters могут взимать 10% от общего газа в качестве вознаграждения.

3. Отмена конфиденциальности после завершения взаимодействия в цепочке.

После того как пользователь назначил Broadcasters для выполнения конфиденциальной транзакции, он вводит любой адрес 0x для инициации взаимодействия по отмене конфиденциальности, чтобы извлечь оставшиеся токены из протокола Railgun. При операциях по приватизации и отмене приватности протокол Railgun взимает 0,25% сборов, отправляемых на казначейский адрес Railgun DAO. Эти доходы протокола будут распределены между управляющими протоколом и стейкерами.

Railgun использует доказательства нулевых знаний для обеспечения конфиденциальности в цепочке.

Доказательство нулевых знаний (Zero-Knowledge Proof, ZKP) - это криптографическая техника, позволяющая доказателю подтвердить истинность информации для проверяющего, не раскрывая детали источника информации. В протоколе Railgun пользователи могут доказать, что они имеют право использовать токены, не раскрывая тип и количество токенов; Broadcasters и пул средств могут скрыть адреса отправления и получения.

Например, пользователи Railgun подобны отправителям писем, ZKP отвечает за проверку содержания письма, смарт-контракт протокола Railgun представляет собой запечатанный конверт, а Broadcasters - это почтальоны. Из открытой цепочки видно только то, что письмо отправлено, но невозможно определить содержание письма или отправителя и получателя.

Railgun использует дерево Меркла для предотвращения двойных расходов и обеспечения безопасности транзакций.

Дерево Меркла (Merkle Tree) также называется хэш-деревом и часто используется для проверки целостности данных транзакций в цепочке. Каждый заголовок блока содержит корневое хэш-значение дерева Меркла для проверки, были ли изменены данные транзакций в блоке. После инцидента FTX, связанного с присвоением пользовательских активов, сейчас большинство централизованных бирж используют проверку дерева Меркла для обеспечения безопасности хранения активов пользователей.

После того как пользователь использует протокол Railgun для скрытия адреса, токены будут добавлены в приватный пул. Баланс токенов в приватном пуле протокола Railgun строится с использованием регистра UTXO, аналогичного BTC; весь список UTXO Railgun формирует структуру данных дерева Меркла для проверки состояния баланса во время транзакции. Все токены внутри протокола Railgun делят дерево Меркла, и каждая операция по приватизации токенов обновляет состояние дерева Меркла, генерируя новый корень/лист Меркла. Это гарантирует, что у пользователя достаточно токенов для отправки приватных транзакций, предотвращая двойные расходы и обеспечивая безопасность транзакций.

Как протокол Railgun достигает соблюдения требований регуляторов

Причина санкций против Tornado Cash заключается в том, что хакерская организация Lazarus Group из Северной Кореи и группы преступников по отмыванию денег использовали его для смешивания средств, чтобы избежать отслеживания со стороны таких регулирующих органов, как FBI.

Доказательства невиновности (Private Proofs of Innocence)

В описании механизма работы протокола Railgun упоминалось, что при приватизации адреса 0x существует час ожидания. В течение этого времени Railgun будет проводить проверку на отмывание денег для токенов на адресе пользователя, чтобы убедиться, что средства на адресе пользователя не происходят из высокорисковых преступных или санкционных адресов.

Цепочечный AML-протокол Railgun не требует от пользователей предоставления информации KYC, как это делает централизованная биржа или учреждение, и таким образом не создает рисков раскрытия конфиденциальности, а использует верификацию на основе меток в цепочке. Пользователи могут выбрать применимые метки для соответствующей юрисдикции, например, пользователи из США могут выбрать список адресов, подлежащих регулированию в США. В ожидании пользователи сохраняют право собственности на токены и могут в любой момент отменить конфиденциальность токенов и вернуть их через свой оригинальный адрес 0x.

После завершения проверки на отмывание денег токенов пользователь получит доказательства невиновности (Private Proofs of Innocence), и все будущие переводы токенов на публичный адрес блокчейна будут сопровождаться доказательствами невиновности, чтобы подтвердить, что эта часть токенов прошла проверку.

В настоящее время список меток для борьбы с отмыванием денег, используемый протоколом Railgun, состоит из бесплатной базы данных, опубликованной Chainalysis, и открытых адресов, находящихся под санкциями OFAC.

Chainalysis - это американская компания по анализу блокчейнов, основанная в 2014 году. В мае 2022 года Chainalysis объявила о завершении раунда финансирования F на сумму 170 миллионов долларов с участием GIC, оценив свою стоимость в 8,6 миллиарда долларов. Система борьбы с отмыванием денег Chainalysis стала обязательной для соблюдения со стороны бирж, эмитентов стейблов, платформ NFT и криптобанков. Chainalysis также сотрудничает с такими государственными органами, как налоговая служба США, иммиграционная служба и FBI.

Для протокола Railgun проверка на отмывание денег осуществляется с использованием базы данных меток адресов Chainalysis, когда токены входят в приватный пул протокола, что эквивалентно ношению амулета; адреса получателей, транзакции и адреса учреждений больше не боятся цепочечных транзакций, поступающих из протокола Railgun, опасаясь нарушить правила по борьбе с отмыванием денег и быть подвергнутыми санкциям и наказаниям за помощь преступным организациям в отмывании денег.

Налоговый расчет криптоактивов (Koinly Tax Exports)

Приватные транзакции протокола Railgun могут привести к трудностям для пользователей при расчете налогов на криптоактивы, поэтому Railway Wallet поддерживает экспорт записей взаимодействия пользователей с протоколом для использования в налоговом программном обеспечении Koinly для расчета суммы налога для пользователей.

Резюме и размышления

В открытом блокчейне каждая транзакция прозрачна и может быть отслежена; для защиты конфиденциальности транзакций в цепочке возникли такие протоколы, как приватные блокчейны и Tornado Cash, но это также дало возможность преступным организациям использовать виртуальные валюты для перевода похищенных средств. Протокол Railgun предлагает баланс между обеспечением конфиденциальности в цепочке и борьбой с отмыванием денег в криптовалюте, позволяя адресам в цепочке безопасно и законно осуществлять приватные платежи без нарушения правил по борьбе с отмыванием денег.

Адрес основателя Ethereum Виталия Бутерина с декабря прошлого года по май этого года использовал протокол Railgun для проведения 260 ETH-приватных сделок на сумму более миллиона долларов. Однако этот способ просто подразумевает проверку на отмывание денег до того, как токены поступят в протокол; что произойдет, если после верификации будут выявлены проблемы с этой транзакцией? В конце концов, технологии преступников часто опережают меры по предотвращению преступлений, и база данных меток адресов Chainalysis всегда отстает от новых адресов, которые используют преступные группы.

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