fix typos

aggregator/src/recursion/common.rs

@@ -242,7 +242,7 @@ fn poseidon<L: Loader<G1Affine>>(loader: &L, inputs: &[L::LoadedScalar]) -> L::L
 // is LimbsEncoding, which only be generic with PCS whose Accmulator
 // is KzgAccmulator ...
 
-/// It is similar to `succient_verify` method inside of snark-verifier
+/// It is similar to `succinct_verify` method inside of snark-verifier
 /// but allow it allow loader to load preprocessed part as witness (so ANY circuit)
 /// can be verified
 ///

aggregator/src/recursion/util.rs

@@ -62,7 +62,7 @@ mod dummy_circuit {
 // gen a "dummy" snark in case we need to "skip" the verify part
 // inside the recursive circuit: cost would be high if we apply conditional
 // selection above the verify circuits (it is in fact a ecc chip, and
-// selection increase the maxium degree by 1).
+// selection increase the maximum degree by 1).
 // Instead, a "dummy" snark ensure the ecc chip is valid with providen
 // witness and we just skip the output accumulator later
 // it can "mock" any circuit (with vk being provided in argument)

aggregator/src/tests/recursion.rs

@@ -108,7 +108,7 @@ where
         1,
     );
 
-    let pk_time = start_timer!(|| "Generate thrid recursion pk for test");
+    let pk_time = start_timer!(|| "Generate third recursion pk for test");
     {
         let r_pk_3 = gen_pk(&recursion_params, &recursion, None);
         assert_eq!(