Use ConstMontyForm::invert() in place of pow() (#1332)

daxpedda · web-flow · commit ff17407da343 · 2025-09-01T12:44:16.000-06:00
diff --git a/ed448-goldilocks/src/field/element.rs b/ed448-goldilocks/src/field/element.rs
@@ -332,12 +332,8 @@ impl FieldElement {
     }
 
     /// Inverts a field element
-    /// Previous chain length: 462, new length 460
     pub fn invert(&self) -> Self {
-        const INV_EXP: U448 = U448::from_be_hex(
-            "fffffffffffffffffffffffffffffffffffffffffffffffffffffffefffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
-        );
-        Self(self.0.pow(&INV_EXP))
+        Self(self.0.invert().unwrap_or(ConstMontyType::default()))
     }
 
     pub fn square(&self) -> Self {

Original file line number	Diff line number	Diff line change
`@@ -332,12 +332,8 @@ impl FieldElement {`
`332`	`332`	`}`
`333`	`333`
`334`	`334`	`/// Inverts a field element`
`335`		`- /// Previous chain length: 462, new length 460`
`336`	`335`	`pub fn invert(&self) -> Self {`
`337`		`- const INV_EXP: U448 = U448::from_be_hex(`
`338`		`- "fffffffffffffffffffffffffffffffffffffffffffffffffffffffefffffffffffffffffffffffffffffffffffffffffffffffffffffffd",`
`339`		`- );`
`340`		`- Self(self.0.pow(&INV_EXP))`
	`336`	`+ Self(self.0.invert().unwrap_or(ConstMontyType::default()))`
`341`	`337`	`}`
`342`	`338`
`343`	`339`	`pub fn square(&self) -> Self {`