tornado core

Solução de privacidade Tornado Cash

Tornado Cash é uma solução de privacidade Ethereum e ERC20 sem custódia baseada em zkSNARKs. Ele melhora a privacidade das transações ao quebrar o link da cadeia entre o destinatário e os endereços de destino. Utiliza um contrato inteligente que aceita depósitos ETH que podem ser sacados em um endereço diferente. Sempre que o ETH é sacado pelo novo endereço, não há como vincular o saque ao depósito, garantindo total privacidade.

Para fazer um depósito, o usuário gera um segredo e envia seu hash (chamado de compromisso) junto com o valor do depósito para o contrato inteligente Tornado. O contrato aceita o depósito e adiciona o compromisso à sua lista de depósitos.

Posteriormente, o usuário decide fazer um saque. Para fazer isso, o usuário deve fornecer uma prova de que possui o segredo de um compromisso não gasto da lista de depósitos do contrato inteligente. A tecnologia zkSnark permite que isso aconteça sem revelar qual depósito exato corresponde a esse segredo. O contrato inteligente verificará o comprovante e transferirá os fundos depositados para o endereço especificado para retirada. Um observador externo não será capaz de determinar de qual depósito veio esse saque.

Você pode ler mais sobre isso neste artigo do Medium

Especificações

• Custo do gás de depósito: 1088354 (43381 + 50859 * tree_profundidade)
• Retirar custo do gás: 301233
• Restrições de circuito = 28271 (1869 + 1325 * tree_profundidade)
• Tempo de prova do circuito = 10213ms (1071 + 347 * tree_profundidade)
• Sem servidor

Artigo

TornadoCash_whitepaper_v1.4.pdf

Foi auditado?

Os protocolos, circuitos e contratos inteligentes do Tornado.cash foram auditados por um grupo de especialistas da ABDK Consulting, especializada em conhecimento zero, criptografia e contratos inteligentes.

Durante a auditoria, nenhum problema crítico foi encontrado e todos os problemas pendentes foram corrigidos. Os resultados podem ser encontrados aqui:

• Revisão criptográfica https://tornado.cash/audits/TornadoCash_cryptographic_review_ABDK.pdf
• Auditoria de contrato inteligente https://tornado.cash/audits/TornadoCash_contract_audit_ABDK.pdf
• Auditoria de circuitos Zk-SNARK https://tornado.cash/audits/TornadoCash_circuit_audit_ABDK.pdf

A dependência subjacente do circcomlib está sendo auditada e a equipe já publicou a maioria das correções para os problemas encontrados

Requisitos

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

Uso

Você pode ver um exemplo de uso em cli.js, funciona tanto no console quanto no navegador.

1. npm install
2. cp .env.example .env
3. npm run build – isso pode levar 10 minutos ou mais
4. npx ganache-cli
5. npm run test - opcionalmente executa testes. Pode falhar na primeira tentativa, basta executá-lo novamente.

Use a versão do navegador no Kovan:

1. vi .env - adicione sua chave privada Kovan para implantar contratos
2. npm run migrate
3. npx http-server - serve o diretório atual, você pode usar qualquer outro servidor http estático
4. Abra localhost:8080

Use a versão da linha de comando. Funciona para Ganache, Kovan e Mainnet:

Inicialização

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

Ganache

1. certifique-se de concluir as etapas da inicialização
2. ganache-cli -i 1337
3. npm run migrate:dev
4. ./cli.js test
5. ./cli.js --help

Kovan, rede principal

1. Use https://github.com/tornadocash/tornado-cli Motivo: porque tornado-core usa websnark 2041cfa5fa0b71cd5cca9022a4eeea4afe28c9f7 commit hash para trabalhar com configuração confiável local. Tornado-cli usa 4c0af6a8b65aabea3c09f377f63c44e7a58afa6d commit com configuração confiável de produção do tornadoCash

Exemplo:

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

Sua nota: tornado-eth-0.1-42-0xf73dd6833ccbcc046c44228c8e2aa312bf49e08389dadc7c65e 6a73239867b7ef49c705c4db227e2fadd8489a494b6880bdcb6016047e019d1abec1c7652 O saldo do Tornado ETH é 8,9 O saldo ETH da conta do remetente é 1004873,470619891361352542 Enviando transação de depósito O saldo do Tornado ETH é 9 O saldo ETH da conta do remetente é 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

Endereço do relé: 0x6A31736e7490AbE5D5676be059DFf064AB4aC754 Obtendo o estado atual do contrato de tornado Gerando prova SNARK Tempo de prova: 9117.051ms Enviando transação de retirada através do relé Transação enviada através do relé. Ver transação no etherscan https://kovan.etherscan.io/tx/0xcb21ae8cad723818c6bc7273e83e00c8393fcdbe74802ce5d562acad691a2a7b Transação extraída no bloco 17036120 Concluído

Implantar ETH Tornado Cash

1. cp .env.example .env
2. Ajuste todos os parâmetros necessários
3. npx truffle migrate --network kovan --reset --f 2 --to 4

Implantar dinheiro Tornado ERC20

1. cp .env.example .env
2. Ajuste todos os parâmetros necessários
3. npx truffle migrate --network kovan --reset --f 2 --to 3
4. npx truffle migrate --network kovan --reset --f 5

Observação . Se você quiser reutilizar o mesmo verificador para todas as instâncias, depois de implantar uma das instâncias, você deverá executar apenas a 4ª ou 5ª migração para contratos ETH ou ERC20 respectivamente ( --f 4 --to 4 ou --f 5 ).

Como resolver o nome ENS para o nome DNS de um retransmissor

1. Visite https://etherscan.io/enslookup e coloque o nome ENS do relé no formulário.
2. Copie o namehash (1) e clique no link Resolver (2)
3. Vá para a guia Contract . Clique em Read Contract e role para baixo até o método 5. text .
4. Coloque os valores:
5. Clique em Query e você obterá o nome DNS. Basta adicionar https:// a ele e usá-lo como relayer url

Créditos

Agradecimentos especiais a @barryWhiteHat e @kobigurk pelas valiosas contribuições, e @jbaylina pela incrível estrutura Circom & Websnark

Exemplo de demonstração mínima

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

Execute testes/cobertura

Prepare o ambiente de teste:

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

Execute testes:

   yarn test

Cobertura de execução:

   yarn coverage

Emular cerimônia de configuração confiável do 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