https://github.com/dcbuild3r/ptau-deserializer
.ptau deserializer for gnark groth16 bn254 trusted setup
https://github.com/dcbuild3r/ptau-deserializer
cryptography gnark powers-of-tau snarkjs zk-snarks
Last synced: 2 months ago
JSON representation
.ptau deserializer for gnark groth16 bn254 trusted setup
- Host: GitHub
- URL: https://github.com/dcbuild3r/ptau-deserializer
- Owner: dcbuild3r
- License: mit
- Created: 2023-06-19T09:37:39.000Z (almost 2 years ago)
- Default Branch: main
- Last Pushed: 2024-05-27T21:36:44.000Z (about 1 year ago)
- Last Synced: 2025-03-23T23:33:43.646Z (2 months ago)
- Topics: cryptography, gnark, powers-of-tau, snarkjs, zk-snarks
- Language: Go
- Homepage:
- Size: 10.3 MB
- Stars: 25
- Watchers: 3
- Forks: 10
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# ptau-deserializer
.zkey and .ptau deserializer for gnark groth16 bn254 trusted setup
## Usage
Convert a `.ptau` file to a `.ph1` file:
```bash
go run main.go convert --input .ptau --output .ph1
```
Initialize phase2 of the trusted setup ceremony using the [`semaphore-mtb-setup` coordinator](https://github.com/worldcoin/semaphore-mtb-setup/) (wrapper of [`gnark/backend/groth16/bn254/mpcsetup`](https://github.com/ConsenSys/gnark/tree/develop/backend/groth16/bn254/mpcsetup)):
```bash
go run main.go initialize --input .ph1 --r1cs .r1cs --output .ph2
```
## Setup
Download a `.zkey` file from the [PSE Snark artifact page for semaphore](https://www.trusted-setup-pse.org/#Semaphore) by running the following command:
```bash
wget https://www.trusted-setup-pse.org/semaphore/16/semaphore.zkey -O deserialize/semaphore_16.zkey
```
Download the `.ptau` file from the [`snarkjs` repository](https://github.com/iden3/snarkjs#7-prepare-phase-2) by running the following command:
```bash
wget https://hermez.s3-eu-west-1.amazonaws.com/powersOfTau28_hez_final_08.ptau -O deserialize/08.ptau
```
For larger `.ptau` files, checkout the `snarkjs` repository's [README](https://github.com/iden3/snarkjs/tree/master#7-prepare-phase-2) for more information.
Remember that you need sufficiently high powers of tau ceremony to generate a proof for a circuit with a given amount of constraints:
```text
2^{POWERS_OF_TAU} >= CONSTRAINTS
```
To get a sample r1cs file from `semaphore-mtb`, checkout the [`semaphore-mtb` repository](https://github.com/worldcoin/semaphore-mtb.git) and run the following command:
```bash
git clone https://github.com/worldcoin/semaphore-mtb.git && git checkout wip/mk/r1cs-export
go build
./gnark-mbu r1cs --tree-depth=10 --batch-size=15 --output=demo_smtb.r1cs
```
Move the file to into `deserialize` directory:
```bash
mv semaphore-mtb/demo_smtb.r1cs ptau-deserializer/deserialize/demo_smtb.r1cs
```
If you want to see the byte representation of the `.ptau` file, run the following command:
```bash
hexdump -C deserialize/08.ptau > deserialize/08.ptau.hex
```
Same applies for the `.zkey` file:
```bash
hexdump -C deserialize/semaphore_16.zkey > deserialize/semaphore_16.zkey.hex
```
## Testing
To test, run:
```bash
cd deserialize && go test -v
```