Trait elliptic_curve::ops::BatchInvert

pub trait BatchInvert<FieldElements: ?Sized>: Invert + Sized {
    type Output: AsRef<[Self]>;

    // Required method
    fn batch_invert(
        field_elements: &FieldElements,
    ) -> CtOption<<Self as BatchInvert<FieldElements>>::Output>;
}

Available on crate feature arithmetic only.

Perform a batched inversion on a sequence of field elements (i.e. base field elements or scalars) at an amortized cost that should be practically as efficient as a single inversion.

Required Associated Types

type Output: AsRef<[Self]>

The output of batch inversion. A container of field elements.

Required Methods

fn batch_invert( field_elements: &FieldElements, ) -> CtOption<<Self as BatchInvert<FieldElements>>::Output>

Invert a batch of field elements.

Object Safety

This trait is not object safe.

Implementors

impl<T> BatchInvert<[T]> for T

where T: Invert<Output = CtOption<Self>> + Mul<Self, Output = Self> + Copy + Default + ConditionallySelectable,

Available on crate feature alloc only.

type Output = Vec<T>

impl<const N: usize, T> BatchInvert<[T; N]> for T

where T: Invert<Output = CtOption<Self>> + Mul<Self, Output = Self> + Copy + Default + ConditionallySelectable,

type Output = [T; N]