Split SemaphoreVerifier key points into a separate library

[jimmychu0807]

Split SemaphoreVerifier key points into a separate library and transform all verification key points into one big bytes constant.

Also added a small script that convert decimal bigint to hex string.

Related Issue(s)

Closes #330

Related: #345

Other information

gas cost collected from yarn test:report-gas:

Original:

• Semaphore.validateProof: 315474
• Deployment SemaphoreVerifier: 10580752

With this PR:

• Semaphore.validateProof: 295635
• Deployment SemaphoreVerifier: 390597
• Deployment SemaphoreVerifierKeyPts: 3256579

@cedoor should I make a PR to semaphore main branch, or some other branch?

cc @saleel

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
• My changes generate no new warnings
• I have run yarn format and yarn lint 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

[openzeppelin-code]

Split SemaphoreVerifier key points into a separate library

Generated at commit: 0d544cd563cadd78e4f910891eed5cea69f7f3d3

🚨 Report Summary

	Severity Level	Results
Contracts	Critical High Medium Low Note Total	0 0 0 3 15 18
Dependencies	Critical High Medium Low Note Total	0 0 0 0 0 0

---

For more details view the full report in OpenZeppelin Code Inspector

[cedoor]

Thanks @jimmychu0807! Pointing to the main branch is ok 👍🏽

[cedoor]

LGTM 👍🏽

[saleel]

Looks good.

[gitpoap-bot]

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

GitPOAP: 2024 Semaphore Contributor:

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

Learn more about GitPOAPs here.