tornado-core/README.md

156 lines
6.9 KiB
Markdown
Raw Normal View History

2019-12-14 09:21:26 +01:00
# Tornado Cash Privacy Solution [![Build Status](https://travis-ci.org/tornadocash/tornado-core.svg?branch=master)](https://travis-ci.org/tornadocash/tornado-core)
2019-07-13 17:00:41 +02:00
Tornado Cash is a non-custodial Ethereum and ERC20 privacy solution based on zkSNARKs. It improves transaction privacy by breaking the on-chain link between the recipient and destination addresses. It uses a smart contract that accepts ETH deposits that can be withdrawn by a different address. Whenever ETH is withdrawn by the new address, there is no way to link the withdrawal to the deposit, ensuring complete privacy.
2019-10-16 03:45:14 +02:00
To make a deposit user generates a secret and sends its hash (called a commitment) along with the deposit amount to the Tornado smart contract. The contract accepts the deposit and adds the commitment to its list of deposits.
Later, the user decides to make a withdrawal. To do that, the user should provide a proof that he or she possesses a secret to an unspent commitment from the smart contracts list of deposits. zkSnark technology allows that to happen without revealing which exact deposit corresponds to this secret. The smart contract will check the proof, and transfer deposited funds to the address specified for withdrawal. An external observer will be unable to determine which deposit this withdrawal came from.
2019-12-17 09:43:27 +01:00
You can read more about it in [this medium article](https://medium.com/@tornado.cash/introducing-private-transactions-on-ethereum-now-42ee915babe0)
2019-07-12 23:56:17 +02:00
2019-07-17 13:12:57 +02:00
## Specs
2020-10-22 18:50:15 +02:00
- Deposit gas cost: 1088354 (43381 + 50859 \* tree_depth)
2019-12-14 09:21:26 +01:00
- Withdraw gas cost: 301233
2020-10-22 18:50:15 +02:00
- Circuit Constraints = 28271 (1869 + 1325 \* tree_depth)
- Circuit Proof time = 10213ms (1071 + 347 \* tree_depth)
2019-07-17 13:12:57 +02:00
- Serverless
2019-07-13 00:38:25 +02:00
2020-05-14 11:49:56 +02:00
![image](docs/diagram.png)
2019-12-17 10:19:34 +01:00
## Whitepaper
2020-10-22 18:50:15 +02:00
2020-12-15 12:15:40 +01:00
**[TornadoCash_whitepaper_v1.4.pdf](https://tornado.cash/audits/TornadoCash_whitepaper_v1.4.pdf)**
2019-12-17 10:19:34 +01:00
2019-12-14 09:21:26 +01:00
## Was it audited?
Tornado.cash protocols, circuits, and smart contracts were audited by a group of experts from [ABDK Consulting](https://www.abdk.consulting), specializing in zero-knowledge, cryptography, and smart contracts.
2019-12-14 09:21:26 +01:00
During the audit, no critical issues were found and all outstanding issues were fixed. The results can be found here:
2019-12-14 09:21:26 +01:00
2020-12-15 12:15:40 +01:00
- Cryptographic review https://tornado.cash/audits/TornadoCash_cryptographic_review_ABDK.pdf
- Smart contract audit https://tornado.cash/audits/TornadoCash_contract_audit_ABDK.pdf
- Zk-SNARK circuits audit https://tornado.cash/audits/TornadoCash_circuit_audit_ABDK.pdf
2019-12-14 09:21:26 +01:00
Underlying circomlib dependency is currently being audited, and the team already published most of the fixes for found issues
2019-07-12 11:53:44 +02:00
2019-07-17 13:12:57 +02:00
## Requirements
2020-10-22 18:50:15 +02:00
2019-07-17 13:12:57 +02:00
1. `node v11.15.0`
2. `npm install -g npx`
## Usage
You can see example usage in cli.js, it works both in the console and in the browser.
1. `npm install`
2019-07-17 13:12:57 +02:00
1. `cp .env.example .env`
1. `npm run build` - this may take 10 minutes or more
2019-07-17 13:12:57 +02:00
1. `npx ganache-cli`
2019-10-16 03:45:14 +02:00
1. `npm run test` - optionally runs tests. It may fail on the first try, just run it again.
Use browser version on Kovan:
2019-07-17 13:12:57 +02:00
1. `vi .env` - add your Kovan private key to deploy contracts
1. `npm run migrate`
1. `npx http-server` - serve current dir, you can use any other static http server
2019-07-17 13:12:57 +02:00
1. Open `localhost:8080`
Use the command-line version. Works for Ganache, Kovan, and Mainnet:
2020-10-22 18:50:15 +02:00
2020-02-27 14:32:10 +01:00
### Initialization
2020-10-22 18:50:15 +02:00
2020-02-27 14:32:10 +01:00
1. `cp .env.example .env`
1. `npm run download`
1. `npm run build:contract`
2019-09-14 20:21:53 +02:00
2020-02-27 14:32:10 +01:00
### Ganache
2020-10-22 18:50:15 +02:00
2020-02-27 14:32:10 +01:00
1. make sure you complete steps from Initialization
1. `ganache-cli -i 1337`
2019-09-14 20:21:53 +02:00
1. `npm run migrate:dev`
2020-02-27 14:32:10 +01:00
1. `./cli.js test`
1. `./cli.js --help`
### Kovan, Mainnet
2020-10-22 18:50:15 +02:00
1. Please use https://github.com/tornadocash/tornado-cli
Reason: because tornado-core uses websnark `2041cfa5fa0b71cd5cca9022a4eeea4afe28c9f7` commit hash in order to work with local trusted setup. Tornado-cli uses `4c0af6a8b65aabea3c09f377f63c44e7a58afa6d` commit with production trusted setup of tornadoCash
2020-02-27 14:32:10 +01:00
Example:
2020-10-22 18:50:15 +02:00
2020-02-27 14:32:10 +01:00
```bash
./cli.js deposit ETH 0.1 --rpc https://kovan.infura.io/v3/27a9649f826b4e31a83e07ae09a87448
```
2020-10-22 18:50:15 +02:00
2020-02-27 14:40:21 +01:00
> Your note: tornado-eth-0.1-42-0xf73dd6833ccbcc046c44228c8e2aa312bf49e08389dadc7c65e6a73239867b7ef49c705c4db227e2fadd8489a494b6880bdcb6016047e019d1abec1c7652
> Tornado ETH balance is 8.9
> Sender account ETH balance is 1004873.470619891361352542
> Submitting deposit transaction
> Tornado ETH balance is 9
> Sender account ETH balance is 1004873.361652048361352542
```bash
./cli.js withdraw tornado-eth-0.1-42-0xf73dd6833ccbcc046c44228c8e2aa312bf49e08389dadc7c65e6a73239867b7ef49c705c4db227e2fadd8489a494b6880bdcb6016047e019d1abec1c7652 0x8589427373D6D84E98730D7795D8f6f8731FDA16 --rpc https://kovan.infura.io/v3/27a9649f826b4e31a83e07ae09a87448 --relayer https://kovan-frelay.duckdns.org
```
2020-10-22 18:50:15 +02:00
> Relay address: 0x6A31736e7490AbE5D5676be059DFf064AB4aC754
2020-02-27 14:40:21 +01:00
> Getting current state from tornado contract
> Generating SNARK proof
> Proof time: 9117.051ms
> Sending withdraw transaction through the relay
2020-02-27 14:40:21 +01:00
> Transaction submitted through the relay. View transaction on etherscan https://kovan.etherscan.io/tx/0xcb21ae8cad723818c6bc7273e83e00c8393fcdbe74802ce5d562acad691a2a7b
> Transaction mined in block 17036120
> Done
2019-08-27 22:42:24 +02:00
## Deploy ETH Tornado Cash
2020-10-22 18:50:15 +02:00
2019-08-27 22:42:24 +02:00
1. `cp .env.example .env`
1. Tune all necessary params
2019-09-16 12:07:14 +02:00
1. `npx truffle migrate --network kovan --reset --f 2 --to 4`
2019-08-27 22:42:24 +02:00
## Deploy ERC20 Tornado Cash
2020-10-22 18:50:15 +02:00
2019-08-27 22:42:24 +02:00
1. `cp .env.example .env`
1. Tune all necessary params
2019-09-16 12:07:14 +02:00
1. `npx truffle migrate --network kovan --reset --f 2 --to 3`
1. `npx truffle migrate --network kovan --reset --f 5`
2019-08-27 22:42:24 +02:00
**Note**. If you want to reuse the same verifier for all the instances, then after you deployed one of the instances you should only run the 4th or 5th migration for ETH or ERC20 contracts respectively (`--f 4 --to 4` or `--f 5`).
2019-08-27 22:42:24 +02:00
2020-05-14 11:49:56 +02:00
## How to resolve ENS name to DNS name for a relayer
2020-10-22 18:50:15 +02:00
2020-05-14 11:49:56 +02:00
1. Visit https://etherscan.io/enslookup and put relayer ENS name to the form.
2. Copy the namehash (1) and click on the `Resolver` link (2)
2020-10-22 18:50:15 +02:00
![enslookup](docs/enslookup.png)
3. Go to the `Contract` tab. Click on `Read Contract` and scroll down to the `5. text` method.
2020-05-14 11:49:56 +02:00
4. Put the values:
2020-10-22 18:50:15 +02:00
![resolver](docs/resolver.png)
2020-05-14 11:49:56 +02:00
5. Click `Query` and you will get the DNS name. Just add `https://` to it and use it as `relayer url`
2019-07-17 13:12:57 +02:00
## Credits
2019-07-12 11:53:44 +02:00
2019-07-24 16:09:37 +02:00
Special thanks to @barryWhiteHat and @kobigurk for valuable input,
and @jbaylina for awesome [Circom](https://github.com/iden3/circom) & [Websnark](https://github.com/iden3/websnark) framework
2020-02-28 11:42:46 +01:00
## Minimal demo example
2020-10-22 18:50:15 +02:00
2020-02-28 11:42:46 +01:00
1. `npm i`
1. `ganache-cli -d`
1. `npm run download`
1. `npm run build:contract`
2020-02-28 11:42:46 +01:00
1. `cp .env.example .env`
1. `npm run migrate:dev`
1. `node minimal-demo.js`
2020-05-22 12:50:12 +02:00
## Emulate MPC trusted setup ceremony
2020-10-22 18:50:15 +02:00
2020-05-22 12:50:12 +02:00
```bash
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
```