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

daxpedda · daxpedda · commit 502ef5104be4 · 2025-09-01T19:36:32.000+02:00
diff --git a/ed448-goldilocks/src/field/element.rs b/ed448-goldilocks/src/field/element.rs
@@ -263,12 +263,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
`@@ -263,12 +263,8 @@ impl FieldElement {`
`263`	`263`	`}`
`264`	`264`
`265`	`265`	`/// Inverts a field element`
`266`		`- /// Previous chain length: 462, new length 460`
`267`	`266`	`pub fn invert(&self) -> Self {`
`268`		`- const INV_EXP: U448 = U448::from_be_hex(`
`269`		`- "fffffffffffffffffffffffffffffffffffffffffffffffffffffffefffffffffffffffffffffffffffffffffffffffffffffffffffffffd",`
`270`		`- );`
`271`		`- Self(self.0.pow(&INV_EXP))`
	`267`	`+ Self(self.0.invert().unwrap_or(ConstMontyType::default()))`
`272`	`268`	`}`
`273`	`269`
`274`	`270`	`pub fn square(&self) -> Self {`