feat: disable verifiers

[MarcosNicolau]

Changes
This pr introduces proving systems or verifiers blacklisting through a new bitmap field in the ServiceManager contract. The batcher and operator, before doing a verification, they make sure that the proving system is indeed whitelisted by calling isVerifierValid function in the ServiceManager contract.

It also includes the verification for disabled verifiers in the operators and the batcher logic. For the batcher it will now check for every new block if the disabled verifiers have changed, in the afirmative case it checks all the proofs inside the batcher queue and remove all of them indistinctly if it was a proof using the disabled verifier or not.

Test
You can test this following these steps:

• Set up and run all the different components (anvil, aggregator, operator and batcher)
• In another terminal run make batcher_send_burst_groth16 just to keep generating new proofs and avoid problems trying to submit repeated batches.
• To update the blacklisted verifiers bitmap you can use the following makefile target that sends a transaction to the service manager with the function signature disableVerifier(uint8). The VERIFIER_ID=3 variable will disable the SP1 verifier:

make verifier_disable_devnet VERIFIER_ID=3

• Try to send a sp1 proof that it should be rejected by the batcher: make batcher_send_sp1_task.
• Whitelist the verifier doing:

make verifier_enable_devnet VERIFIER_ID=3

• Try to send a sp1 proof and it should be working again: make batcher_send_sp1_task.

If you want to try and disable all the other verifiers run the same command mentioned above changing the VERIFIER_ID
that is the ID corresponding to the ProvingSystemId enum in the proving_systems.go file, being GnarkPlonkBls12_381 the id 0.

Disabled verifiers in the batch queue testing

1. Start the Aligned components (anvil, aggregator, and operator).

2. Open the batcher's configuration file at config-files/config-batcher.yaml and adjust the following parameters:

   block_interval: 100000
   batch_size_interval: 4
   

   This ensures the batch won't be submitted while sending valid proofs, but the batch remains open, allowing you to disable the verifier later.

3. Run the batcher:
   make batcher_start_local

4. Send 3 proofs using any of the verifiers:

   • make batcher_send_sp1_task
   • make batcher_send_risc0_task
   • make batcher_send_groth16_bn254_task

5. Disable the SP1 verifier:
   make verifier_disable_devnet VERIFIER_ID=3

6. Verify that all the clients stop and encounter an BatchReset error. The batcher's queue should now be empty.

---

This closes#1082

[github-actions]

Changes to gas cost

Generated at commit: 7a20d9cc4b4d2c38adc7e0240d419a62ccf45ba1, compared to commit: 07f682c7f5bab0ef2711f7373ba865d4ef9d5258

🧾 Summary (10% most significant diffs)

Contract	Method	Avg (+/-)	%
AlignedLayerServiceManager	batchesState	-22 ✅	-3.13%

---

Full diff report 👇

Contract	Deployment Cost (+/-)	Method	Min (+/-)	%	Avg (+/-)	%	Median (+/-)	%	Max (+/-)	%	# Calls (+/-)
AlignedLayerServiceManager	4,771,213 (+89,416)	batchesState createNewTask receive	681 (-22) 53,923 (+88) 21,169 (0)	-3.13% +0.16% 0.00%	681 (-22) 73,673 (-169) 44,503 (-280)	-3.13% -0.23% -0.63%	681 (-22) 74,081 (+100) 45,064 (0)	-3.13% +0.14% 0.00%	681 (-22) 74,822 (+37) 45,064 (0)	-3.13% +0.05% 0.00%	256 (0) 256 (0) 256 (0)

[uri-99]

still missing to review a couple of files