Struct ff::BatchInverter

pub struct BatchInverter {}

A non-allocating batch inverter.

Implementations

impl BatchInverter

pub fn invert_with_external_scratch<F>( elements: &mut [F], scratch_space: &mut [F], ) -> F

where F: Field + ConstantTimeEq,

Inverts each field element in elements (when nonzero). Zero-valued elements are left as zero.

• scratch_space is a slice of field elements that can be freely overwritten.

Returns the inverse of the product of all nonzero field elements.

Panics

This function will panic if elements.len() != scratch_space.len().

pub fn invert_with_internal_scratch<F, T, TE, TS>( items: &mut [T], element: TE, scratch_space: TS, ) -> F

where F: Field + ConstantTimeEq, TE: Fn(&mut T) -> &mut F, TS: Fn(&mut T) -> &mut F,

Inverts each field element in items (when nonzero). Zero-valued elements are left as zero.

• element is a function that extracts the element to be inverted from items.
• scratch_space is a function that extracts the scratch space from items.

Returns the inverse of the product of all nonzero field elements.