Trait snarkvm_console_program::field::_

pub trait _: Field {
    // Required methods
    fn legendre(&self) -> LegendreSymbol;
    fn sqrt(&self) -> Option<Self>;
    fn sqrt_in_place(&mut self) -> Option<&mut Self>;
}

The interface for a field that supports an efficient square-root operation.

Required Methods

fn legendre(&self) -> LegendreSymbol

Returns the Legendre symbol.

fn sqrt(&self) -> Option<Self>

Returns the square root of self, if it exists.

fn sqrt_in_place(&mut self) -> Option<&mut Self>

Sets self to be the square root of self, if it exists.

Object Safety

This trait is not object safe.

Implementors

impl<P> SquareRootField for Fp2<P>

where P: Fp2Parameters, <P as Fp2Parameters>::Fp: SquareRootField,

impl<P> SquareRootField for Fp256<P>

where P: Fp256Parameters,

impl<P> SquareRootField for Fp384<P>

where P: Fp384Parameters,