chore(dev): targets to verify aggregated proof for every network

[MarcosNicolau]

Description

Previously, the target to verify if a proof was aggregated was hardcoded for holesky-stage. Since we now have ethereum-package and holesky, the target was updated to support every network. Also, based on the NETWORK param the RPC_URL and BEACON_URL are automatically set to public nodes.

How to test

1. Start ethereum package: make ethereum_package_start
2. Start batcher: make batcher_start_ethereum_package
3. Send proofs: make batcher_send_sp1_burst && make batcher_send_risc0_burst
4. Run aggregator: make start_proof_aggregator AGGREGATOR=sp1|risc0
5. Verify the proofs have been aggregated:

make verify_aggregated_proof_sp1 FROM_BLOCK=0
make verify_aggregated_proof_risc0 FROM_BLOCK=0

6. You should also test the same command for holesky and holesky-stage

make verify_aggregated_proof_sp1 FROM_BLOCK=<LOOK_IN_EXPLORER> NETWORK=holesky-stage
make verify_aggregated_proof_risc0 FROM_BLOCK=<LOOK_IN_EXPLORER> NETWORK=holesky-stage

Type of change

• Dev experience

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