Trait risc0_zkp::field::ExtElem

pub trait ExtElem: Elem + Add<Output = Self> + AddAssign + Neg<Output = Self> + Mul<Self, Output = Self> + Mul<Self::SubElem, Output = Self> + MulAssign<Self> + MulAssign<Self::SubElem> + Sub<Output = Self> + SubAssign + PartialEq + Eq {
    type SubElem: Elem;

    const EXT_SIZE: usize;

    fn from_subfield(elem: &Self::SubElem) -> Self;
    fn from_subelems(elems: impl IntoIterator<Item = Self::SubElem>) -> Self;
    fn subelems(&self) -> &[Self::SubElem];
}

A field extension which can be constructed from a subfield element Elem

Required Associated Types

type SubElem: Elem

Required Associated Constants

const EXT_SIZE: usize

Required Methods

fn from_subfield(elem: &Self::SubElem) -> Self

Construct a field element

fn from_subelems(elems: impl IntoIterator<Item = Self::SubElem>) -> Self

fn subelems(&self) -> &[Self::SubElem]

Implementors

impl ExtElem for risc0_zkp::field::baby_bear::ExtElem

const EXT_SIZE: usize = 4usize

type SubElem = Elem

impl ExtElem for risc0_zkp::field::goldilocks::ExtElem

const EXT_SIZE: usize = 2usize

type SubElem = Elem