feat(circuits): add tests and Noir circuits for pedersen and poseidon2 proving

[signorecello]

Description

Added two more circuits to Noir's SMT proving circuits, namely with Poseidon2 and Pedersen. The only one there was using a very unoptimized poseidon1 hash. This makes SMT proving several times faster (3-5s).

Of course, to go with it, I also added tests to @zk-kit/smt. I refactored them with the handy Jest .each so it tests the three hashes at once 🙂

Other information

Hopefully a nice beginning of Aztec >< PSE collaboration in adding more Noir stuff to this repository!

Checklist

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

[gitpoap-bot[bot]]

Congrats, your important contribution to this open-source project has earned you a GitPOAP!

GitPOAP: 2024 ZK-KIT Contributor:

Head to gitpoap.io & connect your GitHub account to mint!

Learn more about GitPOAPs here.