docs: fix grammar

Author: JuArce

aggregation_mode/aggregation_programs/risc0/src/lib.rs

@@ -22,14 +22,14 @@ impl Risc0ImageIdAndPubInputs {
     }
 }
 
-// Note: this MerkleTreeBackend is defined in three places
-// aggregation_mode/src/aggregators/mod.rs
-// aggregation_mode/src/aggregators/risc0_aggregator.rs and
-// aggregation_mode/src/aggregators/sp1_aggregator.rs
+// Note: this MerkleTreeBackend is defined in three locations
+// - aggregation_mode/src/aggregators/mod.rs
+// - aggregation_mode/src/aggregators/risc0_aggregator.rs
+// - aggregation_mode/src/aggregators/sp1_aggregator.rs
 // All 3 implementations should match
 // The definition on aggregator/mod.rs supports taking proofs from both Risc0 and SP1,
 // Additionally, a version that takes the leaves as already hashed data is defined on:
-// batcher/aligned-sdk/src/sdk/aggregation.rs
+// - batcher/aligned-sdk/src/sdk/aggregation.rs
 // This one is used in the SDK since,
 // the user may not have access to the proofs that he didn't submit
 impl IsMerkleTreeBackend for Risc0ImageIdAndPubInputs {

aggregation_mode/aggregation_programs/sp1/src/lib.rs

@@ -19,16 +19,16 @@ impl SP1VkAndPubInputs {
     }
 }
 
-// Note: this MerkleTreeBackend is defined in three places
-// aggregation_mode/src/aggregators/mod.rs
-// aggregation_mode/src/aggregators/risc0_aggregator.rs and
-// aggregation_mode/src/aggregators/sp1_aggregator.rs
+// Note: this MerkleTreeBackend is defined in three locations
+// - aggregation_mode/src/aggregators/mod.rs
+// - aggregation_mode/src/aggregators/risc0_aggregator.rs and
+// - aggregation_mode/src/aggregators/sp1_aggregator.rs
 // All 3 implementations should match
 // The definition on aggregator/mod.rs supports taking proofs from both Risc0 and SP1,
 // Additionally, a version that takes the leaves as already hashed data is defined on:
-// batcher/aligned-sdk/src/sdk/aggregation.rs
-// This one is used in the SDK since,
-// the user may not have access to the proofs that he didn't submit
+// - batcher/aligned-sdk/src/sdk/aggregation.rs
+// This one is used in the SDK since
+// the user may not have access to the proofs that they didn't submit
 impl IsMerkleTreeBackend for SP1VkAndPubInputs {
     type Data = SP1VkAndPubInputs;
     type Node = [u8; 32];

aggregation_mode/src/aggregators/mod.rs

@@ -132,14 +132,14 @@ impl AlignedProof {
 /// — Public inputs.
 ///
 /// Intermediate nodes in the tree are formed by computing the keccak pairs of child nodes.
-// Note: this MerkleTreeBackend is defined in three places
-// aggregation_mode/src/aggregators/mod.rs
-// aggregation_mode/src/aggregators/risc0_aggregator.rs and
-// aggregation_mode/src/aggregators/sp1_aggregator.rs
+// Note: this MerkleTreeBackend is defined in three locations
+// - aggregation_mode/src/aggregators/mod.rs
+// - aggregation_mode/src/aggregators/risc0_aggregator.rs
+// - aggregation_mode/src/aggregators/sp1_aggregator.rs
 // All 3 implementations should match
 // The definition on aggregator/mod.rs supports taking proofs from both Risc0 and SP1,
 // Additionally, a version that takes the leaves as already hashed data is defined on:
-// batcher/aligned-sdk/src/sdk/aggregation.rs
+// - batcher/aligned-sdk/src/sdk/aggregation.rs
 // This one is used in the SDK since,
 // the user may not have access to the proofs that he didn't submit
 impl IsMerkleTreeBackend for AlignedProof {

batcher/aligned-sdk/src/sdk/aggregation.rs

@@ -55,10 +55,10 @@ pub struct Hash32([u8; 32]);
 // Note:
 // We define a version of the backend that takes the leaves as hashed data
 // since the user may not have access to the proofs that he didn't submit
-// The original MerkleTreeBackend is defined in three places
-// aggregation_mode/src/aggregators/mod.rs
-// aggregation_mode/src/aggregators/risc0_aggregator.rs and
-// aggregation_mode/src/aggregators/sp1_aggregator.rs
+// The original MerkleTreeBackend is defined in three locations
+// - aggregation_mode/src/aggregators/mod.rs
+// - aggregation_mode/src/aggregators/risc0_aggregator.rs
+// - aggregation_mode/src/aggregators/sp1_aggregator.rs
 // The definition on aggregator/mod.rs supports taking proofs from both Risc0 and SP1
 // Hashes of all implementations should match
 impl IsMerkleTreeBackend for Hash32 {