Главная страница>Связанные с программированием>Другой исходный код
Скачать

Решение Tornado Cash для обеспечения конфиденциальности

Tornado Cash — это некастодиальное решение для обеспечения конфиденциальности Ethereum и ERC20, основанное на zkSNARK. Это улучшает конфиденциальность транзакций, разрывая внутрисетевую связь между адресами получателя и назначения. Он использует смарт-контракт, который принимает депозиты в ETH, которые можно вывести на другой адрес. Всякий раз, когда ETH выводится с нового адреса, невозможно связать вывод с депозитом, что обеспечивает полную конфиденциальность.

Чтобы внести депозит, пользователь генерирует секрет и отправляет его хэш (называемый обязательством) вместе с суммой депозита в смарт-контракт Tornado. Контракт принимает депозит и добавляет обязательство в свой список депозитов.

Позже пользователь решает произвести вывод средств. Для этого пользователь должен предоставить доказательство того, что он или она владеет секретом неизрасходованного обязательства из списка депозитов смарт-контракта. Технология zkSnark позволяет это сделать, не раскрывая, какое именно месторождение соответствует этому секрету. Смарт-контракт проверит подтверждение и переведет внесенные средства на адрес, указанный для вывода. Внешний наблюдатель не сможет определить, с какого депозита произошел этот вывод.

Вы можете прочитать больше об этом в этой статье на Medium.

Характеристики

  • Стоимость депозитного газа: 1088354 (43381 + 50859 * Tree_Deep)
  • Стоимость вывода газа: 301233
  • Ограничения схемы = 28271 (1869 + 1325 * глубина_дерева)
  • Время проверки цепи = 10213 мс (1071 + 347 * глубина_дерева)
  • Бессерверный

изображение

Технический документ

TornadoCash_whitepaper_v1.4.pdf

Был ли аудит?

Протоколы, схемы и смарт-контракты Tornado.cash были проверены группой экспертов из ABDK Consulting, специализирующейся на нулевом разглашении, криптографии и смарт-контрактах.

В ходе аудита критических проблем не обнаружено, все нерешенные проблемы устранены. Результаты можно найти здесь:

  • Криптообзор https://tornado.cash/audits/TornadoCash_cryptographic_review_ABDK.pdf
  • Аудит смарт-контракта https://tornado.cash/audits/TornadoCash_contract_audit_ABDK.pdf
  • Аудит цепей Зк-СНАРК https://tornado.cash/audits/TornadoCash_circuit_audit_ABDK.pdf

Базовая зависимость circomlib в настоящее время проверяется, и команда уже опубликовала большинство исправлений обнаруженных проблем.

Требования

  1. node v11.15.0
  2. npm install -g npx

Использование

Пример использования вы можете увидеть в cli.js, он работает как в консоли, так и в браузере.

  1. npm install
  2. cp .env.example .env
  3. npm run build – это может занять 10 минут и более.
  4. npx ganache-cli
  5. npm run test — опционально запускает тесты. С первой попытки может не получиться, просто запустите еще раз.

Используйте версию браузера на Kovan:

  1. vi .env — добавьте свой закрытый ключ Kovan для развертывания контрактов.
  2. npm run migrate
  3. npx http-server — обслуживать текущий каталог, вы можете использовать любой другой статический http-сервер
  4. Открыть localhost:8080

Используйте версию для командной строки. Работает для Ganache, Kovan и Mainnet:

Инициализация

  1. cp .env.example .env
  2. npm run download
  3. npm run build:contract

Ганаш

  1. убедитесь, что вы выполнили шаги из инициализации
  2. ganache-cli -i 1337
  3. npm run migrate:dev
  4. ./cli.js test
  5. ./cli.js --help

Кован, Мейннет

  1. Пожалуйста, используйте https://github.com/tornadocash/tornado-cli. Причина: Tornado-core использует хэш фиксации websnark 2041cfa5fa0b71cd5cca9022a4eeea4afe28c9f7 для работы с локальной доверенной настройкой. Tornado-cli использует коммит 4c0af6a8b65aabea3c09f377f63c44e7a58afa6d с доверенной настройкой TornadoCash.

Пример: 

./cli.js deposit ETH 0.1 --rpc https://kovan.infura.io/v3/27a9649f826b4e31a83e07ae09a87448

Ваше примечание: торнадо-eth-0.1-42-0xf73dd6833ccbcc046c44228c8e2aa312bf49e08389dadc7c65e 6a73239867b7ef49c705c4db227e2fadd8489a494b6880bdcb6016047e019d1abec1c7652 Баланс Tornado ETH составляет 8,9 Баланс ETH на счете отправителя составляет 1004873,470619891361352542 Отправка депозитной транзакции Баланс Tornado ETH равен 9 Баланс ETH на счете отправителя составляет 1004873,361652048361352542 

./cli.js withdraw tornado-eth-0.1-42-0xf73dd6833ccbcc046c44228c8e2aa312bf49e08389dadc7c65e6a73239867b7ef49c705c4db227e2fadd8489a494b6880bdcb6016047e019d1abec1c7652 0x8589427373D6D84E98730D7795D8f6f8731FDA16 --rpc https://kovan.infura.io/v3/27a9649f826b4e31a83e07ae09a87448 --relayer https://kovan-frelay.duckdns.org

Адрес реле: 0x6A31736e7490AbE5D5676be059DFf064AB4aC754 Получение текущего состояния из контракта торнадо Генерация доказательства SNARK Время доказательства: 9117,051 мс Отправка транзакции вывода через реле Транзакция отправлена ​​через реле. Посмотреть транзакцию на etherscan https://kovan.etherscan.io/tx/0xcb21ae8cad723818c6bc7273e83e00c8393fcdbe74802ce5d562acad691a2a7b Транзакция, добытая в блоке 17036120 Готово

Разверните ETH Tornado Cash

  1. cp .env.example .env
  2. Настройте все необходимые параметры
  3. npx truffle migrate --network kovan --reset --f 2 --to 4

Развертывание ERC20 Tornado Cash

  1. cp .env.example .env
  2. Настройте все необходимые параметры
  3. npx truffle migrate --network kovan --reset --f 2 --to 3
  4. npx truffle migrate --network kovan --reset --f 5

Примечание . Если вы хотите повторно использовать один и тот же верификатор для всех экземпляров, то после развертывания одного из экземпляров вам следует запустить только 4-ю или 5-ю миграцию для контрактов ETH или ERC20 соответственно ( --f 4 --to 4 или --f 5 ).

Как преобразовать имя ENS в имя DNS для ретранслятора

  1. Посетите https://etherscan.io/enslookup и введите имя ENS ретранслятора в форму.
  2. Скопируйте хэш имени (1) и нажмите ссылку Resolver (2).поиск
  3. Перейдите на вкладку Contract . Нажмите Read Contract и 5. text метода.
  4. Поставьте значения: резольвер
  5. Нажмите Query , и вы получите DNS-имя. Просто добавьте к нему https:// и используйте его в качестве relayer url

Кредиты

Особая благодарность @barryWhiteHat и @kobigurk за ценный вклад, а также @jbaylina за потрясающий фреймворк Circcom и Websnark.

Минимальный демонстрационный пример

  1. npm i
  2. ganache-cli -d
  3. npm run download
  4. npm run build:contract
  5. cp .env.example .env
  6. npm run migrate:dev
  7. node minimal-demo.js

Запуск тестов/покрытие

Подготовьте тестовую среду: 

   yarn install
   yarn download
   cp .env.example .env
   npx ganache-cli > /dev/null &
   npm run migrate:dev

Запустите тесты: 

   yarn test

Покрытие пробега: 

   yarn coverage

Эмуляция церемонии доверенной установки MPC 

cargo install zkutil
npx circom circuits/withdraw.circom -o build/circuits/withdraw.json
zkutil setup -c build/circuits/withdraw.json -p build/circuits/withdraw.params
zkutil export-keys -c build/circuits/withdraw.json -p build/circuits/withdraw.params -r build/circuits/withdraw_proving_key.json -v build/circuits/withdraw_verification_key.json
zkutil generate-verifier -p build/circuits/withdraw.params -v build/circuits/Verifier.sol
sed -i -e ' s/pragma solidity ^0.6.0/pragma solidity 0.5.17/g ' ./build/circuits/Verifier.sol
Расширять
Дополнительная информация
Связанные приложения
Рекомендуем вам
Связанные новости Все