Tornado Cash with Halo2

• tornado-nova

  1 118 10.0 Solidity

  Discontinued Tornado privacy pool with internal transactions (by tornadocash)

  

We are going to rewrite the “original” Tornado. Not Tornado Nova. Nova is a newer version which is really interesting too but more complicated, so won’t look into it for now.

• tornado-core

  9 859 3.9 JavaScript

  Discontinued Tornado cash. Non-custodial private transactions on Ethereum.

  

This is the repo we’re going to look at: Tornado core.

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• halo2

  2 181 9.2 Rust
  

Circuits were written with Circom and that’s what we’re going to change. We’ll rewrite those circuits with Halo2, the PSE implementation (the KZG one, i’ll tell you more about it in the next section).

• halo2-experiments

  1 15 10.0 Rust

  Discontinued For practice to using halo2

  

Ok… before going any further I have something to disclose. A lot of the code that I’m going to show you next, I haven’t written it myself. Most of the Hash chip and the Merkle chip are “heavily inspired” (ok… mostly copied) from https://github.com/summa-dev/halo2-experiments

• halo2-merkle-tree

  1 15 2.3 Rust

(which is itself “inspired” by https://github.com/jtguibas/halo2-merkle-tree 😁). So we can say thanks to Enrico, Jin and John.

• tornado-halo2

  1 3 5.6 Rust

  Tornado Cash circuits written with Halo2

Here’s the final code, so you can follow along and run it yourself.

Suggest a related project