Migrate go-circom-prover-verifier to go-rapidsnark

Description

go-circom-prover-verifier is deprecated in favor of go-rapidsnark https://github.com/iden3/go-rapidsnark

How to Test

1. Start Ethereum Package

make ethereum_package_start

2. Start batcher

cargo clean --manifest-path ./crates/batcher/Cargo.toml
make batcher_start_ethereum_package

3. Start aggregator

make aggregator_start_ethereum_package ENVIRONMENT=devnet

4. Start operator

Note: You need to rebuild ffis

make build_all_ffi
make operator_full_registration CONFIG_FILE=config-files/config-operator-1-ethereum-package.yaml ENVIRONMENT=devnet
make operator_start CONFIG_FILE=config-files/config-operator-1-ethereum-package.yaml ENVIRONMENT=devnet

5. Start explorer

make explorer_clean_db
make explorer_start

7. Send proofs

make aligned_install_compiling
make batcher_send_circom_groth16_bn256_task
make batcher_send_circom_groth16_bn256_burst

8. Check the proofs are verified in the explorer (http://localhost:4000/)

Note: Examples in docs won't work in Holesky until the deploy is done.

Type of change

• Refactor

Checklist

• “Hotfix” to testnet, everything else to staging
• Linked to Github Issue
• This change depends on code or research by an external entity
  • Acknowledgements were updated to give credit
• Unit tests added
• This change requires new documentation.
  • Documentation has been added/updated.
• This change is an Optimization
  • Benchmarks added/run
• Has a known issue
  • Link to the open issue addressing it
• If your PR changes the Operator compatibility (Ex: Upgrade prover versions)
  • This PR adds compatibility for operator for both versions and do not change batcher/docs/examples
  • This PR updates batcher and docs/examples to the newer version. This requires the operator are already updated to be compatible