Create a package for Circom circuits

[cedoor]

Tasks:

• Create @zk-kit/circuits package
• Create merkle-root.circom
• Create poseidon-proof.circom
• Support multiple zk languages (currently Noir and Circom)
• Document packages
• Add tests
  • Set env
  • MT tests
  • Poseidon-proof tests
• Add more info to readme file

[fabianschu]

Hey @cedoor, how do you feel about adding Noir circuits as well? I've been working on a Noir implementation of your SMT implementation and was wondering if this repo might be a good place for it to live on.

[cedoor]

Hey @cedoor, how do you feel about adding Noir circuits as well? I've been working on a Noir implementation of your SMT implementation and was wondering if this repo might be a good place for it to live on.

Hey @fabianschu, I think that would be great! We could create 1 folder for each language: packages/circuits/circom, packages/circuits/noir. How does it sound?

[fabianschu]

Sounds great to me. I would create an issue and a PR when I've finished the circuits. Would that make sense?

[cedoor]

Sounds great to me. I would create an issue and a PR when I've finished the circuits. Would that make sense?

Yes, it makes sense. If the feat/circuits hasn't been merged into main yet, you can directly merge your PR into it 👍🏽

I've just pushed a commit for supporting multiple languages. You can take a look at the structure here: https://github.com/privacy-scaling-explorations/zk-kit/tree/feat/circuits/packages/circuits.

I don't know Noir but it could be nice to have some scripts for compiling Noir circuits too, like:

zk-kit/packages/circuits/package.json

Lines 15 to 16 in 3f1ccad

	"circom:compile": "circomkit compile",
	"circom:setup": "circomkit setup"