Feat/sp1 contracts

[Mechanix97]

Add SP1 contracts to anvil in devnet

Description

Created a new Makefile command to deploy the sp1 verification contracts and gateways

make anvil_deploy_sp1_contracts

To ensure the correct state load on anvil, the deployer first loads the eigenlayers contracts and then dumps them into the sp1-contracts state file with the sp1 contracts already loaded. Then, the anvil aligned contracts deployer (make anvil_deploy_aligned_contracts) loads this state on start instead of the original eigenlayer contracts.

Type of change

Please delete options that are not relevant.

• New feature

Checklist

• Add a new deployer for Groth16 gateway.
• Add a new deployer for Groth16 verifier V3.0.0.
• Add a new command to deploy the contracts.
• Add the SP1-contracts submodule.

[github-actions]

Changes to gas cost

Generated at commit: d6a78427b2349fa7e616c8285d79f821fb386ff4, compared to commit: 956b4a727ffc9d152eee7a334ead6c5630d8df39

🧾 Summary (10% most significant diffs)

Contract	Method	Avg (+/-)	%
AlignedLayerServiceManager	createNewTask receive	+132 ❌ +94 ❌	+0.17% +0.20%

---

Full diff report 👇

Contract	Deployment Cost (+/-)	Method	Min (+/-)	%	Avg (+/-)	%	Median (+/-)	%	Max (+/-)	%	# Calls (+/-)
AlignedLayerServiceManager	8,319,208 (0)	createNewTask receive	77,694 (+19,840) 47,472 (+23,976)	+34.29% +102.04%	78,050 (+132) 47,472 (+94)	+0.17% +0.20%	77,994 (+78) 47,472 (0)	+0.10% 0.00%	78,696 (-72) 47,472 (0)	-0.09% 0.00%	256 (0) 256 (0)

[JuArce]

Supersedes by #1843