Struct PackedMontyField31Neon

#[repr(transparent)]
pub struct PackedMontyField31Neon<PMP: PackedMontyParameters>(pub [MontyField31<PMP>; 4]);

Vectorized NEON implementation of MontyField31 arithmetic.

Tuple Fields

0: [MontyField31<PMP>; 4]

Trait Implementations

impl<FP: FieldParameters> AbstractField for PackedMontyField31Neon<FP>

const ZERO: Self = _

const ONE: Self = _

const TWO: Self = _

const NEG_ONE: Self = _

type F = MontyField31<FP>

fn from_f(f: Self::F) -> Self

fn from_bool(b: bool) -> Self

Convert from a bool.

fn from_canonical_u8(n: u8) -> Self

Convert from a canonical u8.

fn from_canonical_u16(n: u16) -> Self

Convert from a canonical u16.

fn from_canonical_u32(n: u32) -> Self

Convert from a canonical u32.

fn from_canonical_u64(n: u64) -> Self

Convert from a canonical u64.

fn from_canonical_usize(n: usize) -> Self

Convert from a canonical usize.

fn from_wrapped_u32(n: u32) -> Self

fn from_wrapped_u64(n: u64) -> Self

fn cube(&self) -> Self

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.

fn double(&self) -> Self

fn square(&self) -> Self

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

Exponentiation by a u64 power.

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

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

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

self * 2^exp

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

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

fn powers_packed<P>(&self) -> PackedPowers<Self, P>

where P: PackedField<Scalar = Self>,

fn shifted_powers_packed<P>(&self, start: Self) -> PackedPowers<Self, P>

where P: PackedField<Scalar = Self>,

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

fn try_div<Rhs>(self, rhs: Rhs) -> Option<Self::Output>

where Rhs: Field, Self: Mul<Rhs>,

impl<PMP: PackedMontyParameters> Add<MontyField31<PMP>> for PackedMontyField31Neon<PMP>

type Output = PackedMontyField31Neon<PMP>

The resulting type after applying the + operator.

fn add(self, rhs: MontyField31<PMP>) -> Self

Performs the + operation.

impl<PMP: PackedMontyParameters> Add<PackedMontyField31Neon<PMP>> for MontyField31<PMP>

type Output = PackedMontyField31Neon<PMP>

The resulting type after applying the + operator.

fn add(self, rhs: PackedMontyField31Neon<PMP>) -> PackedMontyField31Neon<PMP>

Performs the + operation.

impl<PMP: PackedMontyParameters> Add for PackedMontyField31Neon<PMP>

type Output = PackedMontyField31Neon<PMP>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<PMP: PackedMontyParameters> AddAssign<MontyField31<PMP>> for PackedMontyField31Neon<PMP>

fn add_assign(&mut self, rhs: MontyField31<PMP>)

Performs the += operation.

impl<PMP: PackedMontyParameters> AddAssign for PackedMontyField31Neon<PMP>

fn add_assign(&mut self, rhs: Self)

Performs the += operation.

impl<PMP: Clone + PackedMontyParameters> Clone for PackedMontyField31Neon<PMP>

fn clone(&self) -> PackedMontyField31Neon<PMP>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<PMP: Debug + PackedMontyParameters> Debug for PackedMontyField31Neon<PMP>

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

Formats the value using the given formatter.

impl<PMP: PackedMontyParameters> Default for PackedMontyField31Neon<PMP>

fn default() -> Self

Returns the “default value” for a type.

impl<PMP: PackedMontyParameters> Distribution<PackedMontyField31Neon<PMP>> for Standard

fn sample<R: Rng + ?Sized>(&self, rng: &mut R) -> PackedMontyField31Neon<PMP>

Generate a random value of T, using rng as the source of randomness.

fn sample_iter<R>(self, rng: R) -> DistIter<Self, R, T>

where R: Rng, Self: Sized,

Create an iterator that generates random values of T, using rng as the source of randomness.

fn map<F, S>(self, func: F) -> DistMap<Self, F, T, S>

where F: Fn(T) -> S, Self: Sized,

Create a distribution of values of ‘S’ by mapping the output of Self through the closure F

impl<FP: FieldParameters> Div<MontyField31<FP>> for PackedMontyField31Neon<FP>

type Output = PackedMontyField31Neon<FP>

The resulting type after applying the / operator.

fn div(self, rhs: MontyField31<FP>) -> Self

Performs the / operation.

impl<FP, const D: u64, const WIDTH: usize> ExternalLayer<PackedMontyField31Neon<FP>, WIDTH, D> for Poseidon2ExternalLayerMonty31<FP, WIDTH>

where FP: FieldParameters,

fn permute_state_initial(&self, state: &mut [PackedMontyField31Neon<FP>; WIDTH])

Perform the initial external layers of the Poseidon2 permutation on the given state.

fn permute_state_terminal( &self, state: &mut [PackedMontyField31Neon<FP>; WIDTH], )

Perform the terminal external layers of the Poseidon2 permutation on the given state.

impl<FP: FieldParameters, const WIDTH: usize> ExternalLayerConstructor<PackedMontyField31Neon<FP>, WIDTH> for Poseidon2ExternalLayerMonty31<FP, WIDTH>

fn new_from_constants( external_constants: ExternalLayerConstants<MontyField31<FP>, WIDTH>, ) -> Self

A constructor which internally will convert the supplied constants into the appropriate form for the implementation.

impl<PMP: PackedMontyParameters> From<MontyField31<PMP>> for PackedMontyField31Neon<PMP>

fn from(value: MontyField31<PMP>) -> Self

Converts to this type from the input type.

impl<FP, ILP, const WIDTH: usize, const D: u64> InternalLayer<PackedMontyField31Neon<FP>, WIDTH, D> for Poseidon2InternalLayerMonty31<FP, WIDTH, ILP>

where FP: FieldParameters, ILP: InternalLayerBaseParameters<FP, WIDTH>,

fn permute_state(&self, state: &mut [PackedMontyField31Neon<FP>; WIDTH])

Perform the internal layers of the Poseidon2 permutation on the given state.

impl<FP: FieldParameters, const WIDTH: usize, ILP: InternalLayerBaseParameters<FP, WIDTH>> InternalLayerConstructor<PackedMontyField31Neon<FP>> for Poseidon2InternalLayerMonty31<FP, WIDTH, ILP>

fn new_from_constants(internal_constants: Vec<MontyField31<FP>>) -> Self

A constructor which internally will convert the supplied constants into the appropriate form for the implementation.

impl<PMP: PackedMontyParameters> Mul<MontyField31<PMP>> for PackedMontyField31Neon<PMP>

type Output = PackedMontyField31Neon<PMP>

The resulting type after applying the * operator.

fn mul(self, rhs: MontyField31<PMP>) -> Self

Performs the * operation.

impl<PMP: PackedMontyParameters> Mul<PackedMontyField31Neon<PMP>> for MontyField31<PMP>

type Output = PackedMontyField31Neon<PMP>

The resulting type after applying the * operator.

fn mul(self, rhs: PackedMontyField31Neon<PMP>) -> PackedMontyField31Neon<PMP>

Performs the * operation.

impl<PMP: PackedMontyParameters> Mul for PackedMontyField31Neon<PMP>

type Output = PackedMontyField31Neon<PMP>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<PMP: PackedMontyParameters> MulAssign<MontyField31<PMP>> for PackedMontyField31Neon<PMP>

fn mul_assign(&mut self, rhs: MontyField31<PMP>)

Performs the *= operation.

impl<PMP: PackedMontyParameters> MulAssign for PackedMontyField31Neon<PMP>

fn mul_assign(&mut self, rhs: Self)

Performs the *= operation.

impl<PMP: PackedMontyParameters> Neg for PackedMontyField31Neon<PMP>

type Output = PackedMontyField31Neon<PMP>

The resulting type after applying the - operator.

fn neg(self) -> Self

Performs the unary - operation.

impl<FP: FieldParameters> PackedField for PackedMontyField31Neon<FP>

type Scalar = MontyField31<FP>

impl<FP: FieldParameters> PackedFieldPow2 for PackedMontyField31Neon<FP>

fn interleave(&self, other: Self, block_len: usize) -> (Self, Self)

Take interpret two vectors as chunks of block_len elements. Unpack and interleave those chunks. This is best seen with an example. If we have:

impl<FP: FieldParameters> PackedValue for PackedMontyField31Neon<FP>

fn from_fn<F: FnMut(usize) -> MontyField31<FP>>(f: F) -> Self

Similar to core:array::from_fn.

const WIDTH: usize = 4usize

type Value = MontyField31<FP>

fn from_slice(slice: &[MontyField31<FP>]) -> &Self

fn from_slice_mut(slice: &mut [MontyField31<FP>]) -> &mut Self

fn as_slice(&self) -> &[MontyField31<FP>]

fn as_slice_mut(&mut self) -> &mut [MontyField31<FP>]

fn pack_slice(buf: &[Self::Value]) -> &[Self]

fn pack_slice_with_suffix(buf: &[Self::Value]) -> (&[Self], &[Self::Value])

fn pack_slice_mut(buf: &mut [Self::Value]) -> &mut [Self]

fn pack_maybe_uninit_slice_mut( buf: &mut [MaybeUninit<Self::Value>], ) -> &mut [MaybeUninit<Self>]

fn pack_slice_with_suffix_mut( buf: &mut [Self::Value], ) -> (&mut [Self], &mut [Self::Value])

fn pack_maybe_uninit_slice_with_suffix_mut( buf: &mut [MaybeUninit<Self::Value>], ) -> (&mut [MaybeUninit<Self>], &mut [MaybeUninit<Self::Value>])

fn unpack_slice(buf: &[Self]) -> &[Self::Value]

impl<PMP: PartialEq + PackedMontyParameters> PartialEq for PackedMontyField31Neon<PMP>

fn eq(&self, other: &PackedMontyField31Neon<PMP>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<FP: FieldParameters> Product<MontyField31<FP>> for PackedMontyField31Neon<FP>

fn product<I>(iter: I) -> Self

where I: Iterator<Item = MontyField31<FP>>,

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

impl<FP: FieldParameters> Product for PackedMontyField31Neon<FP>

fn product<I>(iter: I) -> Self

where I: Iterator<Item = Self>,

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

impl<PMP: PackedMontyParameters> Sub<MontyField31<PMP>> for PackedMontyField31Neon<PMP>

type Output = PackedMontyField31Neon<PMP>

The resulting type after applying the - operator.

fn sub(self, rhs: MontyField31<PMP>) -> Self

Performs the - operation.

impl<PMP: PackedMontyParameters> Sub<PackedMontyField31Neon<PMP>> for MontyField31<PMP>

type Output = PackedMontyField31Neon<PMP>

The resulting type after applying the - operator.

fn sub(self, rhs: PackedMontyField31Neon<PMP>) -> PackedMontyField31Neon<PMP>

Performs the - operation.

impl<PMP: PackedMontyParameters> Sub for PackedMontyField31Neon<PMP>

type Output = PackedMontyField31Neon<PMP>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<PMP: PackedMontyParameters> SubAssign<MontyField31<PMP>> for PackedMontyField31Neon<PMP>

fn sub_assign(&mut self, rhs: MontyField31<PMP>)

Performs the -= operation.

impl<PMP: PackedMontyParameters> SubAssign for PackedMontyField31Neon<PMP>

fn sub_assign(&mut self, rhs: Self)

Performs the -= operation.

impl<FP: FieldParameters> Sum<MontyField31<FP>> for PackedMontyField31Neon<FP>

fn sum<I>(iter: I) -> Self

where I: Iterator<Item = MontyField31<FP>>,

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

impl<FP: FieldParameters> Sum for PackedMontyField31Neon<FP>

fn sum<I>(iter: I) -> Self

where I: Iterator<Item = Self>,

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

impl<PMP: Copy + PackedMontyParameters> Copy for PackedMontyField31Neon<PMP>

impl<PMP: Eq + PackedMontyParameters> Eq for PackedMontyField31Neon<PMP>

impl<PMP: PackedMontyParameters> StructuralPartialEq for PackedMontyField31Neon<PMP>