diff --git a/field/src/extension/mod.rs b/field/src/extension/mod.rs index f54d669c..ed596764 100644 --- a/field/src/extension/mod.rs +++ b/field/src/extension/mod.rs @@ -22,8 +22,8 @@ pub trait OEF: FieldExtension { } impl OEF<1> for F { - const W: Self::BaseField = F::ZERO; - const DTH_ROOT: Self::BaseField = F::ZERO; + const W: Self::BaseField = F::ONE; + const DTH_ROOT: Self::BaseField = F::ONE; } pub trait Frobenius: OEF { @@ -80,8 +80,8 @@ pub trait Extendable: Field + Sized { impl + FieldExtension<1, BaseField = F>> Extendable<1> for F { type Extension = F; - const W: Self = F::ZERO; - const DTH_ROOT: Self = F::ZERO; + const W: Self = F::ONE; + const DTH_ROOT: Self = F::ONE; const EXT_MULTIPLICATIVE_GROUP_GENERATOR: [Self; 1] = [F::MULTIPLICATIVE_GROUP_GENERATOR]; const EXT_POWER_OF_TWO_GENERATOR: [Self; 1] = [F::POWER_OF_TWO_GENERATOR]; }