Apply suggestions from code review

Co-authored-by: Marcos Nicolau <[email protected]>

Author: maximopalopoli

aggregation_mode/README.md

@@ -80,5 +80,5 @@ If the program ids have changed, you will also need to add the updated one to th
 
 You can fetch the program ID values from the following:
 
-- Risc0: Use the value of `risc0_root_aggregator_image_id` from `aggregation_mode/program_ids.json`.
-- SP1: Use the value of `sp1_root_aggregator_vk_hash` from `aggregation_mode/program_ids.json`.
+- Risc0: Use the value of `risc0_chunk_aggregator_image_id` from `aggregation_mode/program_ids.json`.
+- SP1: Use the value of `sp1_chunk_aggregator_vk_hash` from `aggregation_mode/program_ids.json`.

contracts/src/core/AlignedProofAggregationService.sol

@@ -37,9 +37,9 @@ contract AlignedProofAggregationService is
     /// if the sp1 verifier address is set to this address, then we skip verification
     address public constant VERIFIER_MOCK_ADDRESS = address(0xFF);
 
-    /// @notice A mapping to track valid program IDs (image IDs for RISC Zero or vk hashes for SP1)
-    /// to their corresponding verifier types. These program IDs are used to ensure that proofs are
-    /// verified against known and registered programs.
+    /// @notice A map to track aggregation program IDs (image IDs for RISC Zero or vk hashes for SP1)
+    /// with their proving system. These program IDs are used to validate that the proofs to verify are indeed from
+    /// a trusted aggregation program.
     mapping(bytes32 => uint8) public programIds;
 
     constructor() {