Merge branch 'aligned' into verif_key_check

.env.template

@@ -1,5 +1,7 @@
 ETH_CHAIN=<devnet/holesky>
 MINA_RPC_URL=<url>
+STATE_SETTLEMENT_ETH_ADDR=<address>
+ACCOUNT_VALIDATION_ETH_ADDR=<address>
 SAVE_PROOF=true/false # also false if other than "true" or variable were to be not defined
 
 ## These are necessary for running the Sudoku example
@@ -13,7 +15,7 @@ SAVE_PROOF=true/false # also false if other than "true" or variable were to be n
 # PROOF_GENERATOR_ADDR=<optional>
 # BRIDGE_HOLESKY_ETH_ADDR=<optional>
 # BRIDGE_ACCOUNT_HOLESKY_ETH_ADDR=<optional>
-# ALIGNED_SM_HOLESKY_ETH_ADDR=<optional>
+# ALIGNED_SERVICE_MANAGER_ADDR=<optional>
 
 ## You can choose to use a keystore or private key for your signing wallet.
 ## Leave empty if choosing Anvil Devnet.

Makefile

@@ -1,8 +1,11 @@
-.PHONY: submit-state submit-account gen_contract_abi deploy_contract
+.PHONY: submit_mainnet_state submit_devnet_state submit_account gen_contract_abi deploy_contract
 
-submit_state:
+submit_mainnet_state:
 	@cargo run --manifest-path core/Cargo.toml --release -- submit-state
 
+submit_devnet_state:
+	@cargo run --manifest-path core/Cargo.toml --release -- submit-state --devnet
+
 submit_account:
 	@cargo run --manifest-path core/Cargo.toml --release -- submit-account ${PUBLIC_KEY} ${STATE_HASH}