feat: Implement Semaphore Verifier contract

[MPSxDev]

Semaphore Verifier contract

📝 Summary

This migrate Semaphore Verifier to Soroban

🔗 Related Issues

• Closes [Semaphore Integration] Issue 4: Finalize Semaphore Verifier Contract Implementation #2

🔄 Changes Made

• Add a new verifier directory for the new contract
• Add dependencies to the Cargo.toml file
• Add functions in src/lib.rs

🧪 Testing

Code compile directly as Rust , but not when implemented as a smart contract in Soroban.

🖼️ Screenshots & Resources

✅ Self-Check for Contribution Requirements

Mark with an x all the checkboxes that apply (like [x]).

• Forked the repository and created a new branch with a meaningful name.
• Ensured that the content is clear and free of grammatical errors.
• Maintained consistency in tone and formatting throughout the document.
• Verified that all links work correctly and checked for typos before submitting the changes.
• Used the conventional commit format for commit messages.
• Thoroughly tested changes, including unit tests if applicable.

💬 Comments

The code compiles successfully as Rust, but encounters issues when implemented as a smart contract in Soroban. This presents a significant challenge. Alternative libraries are being tested, but a full solution requires further investigation given the current time constraints.
Several code versions were created using different methods; the latest is still under investigation, requiring additional development time to fully address the issue.

[bitfalt]

hiii @MPSxDev, just wondering how you're doing so far and if you are having any problems besides the libraries not working for Soroban.

[evgongora]

Will use this as a reference, Protocol 22 update will now be leveraged. https://github.com/stellar/stellar-protocol/blob/master/core/cap-0059.md