feat: mina verifiers

[MarcosNicolau]

Description

Description of the pull request changes and motivation.

All credits go to #506. This pr syncs with upstream and solves the conflics.

How to test

1. Start anvil

make anvil_start

2. Start aggregator

make aggregator_start ENVIRONMENT=devnet

3. Start operator

make operator_full_registration_and_start ENVIRONMENT=devnet CONFIG_FILE=config-files/config-operator-1.yaml

4. Start batcher

make batcher_start_local

5. Send mina state proofs:

make batcher_send_mina_burst

6. Send mina account proofs:

make batcher_send_mina_account_burst

7. Send mina state with bad

make batcher_send_mina_task_bad_hash

Testing Mina Bridge

Setup Aligned
Follow instructions above to setup aligned locally.

Setup Mina node

1. Clone Mina repo
2. Checkout to commit ``
3. Go to dev and modify the docker image
4. Start the mina node
5. If you get this err, remove _opan folder from the host

Setup mina Bridge

1. Clone mina bridge repo
2. Fill variables
3. Deploy contracts
4. Fill missing variables
5. Send proofs

Type of change

Please delete options that are not relevant.

• New feature

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 crates/docs/examples
  • This PR updates batcher and docs/examples to the newer version. This requires the operator are already updated to be compatible

[MarcosNicolau]

Undo:

Suggested change

	- Start the explorer on <http://localhost:4000>.
	- Start the explorer on http://localhost:4000.