logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-07 00:03:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix DTH_ROOT for degree 1 extension

Browse Source
This commit is contained in:
wborgeaud 2022-09-19 11:25:21 +02:00
parent 3fc7996d79
commit 3007b5e779
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
field/src/extension/mod.rs
View File

@ -22,8 +22,8 @@ pub trait OEF<const D: usize>: FieldExtension<D> {
} }
impl<F: Field> OEF<1> for F { impl<F: Field> OEF<1> for F {
const W: Self::BaseField = F::ZERO; const W: Self::BaseField = F::ONE;
const DTH_ROOT: Self::BaseField = F::ZERO; const DTH_ROOT: Self::BaseField = F::ONE;
} }
pub trait Frobenius<const D: usize>: OEF<D> { pub trait Frobenius<const D: usize>: OEF<D> {
@ -80,8 +80,8 @@ pub trait Extendable<const D: usize>: Field + Sized {
impl<F: Field + Frobenius<1> + FieldExtension<1, BaseField = F>> Extendable<1> for F { impl<F: Field + Frobenius<1> + FieldExtension<1, BaseField = F>> Extendable<1> for F {
type Extension = F; type Extension = F;
const W: Self = F::ZERO; const W: Self = F::ONE;
const DTH_ROOT: Self = F::ZERO; const DTH_ROOT: Self = F::ONE;
const EXT_MULTIPLICATIVE_GROUP_GENERATOR: [Self; 1] = [F::MULTIPLICATIVE_GROUP_GENERATOR]; const EXT_MULTIPLICATIVE_GROUP_GENERATOR: [Self; 1] = [F::MULTIPLICATIVE_GROUP_GENERATOR];
const EXT_POWER_OF_TWO_GENERATOR: [Self; 1] = [F::POWER_OF_TWO_GENERATOR]; const EXT_POWER_OF_TWO_GENERATOR: [Self; 1] = [F::POWER_OF_TWO_GENERATOR];
} }