feat: build automated Circom compilation pipeline and test verification

[Devadakene]

Closes #820

Summary

This PR addresses build inconsistencies from manual circuit compilation by introducing an automated Circom compilation pipeline and integrating structural constraint verification into the test suite.

Related Issue

Closes #[Issue Number]

Type of Change

• Feature
• Bug fix
• Refactor
• Documentation

Changes Made

• Added scripts/compile-circuits.sh to automatically download the Powers of Tau file if missing and generate WASM provers, .zkey files (initial and phase-2 contributed), verification_key.json, and Solidity Verifier contracts.
• Updated zk-proof-service/lib/circom-fuzzer.test.js to invoke the auditCircuits validator during standard jest test execution, automatically verifying that all .circom files are structurally constrained to prevent proof forgery.

Validation

• cargo fmt --all (if contract changed)
• npm run lint in frontend (if frontend changed)
• Manual verification completed

Screenshots (if UI changes)

N/A

Checklist

• Scope is focused and avoids unrelated changes
• Commit messages are clear
• Documentation updated when needed
• ETA was provided when requesting assignment for the linked issue

[vercel]

Someone is attempting to deploy a commit to the Ayomide Adeniran's projects Team on Vercel.

A member of the Team first needs to authorize it.

[drips-wave]

@Devadakene Great news! 🎉 Based on an automated assessment of this PR, the linked Wave issue(s) no longer count against your application limits.

You can now already apply to more issues while waiting for a review of this PR. Keep up the great work! 🚀

Learn more about application limits

[ayomideadeniran]

pr under review, i will get back to you if i find any wrong implementations