feat(identity-proof): add identity-proof circuit/package

[cedoor]

Description

This PR moves the eddsa-proof package and its circuit from the ZK-Kit repo to this one and renames it to identity-proof, as the circuit is actually quite related to Semaphore. The circuit has also been updated to reflect the recent changes in the Semaphore circuit (Baby Jubjub bug).

identity-proof allows devs to prove they own a Semaphore identity without revealing the private key.

Before merging this PR, it is necessary to update the SNARK artifacts on the snark-artifacts repo.

Related Issue(s)

Re zk-kit/zk-kit#282

Checklist

• My code follows the style guidelines of this project
• I have performed a self-review of my code
• I have commented my code, particularly in hard-to-understand areas
• I have made corresponding changes to the documentation
• My changes generate no new warnings
• I have run yarn style without getting any errors
• I have added tests that prove my fix is effective or that my feature works
• New and existing unit tests pass locally with my changes
• Any dependent changes have been merged and published in downstream modules

[vercel]

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name	Status	Preview	Comments	Updated (UTC)
semaphore-benchmarks	✅ Ready (Inspect)	Visit Preview	💬 Add feedback	May 20, 2024 5:49pm