refactor(contracts): remove merkle root and signature checks on payment service contract

[MarcosNicolau]

Changes
Remove the merkle root and signature checks to save on gas in the payment service contract.

Gas changes

Here is the gas diff between validating the merkle root and signature and not doing it:

Proofs	Without any checks	With merkle root and signature checks	Diff
10	136,752.00	251,792.00	+- 115,040.00
35	169,530.00	505,330.00	+-335,800.00
100	254,765.00	1,153,964.00	+- 899,199.00
328	561,762.00	3,754,187.00	+- 3,192,425.00

For a more complete report see the google sheet here.

The report can be reproduced in the following way:

1. Replace the current code from here with the following code to log the gas report from that batch:

Ok(receipt) => {info!("Batch verification task created on Aligned contract");// putting an error for easier debugging!error!("Batch statistics:\n\t- Proofs: {} \n\t- Gas used: {}",
num_proofs_in_batch,
receipt.gas_used.unwrap());Ok(())}

3. Run the following proofs from this pr to get the results without checks and from this commit 014bd4d7d64be442c24a8235fda4700bd225a69f to run with the checks:
   • BURST_SIZE=10 make batcher_send_sp1_burst
   • make batcher_send_burst_groth16: Here you'll have to wait as it sends proofs non-stop.
   • BURST_SIZE=100 make batcher_send_risc0_burst
   • BURST_SIZE=1000 make batcher_send_risc0_burst: Here the max proofs per batch will be around 300-380, but it is difficult to get the same number in both executions.

Results may vary between executions but should be around the same on average.

Closes#1119

Edit: the table was update to the commit where all the checks are removed, not only the merkle and signature.

[github-actions]

Changes to gas cost

Generated at commit: b32229d634b841511faecf8084d85a718b8eccd0, compared to commit: 601a50d97e96372dcadca6a04b6b07c4a218ebfc

🧾 Summary (10% most significant diffs)

Contract	Method	Avg (+/-)	%
AlignedLayerServiceManager	createNewTask	-35 ✅	-0.05%

---

Full diff report 👇

Contract	Deployment Cost (+/-)	Method	Min (+/-)	%	Avg (+/-)	%	Median (+/-)	%	Max (+/-)	%	# Calls (+/-)
AlignedLayerServiceManager	4,681,797 (0)	createNewTask	53,823 (-144)	-0.27%	73,879 (-35)	-0.05%	73,939 (-48)	-0.06%	74,770 (+36)	+0.05%	256 (0)
TransparentUpgradeableProxy	573,006 (+12)
BLSApkRegistryHarness	1,837,613 (+12)
StakeRegistryHarness	3,187,915 (-12)

[uri-99]

We can still remove the usage of nonce and maxFee from the contracts to make it cheaper, ProofSubmitterData can be only the address

[MarcosNicolau]

We can still remove the usage of nonce and maxFee from the contracts to make it cheaper, ProofSubmitterData can be only the address

I addressed your comments. I also updated the gas usage results.

[uri-99]

needs changes on docs

[entropidelic]

@uri-99 I updated the docs in docs/2_architecture/components/2_payment_service_contract.md