Trait PairingIntrinsics

pub trait PairingIntrinsics {
    type Fp: Field + IntMod;
    type Fp2: Field + FieldExtension<Self::Fp> + ComplexConjugate;
    type Fp12: FieldExtension<Self::Fp2> + ComplexConjugate;

    const PAIRING_IDX: usize;
    const XI: Self::Fp2;
    const FROBENIUS_COEFFS: [[Self::Fp2; 5]; 12];
    const FP2_TWO: Self::Fp2;
    const FP2_THREE: Self::Fp2;
}

Required Associated Constants

const PAIRING_IDX: usize

Index for custom intrinsic opcode determination.

const XI: Self::Fp2

The sextic extension Fp12 is Fp2[X] / (X^6 - \xi), where \xi is a non-residue.

const FROBENIUS_COEFFS: [[Self::Fp2; 5]; 12]

Multiplication constants for the Frobenius map for coefficients in Fp2 c1..=c5 for powers 0..12 FROBENIUS_COEFFS[i][j] = \xi^{(j + 1) * (p^i - 1)/6} when p = 1 (mod 6)

const FP2_TWO: Self::Fp2

const FP2_THREE: Self::Fp2

Required Associated Types

type Fp: Field + IntMod

type Fp2: Field + FieldExtension<Self::Fp> + ComplexConjugate

type Fp12: FieldExtension<Self::Fp2> + ComplexConjugate

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl PairingIntrinsics for Bls12_381

const PAIRING_IDX: usize = 1usize

const XI: Fp2

const FP2_TWO: Fp2

const FP2_THREE: Fp2

const FROBENIUS_COEFFS: [[Self::Fp2; 5]; 12]

type Fp = Bls12_381Fp

type Fp2 = Bls12_381Fp2

type Fp12 = SexticExtField<Bls12_381Fp2>

impl PairingIntrinsics for Bn254

const PAIRING_IDX: usize = 0usize

const XI: Fp2

const FP2_TWO: Fp2

const FP2_THREE: Fp2

const FROBENIUS_COEFFS: [[Self::Fp2; 5]; 12]

type Fp = Bn254Fp

type Fp2 = Bn254Fp2

type Fp12 = SexticExtField<Bn254Fp2>