Struct snarkvm_fields::Fp12[][src]

pub struct Fp12<P: Fp12Parameters> {
    pub c0: Fp6<P::Fp6Params>,
    pub c1: Fp6<P::Fp6Params>,
    // some fields omitted
}

An element of Fp12, represented by c0 + c1 * v

Fields

c0: Fp6<P::Fp6Params>c1: Fp6<P::Fp6Params>

Implementations

impl<P: Fp12Parameters> Fp12<P>[src]

pub fn new(c0: Fp6<P::Fp6Params>, c1: Fp6<P::Fp6Params>) -> Self[src]

pub fn mul_by_fp(
    &mut self,
    element: &<<P::Fp6Params as Fp6Parameters>::Fp2Params as Fp2Parameters>::Fp
)
[src]

pub fn conjugate(&mut self)[src]

pub fn mul_by_034(
    &mut self,
    c0: &Fp2<<<P as Fp12Parameters>::Fp6Params as Fp6Parameters>::Fp2Params>,
    c3: &Fp2<<<P as Fp12Parameters>::Fp6Params as Fp6Parameters>::Fp2Params>,
    c4: &Fp2<<<P as Fp12Parameters>::Fp6Params as Fp6Parameters>::Fp2Params>
)
[src]

pub fn mul_by_014(
    &mut self,
    c0: &Fp2<<<P as Fp12Parameters>::Fp6Params as Fp6Parameters>::Fp2Params>,
    c1: &Fp2<<<P as Fp12Parameters>::Fp6Params as Fp6Parameters>::Fp2Params>,
    c4: &Fp2<<<P as Fp12Parameters>::Fp6Params as Fp6Parameters>::Fp2Params>
)
[src]

pub fn cyclotomic_square(&self) -> Self[src]

pub fn cyclotomic_exp<S: AsRef<[u64]>>(&self, exp: S) -> Self[src]

Trait Implementations

impl<'a, P: Fp12Parameters> Add<&'a Fp12<P>> for Fp12<P>[src]

type Output = Self

The resulting type after applying the + operator.

impl<'a, P: Fp12Parameters> AddAssign<&'a Fp12<P>> for Fp12<P>[src]

impl<P: Fp12Parameters> CanonicalDeserialize for Fp12<P>[src]

impl<P: Fp12Parameters> CanonicalDeserializeWithFlags for Fp12<P>[src]

impl<P: Fp12Parameters> CanonicalSerialize for Fp12<P>[src]

impl<P: Fp12Parameters> CanonicalSerializeWithFlags for Fp12<P>[src]

impl<P: Fp12Parameters> Clone for Fp12<P> where
    P: Fp12Parameters
[src]

impl<P: Fp12Parameters> ConstantSerializedSize for Fp12<P>[src]

impl<P: Fp12Parameters> Copy for Fp12<P> where
    P: Fp12Parameters
[src]

impl<P: Fp12Parameters> Debug for Fp12<P> where
    P: Fp12Parameters
[src]

impl<P: Fp12Parameters> Default for Fp12<P> where
    P: Fp12Parameters
[src]

impl<'de, P: Fp12Parameters> Deserialize<'de> for Fp12<P>[src]

impl<P: Fp12Parameters> Display for Fp12<P>[src]

impl<'a, P: Fp12Parameters> Div<&'a Fp12<P>> for Fp12<P>[src]

type Output = Self

The resulting type after applying the / operator.

impl<'a, P: Fp12Parameters> DivAssign<&'a Fp12<P>> for Fp12<P>[src]

impl<P: Fp12Parameters> Eq for Fp12<P> where
    P: Fp12Parameters
[src]

impl<P: Fp12Parameters> Field for Fp12<P>[src]

impl<P: Fp12Parameters> From<u128> for Fp12<P>[src]

impl<P: Fp12Parameters> From<u16> for Fp12<P>[src]

impl<P: Fp12Parameters> From<u32> for Fp12<P>[src]

impl<P: Fp12Parameters> From<u64> for Fp12<P>[src]

impl<P: Fp12Parameters> From<u8> for Fp12<P>[src]

impl<P: Fp12Parameters> FromBytes for Fp12<P>[src]

impl<P: Fp12Parameters> Hash for Fp12<P> where
    P: Fp12Parameters
[src]

impl<'a, P: Fp12Parameters> Mul<&'a Fp12<P>> for Fp12<P>[src]

type Output = Self

The resulting type after applying the * operator.

impl<'a, P: Fp12Parameters> MulAssign<&'a Fp12<P>> for Fp12<P>[src]

impl<P: Fp12Parameters> Neg for Fp12<P>[src]

type Output = Self

The resulting type after applying the - operator.

impl<P: Fp12Parameters> One for Fp12<P>[src]

impl<P: Fp12Parameters> Ord for Fp12<P>[src]

impl<P: Fp12Parameters> PartialEq<Fp12<P>> for Fp12<P> where
    P: Fp12Parameters
[src]

impl<P: Fp12Parameters> PartialOrd<Fp12<P>> for Fp12<P>[src]

impl<P: Fp12Parameters> Serialize for Fp12<P>[src]

impl<'a, P: Fp12Parameters> Sub<&'a Fp12<P>> for Fp12<P>[src]

type Output = Self

The resulting type after applying the - operator.

impl<'a, P: Fp12Parameters> SubAssign<&'a Fp12<P>> for Fp12<P>[src]

impl<P: Fp12Parameters> ToBytes for Fp12<P>[src]

impl<P: Fp12Parameters> Zero for Fp12<P>[src]

Auto Trait Implementations

impl<P> RefUnwindSafe for Fp12<P> where
    P: RefUnwindSafe,
    <<<P as Fp12Parameters>::Fp6Params as Fp6Parameters>::Fp2Params as Fp2Parameters>::Fp: RefUnwindSafe,
    <<P as Fp12Parameters>::Fp6Params as Fp6Parameters>::Fp2Params: RefUnwindSafe,
    <P as Fp12Parameters>::Fp6Params: RefUnwindSafe

impl<P> Send for Fp12<P>

impl<P> Sync for Fp12<P>

impl<P> Unpin for Fp12<P> where
    P: Unpin,
    <<<P as Fp12Parameters>::Fp6Params as Fp6Parameters>::Fp2Params as Fp2Parameters>::Fp: Unpin,
    <<P as Fp12Parameters>::Fp6Params as Fp6Parameters>::Fp2Params: Unpin,
    <P as Fp12Parameters>::Fp6Params: Unpin

impl<P> UnwindSafe for Fp12<P> where
    P: UnwindSafe,
    <<<P as Fp12Parameters>::Fp6Params as Fp6Parameters>::Fp2Params as Fp2Parameters>::Fp: UnwindSafe,
    <<P as Fp12Parameters>::Fp6Params as Fp6Parameters>::Fp2Params: UnwindSafe,
    <P as Fp12Parameters>::Fp6Params: UnwindSafe

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> DeserializeOwned for T where
    T: for<'de> Deserialize<'de>, 
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T> ToString for T where
    T: Display + ?Sized
[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<T> UniformRand for T where
    Standard: Distribution<T>, 
[src]

impl<V, T> VZip<V> for T where
    V: MultiLane<T>,