Semaphore Trusted Setup MPC Data

Powers of Tau (Phase 1) Files

pot13_final.ptau
pot14_final.ptau

Circuits

Semaphore 16 Levels

Semaphore 17 Levels

Semaphore 18 Levels

Semaphore 19 Levels

Semaphore 20 Levels

Semaphore 21 Levels

Semaphore 22 Levels

Semaphore 23 Levels

Semaphore 24 Levels

Semaphore 25 Levels

Semaphore 26 Levels

Semaphore 27 Levels

Semaphore 28 Levels

Semaphore 29 Levels

Semaphore 30 Levels

Semaphore 31 Levels

Semaphore 32 Levels

Semaphore 64 Levels

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@0.6.11
```

Note: snarkjs releases up to version 0.6.11 are able to verify the zkey files successfully. Later releases will not work.

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!