tornado-core/README.md

50 lines
2.8 KiB
Markdown
Raw Normal View History

2019-07-19 04:50:54 +02:00
# Tornado mixer [![Build Status](https://travis-ci.org/peppersec/tornado-mixer.svg?branch=master)](https://travis-ci.org/peppersec/tornado-mixer)
2019-07-13 17:00:41 +02:00
2019-07-17 13:12:57 +02:00
![mixer image](./mixer.png)
2019-07-12 23:56:17 +02:00
2019-07-17 13:12:57 +02:00
## Specs
- Deposit gas cost: deposit 888054
- Withdraw gas cost: 692133
2019-07-13 00:38:25 +02:00
- Circuit constraints: 22617
2019-07-17 13:12:57 +02:00
- Circuit proving time: 6116ms
- Serverless
2019-07-13 00:38:25 +02:00
2019-07-17 13:12:57 +02:00
## Security risks
2019-07-13 00:38:25 +02:00
* Cryptographic tools used by mixer (zkSNARKS, Pedersen commitment, MiMC hash) are not yet extensively audited by cryptographic experts and may be vulnerable
* Note: we use MiMC hash only for merkle tree, so even if a preimage attack on MiMC is discovered, it will not allow to deanonymize users or drain mixer funds
* Relayer is frontrunnable. When relayer submits a transaction someone can see it in tx pool and frontrun it with higher gas price to get the fee and drain relayer funds.
* Workaround: we can set high gas price so that (almost) all fee is used on gas. The relayer will not receive profit this way, but this approach is acceptable until we develop more sophisticated system that prevents frontrunning
* Bugs in contract. Even though we have an extensive experience in smart contract security audits, we can still make mistakes. An external audit is needed to reduce probablility of bugs
2019-07-15 21:19:34 +02:00
* Nullifier griefing. when you submit a withdraw transaction you reveal the nullifier for your note. If someone manages to
make a deposit with the same nullifier and withdraw it while your transaction is still in tx pool, your note will be considered
2019-07-13 01:17:35 +02:00
spent since it has the same nullifier and it will prevent you from withdrawing your funds
* This attack doesnt't provide any profit for the attacker
* This can be solved by storing block number for merkle root history, and only allowing to withdraw using merkle roots that are older than N ~10-20 blocks.
It will slightly reduce anonymity set (by not counting users that deposited in last N blocks), but provide a safe period for mining your withdrawal transactions.
2019-07-12 11:53:44 +02:00
2019-07-17 13:12:57 +02:00
## Requirements
1. `node v11.15.0`
2. `npm install -g npx`
## Usage
1. `npm i`
1. `cp .env.example .env`
1. `npm run build:circuit` - may take 10 minutes or more
1. `npm run build:contract`
1. `npm run browserify`
1. `npm run test` - optionally run tests. It may fail for the first time, just run one more time.
1. `npx ganache-cli`
1. `npm run migrate:dev`
1. `./cli.js deposit`
1. `./cli.js withdraw <note from previous step> <destination eth address>`
1. `./cli.js balance <destination eth address>`
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 http server
1. Open `localhost:8080`
## Credits
2019-07-12 11:53:44 +02:00
2019-07-17 13:12:57 +02:00
Special thanks to @barryWhiteHat and @kobigurk for valuable input,
and to @jbaylina for awesome [Circom](https://github.com/iden3/circom) & [Websnark](https://github.com/iden3/websnark) framework