fix: pass uint8 instead of uint256 in verifyProofInclusion to match the proof commitments

Author: MarcosNicolau

aggregation_mode/abi/AlignedProofAggregationService.json

@@ -118,7 +118,7 @@ contract AlignedProofAggregationService is
     /// @return bool Returns true if the computed Merkle root is a recognized valid aggregated proof.
     function verifyProofInclusion(
         bytes32[] calldata merklePath,
-        uint256 provingSystemId,
+        uint8 provingSystemId,
         bytes32 programId,
         bytes calldata publicInputs
     ) public view returns (bool) {

contracts/scripts/anvil/state/alignedlayer-deployed-anvil-state.json

@@ -1,7 +1,6 @@
 pragma solidity ^0.8.12;
 
 interface IAlignedProofAggregationService {
-
     /// @notice event that gets emitted after a successful aggregated proof verification
     event AggregatedProofVerified(bytes32 indexed merkleRoot, bytes32 blobVersionedHash);
 
@@ -31,7 +30,7 @@ interface IAlignedProofAggregationService {
 
     function verifyProofInclusion(
         bytes32[] calldata merklePath,
-        uint256 provingSystemId,
+        uint8 provingSystemId,
         bytes32 programId,
         bytes calldata publicInputs
     ) external view returns (bool);

contracts/scripts/anvil/state/eigenlayer-deployed-anvil-state.json

@@ -22,12 +22,12 @@ contract StateTransition {
         stateRoot = initialStateRoot;
     }
 
-    function updateState(uint256 provingSystemId, bytes calldata publicInputs, bytes32[] calldata merkleProof)
+    function updateState(uint8 provingSystemId, bytes calldata publicInputs, bytes32[] calldata merkleProof)
         public
         onlyOwner
     {
         bytes memory callData = abi.encodeWithSignature(
-            "verifyProofInclusion(bytes32[],uint256,bytes32,bytes)",
+            "verifyProofInclusion(bytes32[],uint8,bytes32,bytes)",
             merkleProof,
             provingSystemId,
             PROGRAM_ID,