Протокол Railgun
Railgun — прошедший аудит протокол приватности с открытым исходным кодом, работающий полностью в блокчейне. Anon использует Railgun как криптографический слой приватности.
Экранированные пулы
Основа Railgun — набор смарт-контрактов, поддерживающих экранированный пул, то есть общий зашифрованный реестр балансов. При экранировании токены поступают в пул, при деэкранировании покидают его. Балансы и переводы внутри пула скрыты от внешних наблюдателей.
Пул реализован как дерево Merkle из зашифрованных нот. Каждая нота представляет коммитмент доступного для расходования баланса. Только владелец соответствующего ключа расходования может создать действительное доказательство для траты ноты.
Как работает приватный перевод
- Отправитель создаёт новую зашифрованную ноту для получателя, расходуя существующие ноты
- Создаётся доказательство с нулевым разглашением, подтверждающее следующее:
- Потраченные ноты существовали в дереве Merkle, но конкретные ноты не раскрываются
- Отправитель знает ключ расходования этих нот
- Суммы сбалансированы: средства не создаются из ничего
- Новая нота сформирована корректно
- Доказательство и шифротекст отправляются в контракт Railgun
- Контракт проверяет доказательство и обновляет дерево Merkle
Приватный перевод защищает внутренние данные нот. Публичные входы и выходы, включая адреса и суммы экранирования и деэкранирования, остаются видимыми; сетевые сервисы также могут получать метаданные запросов.
Поддерживаемые сети
| Сеть | Статус |
|---|---|
| Ethereum Mainnet | Поддерживается |
| Arbitrum | Поддерживается |
| Polygon | Поддерживается |
| BNB Smart Chain | Поддерживается |
Доказательство невиновности (POI)
Railgun взаимодействует с Private Proofs of Innocence для проверки средств по наборам данных поставщиков списков. Anon отслеживает доказательства и доступность средств при синхронизации кошелька; даже после подтверждения экранирования перед расходованием могут потребоваться дополнительные проверки. Эти проверки не устанавливают соответствие всем правовым требованиям. См. Соответствие требованиям и POI.
Аудиты
Смарт-контракты и криптографические схемы Railgun прошли аудит нескольких независимых организаций. Отчёты доступны на GitHub Railgun.