From d00135bedcdaca56366a4a9a25e9a8351490098a Mon Sep 17 00:00:00 2001 From: Rohit Narurkar Date: Thu, 4 Jul 2024 22:50:21 +0100 Subject: [PATCH] fix typos --- aggregator/src/recursion/common.rs | 2 +- aggregator/src/recursion/util.rs | 2 +- aggregator/src/tests/recursion.rs | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/aggregator/src/recursion/common.rs b/aggregator/src/recursion/common.rs index e23f985a23..13e7309a40 100644 --- a/aggregator/src/recursion/common.rs +++ b/aggregator/src/recursion/common.rs @@ -242,7 +242,7 @@ fn poseidon>(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 /// diff --git a/aggregator/src/recursion/util.rs b/aggregator/src/recursion/util.rs index 281deb7597..84abc3e8ef 100644 --- a/aggregator/src/recursion/util.rs +++ b/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) diff --git a/aggregator/src/tests/recursion.rs b/aggregator/src/tests/recursion.rs index 9767c7c98f..9b07c8822b 100644 --- a/aggregator/src/tests/recursion.rs +++ b/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!(