Skip to content

personaelabs/heyanon-circuits

Folders and files

NameName
Last commit message
Last commit date

Latest commit

author
Vivek Bhupatiraju
Sep 14, 2022
7aa9c15 · Sep 14, 2022

History

7 Commits
Jun 23, 2022
Jun 23, 2022
Jun 23, 2022
Jun 23, 2022
Sep 2, 2022
Jun 23, 2022
Jun 23, 2022
Jun 23, 2022
Jul 4, 2022
Sep 14, 2022
Sep 2, 2022
Sep 2, 2022
Sep 2, 2022

Repository files navigation

Personae Labs Circuits

Circuits for heyanon and other projects!

Setup

(from https://github.com/0xPARC/cabal/blob/main/circuits/README.md)

After you clone the repo, from the root of the repo run:

git submodule update --init

Follow the intructions here to get circom2 (the ZKSnark compiler) installed in your system https://docs.circom.io/getting-started/installation/

You should probably also install VSCode extension to work with circom.

To install dependencies.

yarn
cd circom-ecdsa
yarn

Download a Powers of Tau file with 2^21 constraints and copy it into the circuits subdirectory of the project, with the name pot21_final.ptau. We do not provide such a file in this repo due to its large size. You can download and copy Powers of Tau files from the Hermez trusted setup from this repository.

Compiling circuits into prover/verifier keys

Follow the scripts in /scripts in order to generate chunked zkeys for this circuit. You will need a machine with large RAM and SWAP to perform these operations, we used a r5.4xlarge AWS machine to generate everything.