Skip to content

Commit d46ef6b

Browse files
authored
Merge pull request #1 from worldcoin/dcbuild3r/fix-docs
update readme
2 parents a9c5e12 + 7d81b34 commit d46ef6b

File tree

1 file changed

+9
-12
lines changed

1 file changed

+9
-12
lines changed

README.md

Lines changed: 9 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -24,30 +24,27 @@ This phase is circuit-specific, so if you have `n` circuits, then you need to ru
2424

2525
### snarkjs Powers of Tau deserialization
2626

27-
Download the power 27 `.ptau` file from the [`snarkjs` repository](https://github.com/iden3/snarkjs#7-prepare-phase-2) by running the following command:
27+
Download the Powers of Tau () (`.ptau`) file you need corresponding to the amount of constraints in your circuit from the [`snarkjs` repository](https://github.com/iden3/snarkjs#7-prepare-phase-2).
2828

29-
```bash
30-
wget https://hermez.s3-eu-west-1.amazonaws.com/powersOfTau28_hez_final_27.ptau -O 27.ptau
31-
```
32-
33-
For larger or smaller `.ptau` files, check out the `snarkjs` repository's [README](https://github.com/iden3/snarkjs/tree/master#7-prepare-phase-2) for more information.
34-
35-
Remember that you need sufficiently high powers of tau ceremony to generate a proof for a circuit with a given amount of constraints:
29+
Remember that you need sufficiently high powers of tau ceremony to generate a proof for a circuit with a given amount of constraints ($2^{POW_OF_TAU} >= CIRCUIT_CONSTRAINTS$):
3630

3731
Import phase 1 by deserializing a .ptau file: `semaphore-mtb-setup p1i <ceremony.ptau> <lastPhase1Contribution.ph1>`.
3832

3933
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:
4034

4135
```bash
42-
git clone https://github.com/worldcoin/semaphore-mtb.git && git checkout wip/mk/r1cs-export
36+
cd ..
37+
git clone https://github.com/worldcoin/semaphore-mtb.git
38+
cd semaphore-mtb
4339
go build
44-
./gnark-mbu r1cs --tree-depth=<TREE_DEPTH> --batch-size=<BATCH_SIZE> --output=demo_smtb.r1cs
40+
./gnark-mbu r1cs --mode <insertion/deletion> --tree-depth=<TREE_DEPTH> --batch-size=<BATCH_SIZE> --output=demo_smtb.r1cs
41+
cd ..
4542
```
4643

4744
Move the file into the `semaphore-mtb-setup` directory:
4845

4946
```bash
50-
mv semaphore-mtb/demo_smtb.r1cs semaphore-mtb-setup/smtb.r1cs
47+
mv ./semaphore-mtb/demo_smtb.r1cs ./semaphore-mtb-setup/smtb.r1cs
5148
```
5249

5350
### Initialization
@@ -73,7 +70,7 @@ This is a sequential process that will be repeated for each contributor.
7370

7471
## Keys Extraction
7572

76-
At the end of the ceremony, the coordinator runs `semaphore-mtb-setup keys <lastPhase2Contribution.ph2>` which will output **Groth16 bn254 curve** `pk` and `vk` files
73+
At the end of the ceremony, the coordinator runs `semaphore-mtb-setup key <lastPhase2Contribution.ph2>` which will output **Groth16 bn254 curve** `pk` and `vk` files
7774

7875
## Phase 1 (Powers of Tau)
7976

0 commit comments

Comments
 (0)