Pull changes from tesnet

[JuArce]

TITLE

Description

Description of the pull request changes and motivation.

Type of change

Please delete options that are not relevant.

• New feature
• Bug fix
• Optimization
• Refactor

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

[github-actions]

Changes to gas cost

Generated at commit: 6871efbb39107cfb27e1e57fe44fc3e42f84e4dd, compared to commit: 22ee224213f0be6e4c87cd880ff462cd1dc5197a

🧾 Summary (10% most significant diffs)

Contract	Method	Avg (+/-)	%
AlignedLayerServiceManager	createNewTask	+87 ❌	+0.11%

---

Full diff report 👇

Contract	Deployment Cost (+/-)	Method	Min (+/-)	%	Avg (+/-)	%	Median (+/-)	%	Max (+/-)	%	# Calls (+/-)
AlignedLayerServiceManager	8,319,208 (0)	createNewTask receive	57,806 (-60) 23,496 (0)	-0.10% 0.00%	77,806 (+87) 47,191 (+94)	+0.11% +0.20%	77,958 (-24) 47,472 (0)	-0.03% 0.00%	78,741 (0) 47,472 (0)	0.00% 0.00%	256 (0) 256 (0)

[Copilot]

Pull Request Overview

This PR updates the verification scripts to include support for an additional parameter—the sender address—when encoding and verifying batch inclusion proofs. The changes extend the CLI commands, update the output encoding to include the sender address, and adjust the example commands in the README.

• Updated the CLI argument parsing in both verify.py and encode_verification_data.py to include --sender-address.
• Modified the encode_call function to accept a sender_address parameter and adjusted the encoding scheme accordingly.
• Revised the README to reflect the new usage and example commands.

Reviewed Changes

Copilot reviewed 5 out of 10 changed files in this pull request and generated 1 comment.

File	Description
examples/verify/verify.py	Added --sender-address argument and updated encode_call call
examples/verify/encode_verification_data.py	Updated encode_call signature and encoding scheme with sender_address
examples/verify/README.md	Updated CLI commands and example JSON output sample to include sender-address

Files not reviewed (5)

• contracts/script/deploy/config/mainnet_staging/aligned.mainnet.config.json: Language not supported
• contracts/script/deploy/config/mainnet_staging/batcher-payment-service.mainnet.config.json: Language not supported
• contracts/script/output/mainnet_staging/alignedlayer_deployment_output.json: Language not supported
• contracts/scripts/.env.mainnet.staging: Language not supported
• examples/verify/src/VerifyBatchInclusionCaller.sol: Language not supported

Comments suppressed due to low confidence (2)

examples/verify/verify.py:13

• [nitpick] Consider marking the '--sender-address' argument as required (e.g., by adding required=True) to prevent potential runtime errors when the argument is omitted.

parser.add_argument('--sender-address',  help='Address that sent the batch to Aligned')

examples/verify/encode_verification_data.py:33

• [nitpick] Consider marking '--sender-address' as required to ensure the script is executed with all necessary parameters.

parser.add_argument('--sender-address',  help='Address that sent the batch to Aligned')