vacp2p
/
research
mirror of https://github.com/vacp2p/research.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
research/circom-tests/circom2
History
s1fr0 9abea7bde8
add rln test keys/proofs 		2022-06-02 19:55:28 +02:00
..
poseidon replicate circom output in ark-circom 2022-05-23 21:35:41 +02:00
rln add rln test keys/proofs 2022-06-02 19:55:28 +02:00
template replicate circom output in ark-circom 2022-05-23 21:35:41 +02:00
README.md replicate circom output in ark-circom 2022-05-23 21:35:41 +02:00
create add rln 2022-06-02 19:54:07 +02:00
pot replicate circom output in ark-circom 2022-05-23 21:35:41 +02:00

README.md

Experimenting with Circom

Some automation

  • To run Phase 1 of Powers Of Tau Ceremony:

./pot

  • To create a new project from template:

./create project_name

  • To build a project (circuit compilation + witness generation + Phase 2 + proof generation + proof verification), cd into the project folder, update input.json with a correct input for the circuit and
make
  • To compute a witness for a given input, update input.json and
make witness
  • To generate a proof and verify it (witness for input.json will be recomputed):
make proof