File tree 4 files changed +5
-5
lines changed
poly/src/polynomial/univariate
4 files changed +5
-5
lines changed Original file line number Diff line number Diff line change @@ -10,7 +10,7 @@ pub trait MapToCurve<T: CurveGroup>: Sized {
10
10
/// Checks whether supplied parameters represent a valid map.
11
11
fn check_parameters ( ) -> Result < ( ) , HashToCurveError > ;
12
12
13
- /// Map an arbitary field element to a corresponding curve point.
13
+ /// Map an arbitrary field element to a corresponding curve point.
14
14
fn map_to_curve ( point : T :: BaseField ) -> Result < T :: Affine , HashToCurveError > ;
15
15
}
16
16
Original file line number Diff line number Diff line change @@ -88,7 +88,7 @@ pub trait Bls12Config: 'static + Sized {
88
88
fn final_exponentiation (
89
89
f : MillerLoopOutput < Bls12 < Self > > ,
90
90
) -> Option < PairingOutput < Bls12 < Self > > > {
91
- // Computing the final exponentation following
91
+ // Computing the final exponentiation following
92
92
// https://eprint.iacr.org/2020/875
93
93
// Adapted from the implementation in https://github.com/ConsenSys/gurvy/pull/29
94
94
@@ -111,7 +111,7 @@ pub trait Bls12Config: 'static + Sized {
111
111
// r = f^((p^6 - 1)(p^2 + 1))
112
112
r *= & f2;
113
113
114
- // Hard part of the final exponentation :
114
+ // Hard part of the final exponentiation :
115
115
// t[0].CyclotomicSquare(&result)
116
116
let mut y0 = r. cyclotomic_square ( ) ;
117
117
// t[1].Expt(&result)
Original file line number Diff line number Diff line change @@ -35,7 +35,7 @@ pub trait QuadExtConfig: 'static + Send + Sync + Sized {
35
35
/// we might see `BaseField == BasePrimeField`, it won't always hold true.
36
36
/// E.g. for an extension tower: `BasePrimeField == Fp`, but `BaseField == Fp3`.
37
37
type BaseField : Field < BasePrimeField = Self :: BasePrimeField > ;
38
- /// The type of the coefficients for an efficient implemntation of the
38
+ /// The type of the coefficients for an efficient implementation of the
39
39
/// Frobenius endomorphism.
40
40
type FrobCoeff : Field ;
41
41
Original file line number Diff line number Diff line change @@ -77,7 +77,7 @@ impl<F: Field> DensePolynomial<F> {
77
77
78
78
// run Horners method on each thread as follows:
79
79
// 1) Split up the coefficients across each thread evenly.
80
- // 2) Do polynomial evaluation via horner's method for the thread's coefficeints
80
+ // 2) Do polynomial evaluation via horner's method for the thread's coefficients
81
81
// 3) Scale the result point^{thread coefficient start index}
82
82
// Then obtain the final polynomial evaluation by summing each threads result.
83
83
let result = self
You can’t perform that action at this time.
0 commit comments