Merge branch 'use-frobenious-in-place' into release-0.4

mmagician · mmagician · commit c79ee073a607 · 2022-12-28T11:53:02.000+01:00
diff --git a/src/fields/fp/mod.rs b/src/fields/fp/mod.rs
@@ -762,7 +762,7 @@ impl<F: PrimeField> FieldVar<F, F> for FpVar<F> {
             FpVar::Var(v) => v.frobenius_map(power).map(FpVar::Var),
             FpVar::Constant(f) => {
                 let mut f = *f;
-                f.frobenius_map(power);
+                f.frobenius_map_in_place(power);
                 Ok(FpVar::Constant(f))
             },
         }
diff --git a/src/fields/nonnative/field_var.rs b/src/fields/nonnative/field_var.rs
@@ -138,7 +138,7 @@ impl<TargetField: PrimeField, BaseField: PrimeField> FieldVar<TargetField, BaseF
         match self {
             Self::Constant(c) => Ok(Self::Constant({
                 let mut tmp = *c;
-                tmp.frobenius_map(power);
+                tmp.frobenius_map_in_place(power);
                 tmp
             })),
             Self::Var(v) => Ok(Self::Var(v.frobenius_map(power)?)),

Original file line number	Diff line number	Diff line change
`@@ -762,7 +762,7 @@ impl<F: PrimeField> FieldVar<F, F> for FpVar<F> {`
`762`	`762`	`FpVar::Var(v) => v.frobenius_map(power).map(FpVar::Var),`
`763`	`763`	`FpVar::Constant(f) => {`
`764`	`764`	`let mut f = *f;`
`765`		`- f.frobenius_map(power);`
	`765`	`+ f.frobenius_map_in_place(power);`
`766`	`766`	`Ok(FpVar::Constant(f))`
`767`	`767`	`},`
`768`	`768`	`}`