Struct VectorizedExt 

#[repr(transparent)]
pub struct VectorizedExt<F: Field, EF: ExtensionField<F>, const N: usize>(pub [EF::ExtensionPacking; N]);

N packed extension-field vectors operated on in lockstep.

The extension-field counterpart of Vectorized: lane i corresponds to lane i of a Vectorized<F, N> operand, so the two types can be mixed in the same expression (VectorizedExt * Vectorized, etc.).

Tuple Fields

0: [EF::ExtensionPacking; N]

Implementations

impl<F: Field, EF: ExtensionField<F>, const N: usize> VectorizedExt<F, EF, N>

pub fn from_vectorized_basis_coefficients( coefficients: &[Vectorized<F, N>], ) -> Self

Build from basis coefficients, where coefficient d is the vectorized base-field value coefficients[d].

This is the vectorized analogue of BasedVectorSpace::from_basis_coefficients_fn; it takes a slice rather than a closure so each coefficient is computed once and shared by all N components.

pub fn extract(&self, i: usize) -> EF

Extract the extension-field element at logical lane i.

Lanes 0..F::Packing::WIDTH come from component 0, the next F::Packing::WIDTH from component 1, and so on.

Trait Implementations

impl<F: Field, EF: ExtensionField<F>, const N: usize> Add for VectorizedExt<F, EF, N>

type Output = VectorizedExt<F, EF, N>

The resulting type after applying the + operator.

fn add(self, rhs: Self) -> Self

Performs the + operation.

impl<F: Field, EF: ExtensionField<F>, const N: usize> Add<EF> for VectorizedExt<F, EF, N>

type Output = VectorizedExt<F, EF, N>

The resulting type after applying the + operator.

fn add(self, rhs: EF) -> Self

Performs the + operation.

impl<F: Field, EF: ExtensionField<F>, const N: usize> Add<Vectorized<F, N>> for VectorizedExt<F, EF, N>

type Output = VectorizedExt<F, EF, N>

The resulting type after applying the + operator.

fn add(self, rhs: Vectorized<F, N>) -> Self

Performs the + operation.

impl<F: Field, EF: ExtensionField<F>, const N: usize> AddAssign for VectorizedExt<F, EF, N>

fn add_assign(&mut self, rhs: Self)

Performs the += operation.

impl<F: Field, EF: ExtensionField<F>, const N: usize> AddAssign<EF> for VectorizedExt<F, EF, N>

fn add_assign(&mut self, rhs: EF)

Performs the += operation.

impl<F: Field, EF: ExtensionField<F>, const N: usize> AddAssign<Vectorized<F, N>> for VectorizedExt<F, EF, N>

fn add_assign(&mut self, rhs: Vectorized<F, N>)

Performs the += operation.

impl<F: Field, EF: ExtensionField<F>, const N: usize> Algebra<EF> for VectorizedExt<F, EF, N>

const BATCHED_LC_CHUNK: usize

Optimal chunk size for batched_linear_combination.

fn mixed_dot_product<const M: usize>(a: &[Self; M], f: &[EF; M]) -> Self

Dot product between algebra elements and base field scalars.

fn batched_linear_combination(values: &[Self], coeffs: &[F]) -> Self

where F: Dup,

Runtime-length linear combination: Σ values[i] * coeffs[i].

impl<F: Field, EF: ExtensionField<F>, const N: usize> Algebra<Vectorized<F, N>> for VectorizedExt<F, EF, N>

fn mixed_dot_product<const N: usize>(a: &[Self; N], f: &[F; N]) -> Self

where F: Dup,

Dot product between algebra elements and base field scalars.

const BATCHED_LC_CHUNK: usize = 8

Optimal chunk size for batched_linear_combination.

fn batched_linear_combination(values: &[Self], coeffs: &[F]) -> Self

where F: Dup,

Runtime-length linear combination: Σ values[i] * coeffs[i].

impl<F: Clone + Field, EF: Clone + ExtensionField<F>, const N: usize> Clone for VectorizedExt<F, EF, N>

where EF::ExtensionPacking: Clone,

fn clone(&self) -> VectorizedExt<F, EF, N>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<F: Copy + Field, EF: Copy + ExtensionField<F>, const N: usize> Copy for VectorizedExt<F, EF, N>

where EF::ExtensionPacking: Copy,

impl<F: Debug + Field, EF: Debug + ExtensionField<F>, const N: usize> Debug for VectorizedExt<F, EF, N>

where EF::ExtensionPacking: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<F: Field, EF: ExtensionField<F>, const N: usize> Default for VectorizedExt<F, EF, N>

fn default() -> Self

Returns the “default value” for a type.

impl<F: Field, EF: ExtensionField<F>, const N: usize> From<EF> for VectorizedExt<F, EF, N>

fn from(value: EF) -> Self

Converts to this type from the input type.

impl<F: Field, EF: ExtensionField<F>, const N: usize> From<Vectorized<F, N>> for VectorizedExt<F, EF, N>

fn from(value: Vectorized<F, N>) -> Self

Converts to this type from the input type.

impl<F: Field, EF: ExtensionField<F>, const N: usize> Mul for VectorizedExt<F, EF, N>

type Output = VectorizedExt<F, EF, N>

The resulting type after applying the * operator.

fn mul(self, rhs: Self) -> Self

Performs the * operation.

impl<F: Field, EF: ExtensionField<F>, const N: usize> Mul<EF> for VectorizedExt<F, EF, N>

type Output = VectorizedExt<F, EF, N>

The resulting type after applying the * operator.

fn mul(self, rhs: EF) -> Self

Performs the * operation.

impl<F: Field, EF: ExtensionField<F>, const N: usize> Mul<Vectorized<F, N>> for VectorizedExt<F, EF, N>

type Output = VectorizedExt<F, EF, N>

The resulting type after applying the * operator.

fn mul(self, rhs: Vectorized<F, N>) -> Self

Performs the * operation.

impl<F: Field, EF: ExtensionField<F>, const N: usize> MulAssign for VectorizedExt<F, EF, N>

fn mul_assign(&mut self, rhs: Self)

Performs the *= operation.

impl<F: Field, EF: ExtensionField<F>, const N: usize> MulAssign<EF> for VectorizedExt<F, EF, N>

fn mul_assign(&mut self, rhs: EF)

Performs the *= operation.

impl<F: Field, EF: ExtensionField<F>, const N: usize> MulAssign<Vectorized<F, N>> for VectorizedExt<F, EF, N>

fn mul_assign(&mut self, rhs: Vectorized<F, N>)

Performs the *= operation.

impl<F: Field, EF: ExtensionField<F>, const N: usize> Neg for VectorizedExt<F, EF, N>

type Output = VectorizedExt<F, EF, N>

The resulting type after applying the - operator.

fn neg(self) -> Self

Performs the unary - operation.

impl<F: Field, EF: ExtensionField<F>, const N: usize> PrimeCharacteristicRing for VectorizedExt<F, EF, N>

const ZERO: Self

The additive identity of the ring.

const ONE: Self

The multiplicative identity of the ring.

const TWO: Self

The element in the ring given by ONE + ONE.

const NEG_ONE: Self

The element in the ring given by -ONE.

type PrimeSubfield = <<EF as ExtensionField<F>>::ExtensionPacking as PrimeCharacteristicRing>::PrimeSubfield

The field ℤ/p where the characteristic of this ring is p.

fn from_prime_subfield(f: Self::PrimeSubfield) -> Self

Embed an element of the prime field ℤ/p into the ring R.

fn double(&self) -> Self

The elementary function double(a) = 2*a.

fn halve(&self) -> Self

The elementary function halve(a) = a/2.

fn square(&self) -> Self

The elementary function square(a) = a^2.

fn cube(&self) -> Self

The elementary function cube(a) = a^3.

fn exp_const_u64<const POWER: u64>(&self) -> Self

Exponentiation by a small constant power.

fn mul_2exp_u64(&self, exp: u64) -> Self

The elementary function mul_2exp_u64(a, exp) = a * 2^{exp}.

fn dot_product<const M: usize>(u: &[Self; M], v: &[Self; M]) -> Self

Compute the dot product of two vectors.

fn sum_array<const M: usize>(input: &[Self]) -> Self

Compute the sum of a slice of elements whose length is a compile time constant.

fn from_bool(b: bool) -> Self

Return Self::ONE if b is true and Self::ZERO if b is false.

fn from_u8(int: u8) -> Self

Given an integer r, return the sum of r copies of ONE:

fn from_u16(int: u16) -> Self

Given an integer r, return the sum of r copies of ONE:

fn from_u32(int: u32) -> Self

Given an integer r, return the sum of r copies of ONE:

fn from_u64(int: u64) -> Self

Given an integer r, return the sum of r copies of ONE:

fn from_u128(int: u128) -> Self

Given an integer r, return the sum of r copies of ONE:

fn from_usize(int: usize) -> Self

Given an integer r, return the sum of r copies of ONE:

fn from_i8(int: i8) -> Self

Given an integer r, return the sum of r copies of ONE:

fn from_i16(int: i16) -> Self

Given an integer r, return the sum of r copies of ONE:

fn from_i32(int: i32) -> Self

Given an integer r, return the sum of r copies of ONE:

fn from_i64(int: i64) -> Self

Given an integer r, return the sum of r copies of ONE:

fn from_i128(int: i128) -> Self

Given an integer r, return the sum of r copies of ONE:

fn from_isize(int: isize) -> Self

Given an integer r, return the sum of r copies of ONE:

fn xor(&self, y: &Self) -> Self

Computes the arithmetic generalization of boolean xor.

fn xor3(&self, y: &Self, z: &Self) -> Self

Computes the arithmetic generalization of a triple xor.

fn andn(&self, y: &Self) -> Self

Computes the arithmetic generalization of andnot.

fn bool_check(&self) -> Self

The vanishing polynomial for boolean values: x * (x - 1).

fn exp_u64(&self, power: u64) -> Self

Exponentiation by a u64 power.

fn exp_power_of_2(&self, power_log: usize) -> Self

The elementary function exp_power_of_2(a, power_log) = a^{2^power_log}.

fn div_2exp_u64(&self, exp: u64) -> Self

Divide by a given power of two. div_2exp_u64(a, exp) = a/2^exp

fn powers(&self) -> Powers<Self>

Construct an iterator which returns powers of self: self^0, self^1, self^2, ....

fn shifted_powers(&self, start: Self) -> Powers<Self>

Construct an iterator which returns powers of self shifted by start: start, start*self^1, start*self^2, ....

fn zero_vec(len: usize) -> Vec<Self>

Allocates a vector of zero elements of length len. Many operating systems zero pages before assigning them to a userspace process. In that case, our process should not need to write zeros, which would be redundant. However, the compiler may not always recognize this.

impl<F: Field, EF: ExtensionField<F>, const N: usize> Product for VectorizedExt<F, EF, N>

fn product<I: Iterator<Item = Self>>(iter: I) -> Self

Takes an iterator and generates Self from the elements by multiplying the items.

impl<F: Field, EF: ExtensionField<F>, const N: usize> Sub for VectorizedExt<F, EF, N>

type Output = VectorizedExt<F, EF, N>

The resulting type after applying the - operator.

fn sub(self, rhs: Self) -> Self

Performs the - operation.

impl<F: Field, EF: ExtensionField<F>, const N: usize> Sub<EF> for VectorizedExt<F, EF, N>

type Output = VectorizedExt<F, EF, N>

The resulting type after applying the - operator.

fn sub(self, rhs: EF) -> Self

Performs the - operation.

impl<F: Field, EF: ExtensionField<F>, const N: usize> Sub<Vectorized<F, N>> for VectorizedExt<F, EF, N>

type Output = VectorizedExt<F, EF, N>

The resulting type after applying the - operator.

fn sub(self, rhs: Vectorized<F, N>) -> Self

Performs the - operation.

impl<F: Field, EF: ExtensionField<F>, const N: usize> SubAssign for VectorizedExt<F, EF, N>

fn sub_assign(&mut self, rhs: Self)

Performs the -= operation.

impl<F: Field, EF: ExtensionField<F>, const N: usize> SubAssign<EF> for VectorizedExt<F, EF, N>

fn sub_assign(&mut self, rhs: EF)

Performs the -= operation.

impl<F: Field, EF: ExtensionField<F>, const N: usize> SubAssign<Vectorized<F, N>> for VectorizedExt<F, EF, N>

fn sub_assign(&mut self, rhs: Vectorized<F, N>)

Performs the -= operation.

impl<F: Field, EF: ExtensionField<F>, const N: usize> Sum for VectorizedExt<F, EF, N>

fn sum<I: Iterator<Item = Self>>(iter: I) -> Self

Takes an iterator and generates Self from the elements by “summing up” the items.