diff --git a/src/proof_system/widget/ecc/scalar_mul/fixed_base.rs b/src/proof_system/widget/ecc/scalar_mul/fixed_base.rs index 75c43ba2..18015542 100644 --- a/src/proof_system/widget/ecc/scalar_mul/fixed_base.rs +++ b/src/proof_system/widget/ecc/scalar_mul/fixed_base.rs @@ -15,7 +15,7 @@ pub(crate) use proverkey::ProverKey; pub(crate) use verifierkey::VerifierKey; // Note: The ECC gadget does not check that the initial point is on the curve -// for two reasons: +// following reasons: // - We constrain the accumulator to start from the identity point, which the // verifier knows is on the curve // - We are adding multiples of the generator to the accumulator which the