ZKOPRU Trusted Setup MPC Data

Powers of Tau (Phase 1) Files

pot15_final.ptau
pot16_final.ptau
pot17_final.ptau

Circuits

Circuit 1	Circuit 5	Circuit 9	Circuit 13
Circuit 2	Circuit 6	Circuit 10	Circuit 14
Circuit 3	Circuit 7	Circuit 11	Circuit 15
Circuit 4	Circuit 8	Circuit 12	Circuit 16

How to verify

You can verify any contribution by downloading the required files and using a command line instruction to run the verification

Node.js, version 12 or higher
Install snarkjs:
```
npm install -g snarkjs
```

Download the Powers-of-Tau file (see circuit page to find which is required)
Download the contribution zkey file you wish to verify

then

Download the circuit's .r1cs file
Run the verification command:
```
snarkjs zkv [.r1cs] [.ptau] [.zkey]
```

or

Download the initial zkey file (contribution 0)

Run the verification command:

snarkjs zkvi [cxx_0000.zkey] [.ptau] [.zkey]

A successful verification will end with:

[INFO]  snarkJS: ZKey Ok!