This commit is contained in:
Pratyush Mishra
2022-09-14 11:59:28 -07:00
parent 68f500da01
commit f43d59c958
2 changed files with 5 additions and 8 deletions

View File

@@ -22,11 +22,8 @@ impl Fp2Config for Fq2Config {
#[inline(always)] #[inline(always)]
fn mul_fp_by_nonresidue_in_place(fe: &mut Self::Fp) -> &mut Self::Fp { fn mul_fp_by_nonresidue_in_place(fe: &mut Self::Fp) -> &mut Self::Fp {
let original = *fe;
fe.neg_in_place(); fe.neg_in_place();
fe.double_in_place(); *fe = *fe + fe.double_in_place().double_in_place();
fe.double_in_place();
*fe -= original;
fe fe
} }
@@ -39,12 +36,12 @@ impl Fp2Config for Fq2Config {
} }
#[inline(always)] #[inline(always)]
fn add_and_mul_fp_by_nonresidue_plus_one(y: &mut Self::Fp, x: &Self::Fp) { fn mul_fp_by_nonresidue_plus_one_and_add(y: &mut Self::Fp, x: &Self::Fp) {
y.double_in_place().double_in_place().neg_in_place(); y.double_in_place().double_in_place().neg_in_place();
*y += x; *y += x;
} }
fn add_and_mul_fp_by_nonresidue_in_place(y: &mut Self::Fp, x: &Self::Fp) { fn mul_fp_by_nonresidue_in_place_and_add(y: &mut Self::Fp, x: &Self::Fp) {
let mut original = *y; let mut original = *y;
original.double_in_place().double_in_place(); original.double_in_place().double_in_place();
original += &*y; original += &*y;

View File

@@ -31,11 +31,11 @@ impl Fp2Config for Fq2Config {
} }
#[inline(always)] #[inline(always)]
fn add_and_mul_fp_by_nonresidue_plus_one(y: &mut Self::Fp, x: &Self::Fp) { fn mul_fp_by_nonresidue_plus_one_and_add(y: &mut Self::Fp, x: &Self::Fp) {
*y = *x; *y = *x;
} }
fn add_and_mul_fp_by_nonresidue_in_place(y: &mut Self::Fp, x: &Self::Fp) { fn mul_fp_by_nonresidue_in_place_and_add(y: &mut Self::Fp, x: &Self::Fp) {
y.neg_in_place(); y.neg_in_place();
*y += x; *y += x;
} }